This Week in Blockchain Research Issue #99
|zk Capital||Mar 10|
BROUGHT TO YOU BY
Paper of the Week:
The growing adoption of smart contracts on blockchains poses new security risks that can lead to significant monetary loss, while existing approaches either provide no (or partial) security guarantees for smart contracts or require huge proof effort.
To address this challenge, this work presents a versatile framework for specifying and verifying industrial-grade smart contracts.
SciviK’s versatile approach extends previous efforts with three key contributions: (i) an expressive annotation system enabling built-in directives for vulnerability pattern checking, neural-based loop invariant inference, and the verification of rich properties of real-world smart contracts (ii) a fine-grained model for the Ethereum Virtual Machine (EVM) that provides low-level execution semantics, (iii) an IR-level verification framework integrating both SMT solvers and the Coq proof assistant.
SciviK is used to specify and verify security properties for 12 benchmark contracts and a real- world Decentralized Finance (DeFi) smart contract.
Among all 158 specified security properties (in six types), 151 properties can be automatically verified within 2 seconds, five properties can be automatically verified after moderate modifications, and two properties are manually proved with around 200 lines of Coq code.
Summary: The network synchrony does not hold in the real world Bitcoin network, which can be exploited to amortize the cost of various attacks.
Summary: Efficient and practical post-quantum VRF construction built from symmetric primitives only.
Authors: Maxime Buser*, Rafael Dowsley*, Muhammed F. Esgin*†, Shabnam Kasra Kermanshahi‡, Veronika Kuchta§, Joseph K. Liu*, Raphael Phan*, and Zhenfei Zhang✜,
3. Paper Title: BLOCKEYE: Hunting For DeFi Attacks on Blockchain.
Summary: A real-time attack detection system for DeFi projects on the Ethereum blockchain.
Authors: Bin Wang*, Han Liu*, Chao Liu*, Zhiqiang Yang*, Qian Ren*, Huixuan Zheng*, and Hong Lei*,
Affiliations: * Oxford-Hainan Blockchain Research Institute.
Summary: A new model and constructions of non- interactive MPC for any function, without the privacy-violating leakage of the residual function, and with security against semi-honest adversary.
2. Paper Title: P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange.
Summary: An efficient universally composable privacy preserving decentralized exchange where a set of servers run private cross-chain exchange order matching in an outsourced manner, while being financially incentivized to behave honestly.
1. Paper Title: HashWires: Hyperefficient Credential-Based Range Proofs.
Summary: A hash-based range proof protocol that is applicable in settings for which there is a trusted third party (typically a credential issuer) that can generate commitments.
Summary: A BFT SMR protocol that achieves optimal linear cost per decision under good networks and leaders, optimal quadratic cost per decision under bad networks, and remains always live.
Authors: Rati Gelashvili*, Lefteris Kokoris-Kogias*†, Alexander Spiegelman*, and Zhuolun Xiang‡,
Summary: Fundamental results about dynamics and liquidity in stablecoin markets, demonstrate that these markets face deleveraging feedback effects that cause illiquidity during crises and exacerbate collateral drawdown, and characterize stable dynamics of the system under particular conditions.
Affiliations: * Cornell University.
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.