Payment/State Channel

SoK

Lewis Gudgeon (Imperial College London) Patrick McCorry (King’s College London) Pedro Moreno-Sanchez (TU Wien) Arthur Gervais (Imperial College London, Liquidity Network, Lucerne University)

FC'20

Maxim Jourenko, Mario Larangeira, Kanta Kurazumi, Keisuke Tanaka (Tokyo Institute of Technology.)

Proposals

Georgia Avarikioti (ETH Zürich) Eleftherios Kokoris Kogias (EPFL) Roger Wattenhofer (ETH Zürich)

Andrew Miller, Iddo Bentov, Ranjit Kumaresan, Christopher Cordi, Patrick McCorry

Patrick McCorry, Surya Bakshi, Iddo Bentov, Sarah Meiklejohn, Andrew Miller

Generalized

Perun

Counterfactual (L4)

Celer

Manuel M. T. Chakravarty, Sandro Coretti, Matthias Fitzi, Peter Gaˇzi, Philipp Kant, Aggelos Kiayias, and Alexander Russell

Attacks

Saar Tochner, Aviv Zohar, Stefan Schmid

Ayelet Mizrahi, Aviv Zohar (The Hebrew University of Jerusalem)

Analysis

Institute for Computer Science and Control (SZTAKI), Hungary

Privacy

Onion routing

Matthew Green Ian Miers

Blind Off-chain Lightweight Transactions (≠ "BOLT": Lightning RFC )

no need for zero-knowledge proof

any real privacy provided by BOLT fundamentally depends on channel establishment and closure being anonymous

Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, Srivatsan Ravi

the foundations for privacy and concurrency in PCNs, presenting a formal definition in the Universal Composability framework as well as practical and provably secure solutions

ZKboo

formally define the Multi-Hop HTLC contract and provide an efficient instantiation based on ZK-Boo

the data required from 650 MB to 17 MB,

the running time for the prover from 600 ms to 309 ms

the running time for verifying from 500 ms to 130 ms

Multi-Hop HTLC does not require changes to the current Bitcoin scripting system

Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei (TU Wien)

a micropayment system in Zerocash called Z-Channel

improve Zerocash to support multisignature and time lock functionalities

prove that the reconstructed scheme is secure

Utz Nisslmueller, Klaus-Tycho Foerster, Stefan Schmid (University of Vienna), Christian Decker (Blockstream)

Giulio Malavolta (Friedrich-Alexander University Erlangen-Nürnberg), Pedro Moreno Sanchez (TU Wien), Clara Schneidewind (TU Wien), Aniket Kate (Purdue University), Matteo Maffei (TU Wien)

Anonymous Multi-Hop Locks based on scriptless Scripts, not HTLC

Applicable for inter-chain payment channel

UC proof

Others

Also see