This Week in Blockchain Research Issue #100
|zk Capital||Mar 17|
BROUGHT TO YOU BY
Paper of the Week:
Paper Title: Rinocchio: SNARKs for Ring Arithmetic.
Succinct non-interactive arguments of knowledge (SNARKs) enable non-interactive efficient verification of NP computations and admit short proofs.
However, all current SNARK constructions assume that the statements to be proven can be efficiently represented as either Boolean or arithmetic circuits over finite fields.
For most constructions, the choice of the prime field Fp is limited by the existence of groups of matching order for which secure bilinear maps exist.
This work overcomes such restrictions and enables verifying computations over rings.
It constructs the first designated-verifier SNARK for statements which are represented as circuits over a broader kind of commutative rings, namely those containing big enough exceptional sets.
Exceptional sets consist of elements such that their pairwise differences are invertible.
The contribution is threefold: (i) introduction of Quadratic Ring Programs (QRPs) as a characterization of NP where the arithmetic is over a ring, (ii) SNARKs designed over rings in a modular way, (iii) two applications for the proposed SNARKs.
1. Paper Title: Selfish Mining Attacks Exacerbated by Elastic Hash Supply.
Summary: An empirical analysis showing that there is a statistically significant correlation between the profitability of mining and the total hash rate, confirming that miners indeed respond to changing profitability.
2. Paper Title: 0.
Summary: This article discusses crypto bugs in four BLS signatures’ libraries (ethereum/py ecc, supranational/blst, herumi/bls, sigp/milagro_bls) that revolve around 0.
Authors: Nguyen Thoi Minh Quan*,
Affiliations: * undisclosed.
Summary: The first formal model of the protocol and formalise the refund address security goals for the protocol, namely refund address authentication and secrecy.
Summary: This paper presents a novel static analysis algorithm based on the symbolic execution of the Ethereum operand stack that allows us to resolve jumps in Ethereum bytecode and to construct an accurate control-flow graph (CFG) of the compiled smart contracts.
Affiliations: * University of Verona.
Summary: A concrete construction for a cryptocurrency with privacy-preserving properties that supports arbitrary-sized anonymity sets.
Affiliations: * Aarhus University.
2. Paper Title: Two Efficient Regulatory Confidential Transaction Schemes.
Summary: Two regulatory and efficient confidential transaction schemes using homomorphic encryption and zero-knowledge proofs.
Authors: Min Yang*†, Changtong Xu*†, Zhe Xia‡, Li Wang§, and Qingshu Meng§,
Summary: This work introduces and applies a mathematical framework to model the uncertainty of channel balances in the LN using probability theory.
Authors: Rene Pickhardt*, Sergei Tikhomirov†, Alex Biryukov†, and Mariusz Nowostawski*,
1. Paper Title: Merkle Trees Optimized for Stateless Clients in Bitcoin.
Summary: A systematic study of Merkle tree based accumulators, with a focus on factors that reduce the proof size.
Authors: Bolton Bailey* and Suryanarayana Sankagiri*,
Affiliations: * University of Illinois Urbana-Champaign.
Summary: Quantum hackers could falsify blocks being added to a blockchain and/or double spend tokens on any given blockchain depending on the features of the blockchain.
Authors: Peter P. Rohde*, Vijay Mohan†, Sinclair Davidson†, Chris Berg†, Darcy Allen†, Gavin Brennen‡, and Jason Potts†,
2. Paper Title: Central Bank Digital Currency with Asymmetric Privacy.
Summary: The economic rationale for, and the technical feasibility of, a new form of CBDC.
Authors: Katrin Tinn* and Christophe Dubach*,
Affiliations: * McGill University.
3. Paper Title: A Decentralized Autonomous Organization (DAO) of DAOs.
Summary: This article examines the core features of a possible DAO of DAOs design, its ability to expand the DAO ecosystem, and the design’s uses in business and society.
Authors: Wulf A. Kaal*,
Affiliations: * University of St. Thomas.
Thanks to our sponsor
Protocol Labs is an open-source research, development, and deployment laboratory. Projects include IPFS, Filecoin, libp2p, and many more. Protocol Labs aims to make human existence orders of magnitude better through technology.
The internet is humanity’s superpower, and they’re making it more dependable, equitable, and secure. Join the Protocol Labs team!
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.