Paper of the Week:
Paper Title: Snarky Ceremonies.
Succinct non-interactive arguments of knowledge (SNARKs) have found numerous applications in the blockchain setting and elsewhere.
The most efficient SNARKs require a distributed ceremony protocol to generate public parameters, also known as a structured reference string (SRS).
This work gives a security framework for non-interactive zero-knowledge arguments with a ceremony protocol.
It revisits the ceremony protocol of Groth’s SNARK, showing that the original construction can be simplified and optimized, and then proves its security in the proposed framework.
Importantly, the construction avoids the random beacon model used in the original work.
1. Paper Title: Redactable Blockchain Protocol with Instant Redaction.
Summary: A generic approach of designing redactable blockchain protocol in the permissionless setting with instant redaction.
1. Paper Title: The Nym Network The Next Generation of Privacy Infrastructure.
Summary: The core component of Nym is a mixnet that protects network traffic metadata for applications, providing communication privacy superior to both VPNs and Tor against global adversaries that can watch the entire internet.
Summary: This paper reviews a number of existing proposals for distributed payment systems that offer some form of auditability for reg- ulators.
3. Paper Title: WabiSabi: Centrally Coordinated CoinJoins with Variable Amounts.
Summary: A new protocol for centrally coordinated CoinJoin implementations utilizing keyed verification anonymous credentials and homomorphic value commitments.
Authors: Ádám Ficsór*, Yuval Kogman*, Lucas Ontivero*, and István András Seres†,
Summary: A novel sharding approach that leverages the safety-liveness dichotomy to get the smallest possible shards, and therefore optimal efficiency, without sacrificing security.
Affiliations: * ITU Copenhagen, † Concordium Blockchain Research Center, Aarhus University, and ‡ Concordium, Zürich.
2. Paper Title: Scaling Distributed Ledgers and Privacy-Preserving Applications.
Summary: Techniques aiming to make blockchain technologies and smart contract platforms practical by improving their scalability, latency, and privacy.
Authors: Alberto Sonnino*,
Affiliations: * University College London.
Summary: This work constructs interactive, public-coin, zero-knowledge arguments with noticeable soundness error for proving that a target vector of commitments is a pseudorandom permutation of a source vector.
Authors: Nils Fleischhacker* and Mark Simkin†
Summary: Compact zero-knowledge proofs for threshold ECDSA to lower the communication bandwidth, as well as the computation cost.
Summary: A formal model for defining and studying protocols which in particular codifies the separation between role-assignment and protocol execution and codifies the notion of only speaking once.
Authors: Craig Gentry*, Shai Halevi*, Hugo Krawczyk*, Bernardo Magri†, Jesper Buus Nielsen†, Tal Rabin*, and Sophia Yakoubov‡,
1. Paper Title: Formal Analysis of Composable DeFi Protocols.
Summary: A formal process-algebraic technique that models DeFi protocols in a compositional manner to allow for efficient property verification.
Authors: Palina Tolmach*†, Yi Li†, Shang-Wei Lin†, and Yang Liu†,
Summary: How stablecoins help reduce the volatility of cryptocurrencies by surveying different types of stablecoins and their stability mechanisms.
Authors: Ayten Kahya*, Bhaskar Krishnamachari*, and Seokgu Yun†
Summary: An economic model whereby agents can store wealth through the blockchain’s cryptocurrency but may face a costly delay when liquidating due to the blockchain’s finite transaction rate.
This newsletter is for informational purposes only. This content does not in any way constitute an offer or solicitation of an offer to buy or sell any investment solution or recommendation to buy or sell a security; nor it is to be taken as legal, business, investment, or tax advice. In fact, none of the information in this or other content on zk Capital should be relied on in any manner as advice. None of the authors, contributors, or anyone else connected with zk Capital, in any way whatsoever, can be responsible for your use of the information contained in this newsletter.