This Week in Blockchain Research Issue #86
|zk Capital||Dec 9, 2020|
Paper of the Week:
This work constructs a zero knowledge argument system with polylogarithmic communication complexity where the prover runs in linear time and the verifier runs in polylogarithmic time.
This achieves a central goal in the area of efficient zero knowledge.
The result is a direct consequence of a new interactive oracle proof (IOP) that simultaneously achieves linear-time proving and zero knowledge.
The work constructs an IOP where, for the satisfiability of an N -gate arithmetic circuit over any field of size Ω(N), the prover uses O(N) field operations and the verifier uses polylog(N) field operations (with proof length O(N) and query complexity polylog(N)).
Polylogarithmic verification is achieved in the holographic setting for every circuit (the verifier has oracle access to a linear-time-computable encoding of the circuit whose satisfiability is being proved).
Summary: A systematic study of incremental verification for ledger systems, including its foundations, implementation, and empirical evaluation.
Affiliations: * UC Berkeley.
2. Paper Title: CLUE: Towards Discovering Locked Cryptocurrencies in Ethereum.
Summary: The first systematic investigation on locked cryptocurrencies in Ethereum.
3. Paper Title: Pricing Security in Proof-of-Work Systems.
Summary: This work characterizes the security investment of miners in terms of its cost in fiat money.
1. Paper Title: Balancing Privacy and Accountability in Blockchain Transactions.
Summary: A novel design principle for identity management in Blockchains to maintain privacy, while still allowing compliance with current regulations and preventing exploitations of Blockchain technology for purposes which are incompatible with the social good.
Authors: Ivan Damgard*, Chaya Ganesh†, Hamidreza Khoshakhlagh*, Claudio Orlandi*, and Luisa Siniscalchi*,
2. Paper Title: Delegated RingCT: faster anonymous transactions.
Summary: A modification to RingCT protocol with stealth addresses that makes it compatible with Delegated Proof of Stake based consensus mechanisms called Delegated RingCT.
Affiliations: * University of Beira Interior.
Summary: The first step to measure the impact of contract engines on the performance of smart contract execution.
Affiliations: * Peking University, † Beijing University of Posts and Telecommunications, and ‡ Zhejiang University.
1. Paper Title: On the Concurrent Composition of Quantum Zero-Knowledge.
Summary: The notion of zero-knowledge secure against quantum polynomial-time verifiers (referred to as quantum zero-knowledge) in the concurrent composition setting. Despite being extensively studied in the classical setting, concurrent composition in the quantum setting has hardly been studied.
Summary: What are the limits of what we can achieve without introducing Sybil countermeasures? In other words, which applications can tolerate arbitrary numbers of Byzantine faults?
Affiliations: * University of Cambridge.
1. Paper Title: Crypto-Enforcement Around the World.
Summary: A detailed analysis of enforcement in major crypto-market jurisdictions.
Authors: Yuliya Guseva* and Douglas Eakeley,
Affiliations: * Rutgers.
Conferences, Journals, & CFPs:
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.