Stanford Blockchain Conference 2019

https://cbr.stanford.edu/sbc19/

Accumulators for blockchains

Benedikt Bünz

Research Proof systems

Asics

David Vorick

Aurora: Transparent Succinct Arguments for R1CS

Alessandro Chiesa

Research Proof systems

Automatic Detection of Vulnerabilities in Smart Contracts

Mooly Sagiv

Research Security

Bitcoin Payment Economic Analysis

Jacob Leshno

Bloxroute

Soumya Basu

Building Bulletproofs

Henry de Valence, Cathie Yun

Building Mimblewimble/Grin, an implementation for privacy and scalability

Quentin Le Sceller

Research Adaptor signatures

Casper the Friendly Ghost: A 'Correct-by-Construction' Blockchain Consensus Protocol

Vlad Zamfir

Research Ethereum

Coordinated Upgrades

Stephanie Hurder

Efficient Distributed Key Generation for Threshold Signatures

Mahnush Movahedi

Research Threshold signature

Ethereum 2.0 and beyond

Vitalik Buterin

Research Ethereum

Formal verification: the road to complete security of smart contracts

Martin Lundfall

Research Security Contract protocols

Handel: Practical Multi-Signature Aggregation for Large Byzantine Committees

Nicolas Gailly

Research Cryptography Bls signatures

Htlcs Considered Harmful

Daniel Robinson

Links

Miniscript

Pieter Wuille

New and Simple Consensus Algorithms for ThunderCore’s Main-Net

Elaine Shi

Opening Remarks

Dan Boneh

Plasma Cash

Georgios Konstantopoulos

Privacy Preserving Multi Hop Locks

Pedro Moreno-Sanchez

Research Adaptor signatures

Quisquis: A New Design for Anonymous Cryptocurrencies

Prastudy Fauzi

Research Altcoins

Spork: Probabilistic Bitcoin Soft Forks

Jeremy Rubin

Soft fork activation

State Channels

Patrick McCorry

SybilQuorum: Open Distributed Ledgers Through Trust Networks

Alberto Sonnino

Research Proof of stake

The STARK truth about DEXes

Eli Ben-Sasson

Tight Proofs of Space and Replication

Ben Fisch

Research Proof systems

Urkel Trees

Boyma Fahnbulleh