Presentations

Anton Yemelyanov
Introduction SB6-1

Ben Fisch (Stanford University)
Invited Talk: A Survey of Progress in Succinct Zero Knowledge Proofs: Towards Trustless SNARKs SB6-2

Omer Shlomovits (KZen Research)
Threshold Scriptless Scripts SB6-3

Nicola Atzei, Massimo Bartoletti, Stefano Lande (University of Cagliari), Nobuko Yoshida (Imperial College London), Roberto Zunino (University of Trento)
Developing secure Bitcoin contracts with BitML SB6-4

Oleg Andreev (Stellar)
ZkVM: zero-knowledge virtual machine for fast confidential smart contracts SB6-5

Lloyd Fournier (Independent Researcher)
Scriptless Lotteries on Bitcoin from Oblivious Transfer SB6-6

Sergi Delgado Segura (UCL), Surya Bakshi, Andrew Miller (University of Illinois at Urbana-Champaign), Cristina Pérez-Solà (UOC), James Litton, Andrew Pachulski, Bobby Bhattacharjee (UMD)
TxProbe: Discovering Bitcoin's Network Topology Using Orphan Transactions SB6-7

Gleb Naumenko (Chaincode Labs), Gregory Maxwell (Independent Researcher), Pieter Wuille (Blockstream), Alexandra Fedorova, Ivan Beschastnikh (The University of British Columbia)
Bandwidth-Efficient Transaction Relay for Bitcoin SB6-8

Jeremy Rubin (Independent Researcher)
BIP: OP_SECURETHEBAG SB6-9

Meni Rosenfeld (Israeli Bitcoin Association)
Elastic Block Caps SB6-10

Duc V. Le, Adil Ahmad, Mohsen Minaei, Aniket Kate (Purdue University), Lizzy Hurtado (National University of Colombia), Byoungyoung Lee (Seoul National University)
A Tale of Two Trees: One Writes, and Other Reads, Scaling Oblivious Accesses to Large-Scale Blockchains SB6-11

Kaihua Qin, Henryk Hadass, Arthur Gervais (Imperial College London), Joel Reardon (University of Calgary)
Applying Private Information Retrieval to Lightweight Bitcoin Clients SB6-12

Aviv Milner (Black Tie Consultants) Yuval Kogman, (Independent Researcher)
ZeroLink Sudoku: Real vs. Perceived Anonymity SB6-13

Vivek Bagaria, David Tse (Stanford), Sreeram Kannan (University of Washington), Giulia Fanti (CMU), Pramod Viswanath (University of Illinois at Urbana-Champaign)
Prism: Scaling Bitcoin to Physical Limits SB6-14

Phuc Thai, Hong-Sheng Zhou, Thang Dinh (Virginia Commonwealth University), Jonathan Katz (University of Maryland), Lei Fan (Shanghai Jiao Tong University)
BackPackers: A New Paradigm for Secure and High-performance Blockchain SB6-15

.......
Overview of Dev++ Topics SB6-16

Bastien Teinturier (Acinq)
Improving routing in the Lightning Network with Trampoline Payments SB6-17

Patrick McCorry (PISA Research), Surya Bakshi, Andrew Miller (University of Illinois at Urbana-Champaign), Iddo Bentov (Cornell University), Sarah Meiklejohn (UCL)
PISA: Arbitration Outsourcing for State Channels SB6-18

Tejaswi Nadahalli, Roger Wattenhofer (ETH Zurich), Majid Khabbazian (University of Alberta)
Outpost: A Responsive Lightweight Watchtower SB6-19

Margherita Favaretto (Technical University of Denmark)
Açai: a backup protocol for Lightning Network wallets SB6-20

Dan Robinson (Paradigm)
Rainbow Network: Synthetic Assets on Lightning SB6-21

Christoph Egger (Friedrich-Alexander~University Erlangen-Nueremberg), Pedro Moreno-Sanchez, Matteo Maffei (Vienna University of Technology)
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks SB6-22

Georgios Konstantopoulos (Independent Researcher)
Plasma Cash: Towards more efficient Plasma Constructions SB6-23

Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei (Vienna University of Technology)
A2L: Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs SB6-24

David Vorick (Nebulous)
Recovering Payment Channel Midstates Using only The User's Seed SB6-25

Assimakis Kattis, Joseph Bonneau (New York University)
Proof of Necessary Work: Succinct State Verification with Fairness Guarantees SB6-26

Kanta Matsuura (The University of Tokyo)
Proof-of-Verification for Proof-of-Work: Miners Must Verify the Signatures on Bitcoin Transactions SB6-27

Swanand Kadhe, Jichan Chung, Kannan Ramchandran (University of California, Berkeley)
SeF: A Secure Fountain Architecture for Slashing Storage Costs of Blockchains SB6-28

Michael Dubrovsky
Optical Proof of Work SB6-29

Yoshinori Hashimoto (BUIDL, Ltd)
A Lucas Critique to the Difficulty Adjustment Algorithm of the Bitcoin System SB6-30

Daniel Marquez (MIT Media Lab)
Offline Transactions (inspired by Blockchain Ethics) SB6-31

Thomas Eizinger
Conditional Transfer of Tokens on Top of Bitcoin SB6-32

Maxim Orlovsky (Pandora Core)
Storm: layer 2/3 storage & messaging SB6-33

Karl-Johan Alm (DG Lab)
Signet SB6-35

Andrew Poelstra (Blockstream)
Miniscripts SB6-36

Bryan Bishop
Vaults SB6-37

.......
Scaling R&D Grant Awards SB6-38