Proof Systems

Open Timestamps: Leveraging Bitcoin's Security For All Data

Nov 05, 2020

Sjors Provoost, Aaron van Wirdum

Proof systems

bitcoin-explained

Plasma Cash: Towards more efficient Plasma Constructions

Sep 12, 2019

Georgios Konstantopoulos

Research Sidechains Proof systems

scalingbitcoin/tel-aviv-2019

Proof-of-Verification for Proof-of-Work: Miners Must Verify the Signatures on Bitcoin Transactions

Sep 12, 2019

Kanta Matsuura

Research Proof systems

scalingbitcoin/tel-aviv-2019

A Survey of Progress in Succinct Zero Knowledge Proofs: Towards Trustless SNARKs

Sep 11, 2019

Ben Fisch

Proof systems

scalingbitcoin/tel-aviv-2019

ZkVM: zero-knowledge virtual machine for fast confidential smart contracts

Sep 11, 2019

Oleg Andreev

Proof systems Utreexo Musig

scalingbitcoin/tel-aviv-2019

Acumulator Based Cryptography & UTreexo

Sep 09, 2019

Tadge Dryja

Proof systems Utreexo

edgedevplusplus/2019

Future Of Privacy Coins

May 11, 2019

Brandon Goodell, Andrew Poelstra, Alexandra Moxin

Privacy enhancements Taproot Proof systems

magicalcryptoconference/2019

UTXO accumulators, UTXO commitments, and Utreexo

Oct 08, 2018

Tadge Dryja

Proof systems Utreexo

bitcoin-core-dev-tech/2018-10

A Scalable Drop in Replacement for Merkle Trees

Oct 06, 2018

Benedikt Bünz

Proof systems

scalingbitcoin/tokyo-2018

Single Use Seals

Jul 03, 2018

Peter Todd

Proof systems

building-on-bitcoin/2018

Bulletproofs

Feb 02, 2018

Andrew Poelstra

Proof systems

misc

Sharding the Blockchain

Sep 13, 2015

Vlad Zamfir

Research Proof systems

scalingbitcoin/montreal-2015

Zerocash: Zero knowledge proofs and SNARKs and libsnark

Mar 08, 2015

Madars Virza

Proof systems

mit-bitcoin-expo/mit-bitcoin-expo-2015

Accumulators for blockchains

Benedikt Bünz

Research Proof systems

stanford-blockchain-conference/2019

Aurora: Transparent Succinct Arguments for R1CS

Alessandro Chiesa

Research Proof systems

stanford-blockchain-conference/2019

Breaking The Chain

Bob McElrath, Peter Todd

Mining Proof systems

scalingbitcoin/milan-2016

Building Bulletproofs

Henry de Valence, Cathie Yun

Proof systems

stanford-blockchain-conference/2019

Bulletproofs

Benedikt Bünz

Proof systems

blockchain-protocol-analysis-security-engineering/2018

Cryptography for Blockchains beyond ECDSA and sha256: Signatures and Zero-Knowledge Proofs

Benedikt Bünz

Proof systems

scalingbitcoin/stanford-2017

DECO: Liberating Web Data Using Decentralized Oracles for TLS

Fan Zhang

Research Privacy enhancements Proof systems

stanford-blockchain-conference/2020

Hardware Accelerated RSA - VDFs, SNARKs, and Accumulators

Simon Peffers

Cryptography Proof systems

stanford-blockchain-conference/2020

Proof of necessary work: Succinct state verification with fairness guarantees

Assimakis Kattis

Research Proof systems

scalingbitcoin/tel-aviv-2019

Proof of Necessary Work: Succinct State Verification with Fairness Guarantees

Assimakis Kattis

Research Proof systems

stanford-blockchain-conference/2020

Scalable and Accountable Timestamping

Riccardo Casatta

Proof systems

scalingbitcoin/milan-2016

Scalable RSA Modulus Generation with Dishonest Majority

Megan Chen

Research Proof systems

stanford-blockchain-conference/2020

SNARKs And Their Practical Applications

Eran Tromer

Research Proof systems

simons-institute

STARK For Developers

Eli Ben-Sasson

Proof systems

stanford-blockchain-conference/2020

The STARK truth about DEXes

Eli Ben-Sasson

Proof systems

stanford-blockchain-conference/2019

Tight Proofs of Space and Replication

Ben Fisch

Research Proof systems

stanford-blockchain-conference/2019

Transparent SNARKs from DARK compilers

Ben Fisch

Research Proof systems

stanford-blockchain-conference/2020

Zero Knowledge Proofs For Bitcoin Scalability And Beyond

Madars Virza

Proof systems

scalingbitcoin/hong-kong-2015

ZkSHARKS

Madars Virza

Proof systems

cryptoeconomic-systems/2019