Proofs of Work for Blockchain Protocols (original) (raw)

Blockchain and Consensus from Proofs of Work without Random Oracles

Juan A. Garay

2018

View PDFchevron_right

A Template for Alternative Proof of Work for Cryptocurrencies

Sajedul Talukder, Ph.D.

2021

View PDFchevron_right

Can We Afford Integrity by Proof-of-Work? Scenarios Inspired by the Bitcoin Currency

J. Holler, Jörg Becker

Workshop on the Economics of Information Security WEIS, 2012

View PDFchevron_right

Multi-stage Proof-of-Works: Properties and Vulnerabilities

Francesco Mogavero

2021

View PDFchevron_right

Model Checking Bitcoin and other Proof-of-Work Consensus Protocols

Advay Pal

2020

View PDFchevron_right

Cryptocurrencies Without Proof of Work

Alex Mizrahi, Iddo Bentov, Ariel Gabizon

Lecture Notes in Computer Science, 2016

View PDFchevron_right

PoX: Proof of Transfer Mining with Bitcoin

Patrick Stanley

2020

View PDFchevron_right

Proofs of Work and Bread Pudding Protocols(Extended Abstract)

Markus Jakobsson

Secure Information Networks, 1999

View PDFchevron_right

Proofs-of-delay and randomness beacons in Ethereum

Benedikt Bünz

2017

View PDFchevron_right

Bulletproofs: Short Proofs for Confidential Transactions and More

Benedikt Bünz

2018 IEEE Symposium on Security and Privacy (SP), 2018

View PDFchevron_right

Improvement on Bitcoin's Verifiable Public Randomness with Semi-Trusted Delegates

Habib Yajam

View PDFchevron_right

The Bitcoin Backbone Protocol with Chains of Variable Difficulty

Juan A. Garay

Advances in Cryptology – CRYPTO 2017, 2017

View PDFchevron_right

Proof of Transfer Whitepaper v1.0 PoX: Proof of Transfer Mining with Bitcoin

Andrew S Thompson

View PDFchevron_right

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol

Paolo Modesti

Computers & Security, 2021

View PDFchevron_right

StrongChain: Transparent and Collaborative Proof-of-Work Consensus

Daniel Reijsbergen, Siwei Sun, Ivan Homoliak

USENIX Security, 2019

View PDFchevron_right

On (multi-stage) Proof-of-Work blockchain protocols

Francesco Mogavero

2020

View PDFchevron_right

Nonlinear Proof-Of-Work: Improving the Energy Efficiency of Bitcoin Mining

Riaan Bezuidenhout

Journal of construction project management and innovation, 2020

View PDFchevron_right

Modeling and Verification of the Bitcoin Protocol

Jaco van de Pol

Electronic Proceedings in Theoretical Computer Science, 2015

View PDFchevron_right

Formal Analysis of a Proof-of-Stake Blockchain

Maung Maung Thin

2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)

View PDFchevron_right

Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup

Juan A. Garay

Public-Key Cryptography – PKC 2018, 2018

View PDFchevron_right

Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets

Gustavo Lacerda

ArXiv, 2021

View PDFchevron_right

gOTzilla: Efficient Disjunctive Zero-Knowledge Proofs from MPC in the Head, with Application to Proofs of Assets in Cryptocurrencies

Panagiotis Chatzigiannis

IACR Cryptol. ePrint Arch., 2022

View PDFchevron_right

Computationally Sound, Automated Proofs for Security Protocols

Bogdan Warinschi

Lecture Notes in Computer Science, 2005

View PDFchevron_right

Axiomatization of Blockchain Theory

Andrey Nechesov

Mathematics

View PDFchevron_right

Equihash: Asymmetric Proof-of-Work Based on the Generalized Birthday Problem

boat yuan

View PDFchevron_right

A ZK-SNARK based Proof of Assets Protocol for Bitcoin Exchanges

B Swaroopa Reddy

Cornell University - arXiv, 2022

View PDFchevron_right

BitVMX: A CPU for Universal Computation on Bitcoin

Sergio Demian Lerner

arXiv (Cornell University), 2024

View PDFchevron_right

Modeling Bitcoin Protocols with Probabilistic Logic Programming

Riccardo Zese

2018

View PDFchevron_right

Proof-of-Approval: A Distributed Consensus Protocol for Blockchains

Shunsai Takahashi

View PDFchevron_right

An Analysis of the Hash-Based Proof-of-Work Chain in the Bitcoin Network

Neel Gupte

2015

View PDFchevron_right

On Defining Proofs of Knowledge in the Bare Public-Key Model

Giovanni Di Crescenzo

Theoretical Computer Science - Proceedings of the 10th Italian Conference on ICTCS '07, 2007

View PDFchevron_right

SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies

rong xiao

View PDFchevron_right

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols

Manuel Barbosa

2012

View PDFchevron_right

Flexible Proof-Of-Work: A Decentralized Unpredictable Number Generator

HUYNH TUONG NGUYEN

FAIR - NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN - 2017, 2017

View PDFchevron_right

Post-Quantum Blockchain Proofs of Work

Juan A. Garay

2020

View PDFchevron_right