日程

注意事項:
印刷

September 11th
09:00
(45 min)
登録
09:45
(5 min)
イントロダクション
09:50
(25 min)
Invited Talk: A Survey of Progress in Succinct Zero Knowledge Proofs: Towards Trustless SNARKs
プレゼンター:
Ben Fisch (Stanford University)

Scripts

10:15
(30 min)
Threshold Scriptless Scripts
プレゼンター:
Omer Shlomovits (KZen Research)
10:45
(30 min)
Developing secure Bitcoin contracts with BitML
プレゼンター:
Nicola Atzei, Massimo Bartoletti, Stefano Lande (University of Cagliari), Nobuko Yoshida (Imperial College London), Roberto Zunino (University of Trento)
11:15
(15 min)
休憩
11:30
(30 min)
ZkVM: zero-knowledge virtual machine for fast confidential smart contracts
プレゼンター:
Oleg Andreev (Stellar)
12:00
(30 min)
Scriptless Lotteries on Bitcoin from Oblivious Transfer
プレゼンター:
Lloyd Fournier (Independent Researcher)

Network

12:30
(30 min)
TxProbe: Discovering Bitcoin's Network Topology Using Orphan Transactions
プレゼンター:
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)
13:00
(45 min)
昼食
13:45
(30 min)
Bandwidth-Efficient Transaction Relay for Bitcoin
プレゼンター:
Gleb Naumenko (Chaincode Labs), Gregory Maxwell (Independent Researcher), Pieter Wuille (Blockstream), Alexandra Fedorova, Ivan Beschastnikh (The University of British Columbia)

Transaction Throughput

14:15
(30 min)
BIP: OP_SECURETHEBAG
プレゼンター:
Jeremy Rubin (Independent Researcher)
14:45
(30 min)
Elastic Block Caps
プレゼンター:
Meni Rosenfeld (Israeli Bitcoin Association)
15:15
(15 min)
休憩

Privacy

15:30
(30 min)
A Tale of Two Trees: One Writes, and Other Reads, Scaling Oblivious Accesses to Large-Scale Blockchains
プレゼンター:
Duc V. Le, Adil Ahmad, Mohsen Minaei, Aniket Kate (Purdue University), Lizzy Hurtado (National University of Colombia), Byoungyoung Lee (Seoul National University)
16:00
(30 min)
Applying Private Information Retrieval to Lightweight Bitcoin Clients
プレゼンター:
Kaihua Qin, Henryk Hadass, Arthur Gervais (Imperial College London), Joel Reardon (University of Calgary)
16:30
(30 min)
ZeroLink Sudoku: Real vs. Perceived Anonymity
プレゼンター:
Aviv Milner (Black Tie Consultants) Yuval Kogman, (Independent Researcher)
17:00
(15 min)
休憩

Alternative Blockchain Protocols

17:15
(30 min)
Prism: Scaling Bitcoin to Physical Limits
プレゼンター:
Vivek Bagaria, David Tse (Stanford), Sreeram Kannan (University of Washington), Giulia Fanti (CMU), Pramod Viswanath (University of Illinois at Urbana-Champaign)
17:45
(30 min)
BackPackers: A New Paradigm for Secure and High-performance Blockchain
プレゼンター:
Phuc Thai, Hong-Sheng Zhou, Thang Dinh (Virginia Commonwealth University), Jonathan Katz (University of Maryland), Lei Fan (Shanghai Jiao Tong University)

Education

18:15
(10 min)
Overview of Dev++ Topics
18:25
(10 min)
Signet
プレゼンター:
Karl-Johan Alm (DG Lab)
18:35
閉じる
18:45
Main Reception at LABS TLV

9月12日

Lightning Network

09:45
(30 min)
Improving routing in the Lightning Network with Trampoline Payments
プレゼンター:
Bastien Teinturier (Acinq)
10:15
(30 min)
PISA: Arbitration Outsourcing for State Channels
プレゼンター:
Patrick McCorry (PISA Research), Surya Bakshi, Andrew Miller (University of Illinois at Urbana-Champaign), Iddo Bentov (Cornell University), Sarah Meiklejohn (UCL)
10:45
(15 min)
休憩
11:00
(30 min)
Outpost: A Responsive Lightweight Watchtower
プレゼンター:
Tejaswi Nadahalli, Roger Wattenhofer (ETH Zurich), Majid Khabbazian (University of Alberta)
11:30
(30 min)
Açai: a backup protocol for Lightning Network wallets
プレゼンター:
Margherita Favaretto (Technical University of Denmark)
12:00
(30 min)
Rainbow Network: Synthetic Assets on Lightning
プレゼンター:
Dan Robinson (Paradigm)
12:30
(45 min)
昼食

レイヤー2

13:15
(30 min)
Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks
プレゼンター:
Christoph Egger (Friedrich-Alexander~University Erlangen-Nueremberg), Pedro Moreno-Sanchez, Matteo Maffei (Vienna University of Technology)
13:45
(30 min)
Plasma Cash: Towards more efficient Plasma Constructions
プレゼンター:
Georgios Konstantopoulos (Independent Researcher)

ペイメントチャネル

14:15
(30 min)
A2L: Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs
プレゼンター:
Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei (Vienna University of Technology)
14:45
(15 min)
休憩
15:00
(30 min)
Recovering Payment Channel Midstates Using only The User's Seed
プレゼンター:
David Vorick (Nebulous)

PoW & Verification

15:30
(30 min)
Proof of Necessary Work: Succinct State Verification with Fairness Guarantees
プレゼンター:
Assimakis Kattis, Joseph Bonneau (New York University)
16:00
(30 min)
Proof-of-Verification for Proof-of-Work: Miners Must Verify the Signatures on Bitcoin Transactions
プレゼンター:
Kanta Matsuura (The University of Tokyo)
16:30
(30 min)
Schedule Drift (Adjustment)
17:00
(15 min)
休憩

Fountain Codes

17:15
(30 min)
SeF: A Secure Fountain Architecture for Slashing Storage Costs of Blockchains
プレゼンター:
Swanand Kadhe, Jichan Chung, Kannan Ramchandran (University of California, Berkeley)

Work in Progress

17:45
(10 min)
Optical Proof of Work
プレゼンター:
Mikael Dubrovsky
17:55
(10 min)
A Lucas Critique to the Difficulty Adjustment Algorithm of the Bitcoin System
プレゼンター:
Yoshinori Hashimoto (BUIDL, Ltd)
18:05
(10 min)
Offline Transactions (inspired by Blockchain Ethics)
プレゼンター:
Daniel Marquez (MIT Media Lab)
18:15
(10 min)
Conditional Transfer of Tokens on Top of Bitcoin
プレゼンター:
Thomas Eizinger
18:25
(10 min)
Storm: layer 2/3 storage & messaging
プレゼンター:
Maxim Orlovsky (Pandora Core)
18:35
(10 min)
Building Ultra-light Clients with SNARKs
プレゼンター:
Noah Vesely (C-Labs)
18:45
(10 min)
Signet
プレゼンター:
Karl-Johan Alm (DG Lab)
18:55
(10 min)
Miniscripts
プレゼンター:
Andrew Poelstra (Blockstream)
19:05
(10 min)
Vaults
プレゼンター:
Bryan Bishop
19:15
(20 min)
Scaling R&D Grant Awards
19:35
閉じる