Aurora: Transparent Succinct Arguments for R1CS

Blockchain Upgrade as a Coordination Game

Urkel Trees

Automatic Detection of Vulnerabilities in Smart Contracts

SybilQuorum: Open Distributed Ledgers Through Trust Networks

HTLCs Considered Harmful

Accumulators for Blockchains

Building, and Building on, Bulletproofs

bloXroute: A Network for Tomorrow's Blockchain

State Channels as a Scaling Solution for Cryptocurrencies

ASIC Design for Mining

Monopoly without a Monopolist: An Economic Analysis of the Bitcoin Payment System

Miniscripts

Lightning Talks

Tight Proofs of Space and Replication

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

Welcome Remarks to Stanford Blockchain Conference - Dan Boneh

Proof-of-Stake Protocols for Privacy-Aware Blockchains

Formal Verification: The Road to Complete Security of Smart Contracts

Building Mimblewimble/Grin

Quisquis: A New Design for Anonymous Cryptocurrencies

The STARK truth about DEXes

Plasma Cash: Towards More Efficient Plasma Constructions

Betting on Blockchain Consensus with Fantômette

A Large-Scale Proof-of-Stake Blockchain in the Open Setting - Hong-Sheng Zhou

Privacy-Preserving Multi-Hop Locks - Pedro Moreno-Sanchez

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

Spork: Probabilistic Bitcoin Soft Forks

Zexe: Enabling Decentralized Private Computation

Toward More Secure Proof-of-Work Consensus Protocols

Trains, Hotels, and Async