Tel Aviv (2019)

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

Ben Fisch

A Tale of Two Trees: One Writes, and Other Reads, Scaling Oblivious Accesses to Large-Scale Blockchains

Duc V. Le

Research Lightweight client Privacy enhancements

A2L: Anonymous Atomic Locks for Scalability and Interoperability in Payment Channel Hubs

Pedro Moreno-Sanchez

Research Lightning Adaptor signatures

Applying Private Information Retrieval to Lightweight Bitcoin Clients

Research Lightweight client Privacy enhancements

Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks

Pedro Moreno-Sanchez

Research Lightning

Backpackers

Thang N. Dinh

BIP: OP_SECURETHEBAG

Jeremy Rubin

Research Op checktemplateverify

Developing secure Bitcoin contracts using BitML

Stefano Lande

Research Contract protocols

Elastic Block Caps

Meni Rosenfeld

Research Fee management

Erlay

Gleb Naumenko

Intro

Anton Yemelyanov

Plasma Cash: Towards more efficient Plasma Constructions

Georgios Konstantopoulos

Research Sidechains Proof systems

Prism: Scaling Bitcoin to Physical Limits

Vivek Bagaria

Proof of necessary work: Succinct state verification with fairness guarantees

Assimakis Kattis

Research Proof systems

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

Kanta Matsuura

Research Proof systems

Recovering Payment Channel Midstates Using only The User's Seed

David Vorick

Lightning Watchtowers

Scriptless Lotteries

Lloyd Fournier

Secure Fountain Architecture

Swanand Kadhe

Threshold Scriptless Scripts

Omer Shlomovits

Research Adaptor signatures Threshold signature

TxProbe: Discovering bitcoin's network topology using orphan transactions

Sergi Delgado-Segura

Topology Research

Work In Progress Sessions

Mikael Dubrovsky, Yoshinori Hashimoto, Daniel Marquez, Thomas Eizinger

Zerolink Sudoku - real vs perceived anonymity

Yuval Kogman

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

Oleg Andreev

Proof systems Utreexo Musig