Paper 2022/421

Multiverse of HawkNess: A Universally-Composable MPC-based Hawk Variant

Aritra Banerjee and Hitesh Tewari

Abstract

The evolution of Smart contracts in recent years inspired a crucial question: Do smart contract evaluation protocols provide the required level of privacy when executing contracts on the Blockchain? The Hawk (IEEE S&P '16) paper introduces a way to solve the problem of privacy in smart contracts by evaluating the contracts off-chain, albeit with the trust assumption of a manager. To avoid the partially trusted manager altogether, a novel approach named zkHawk (IEEE BRAINS '21) explains how we can evaluate the contracts privately off-chain using a multi-party computation (MPC) protocol instead of trusting said manager. This paper dives deeper into the detailed construction of a variant of the zkHawk protocol titled V-zkHawk using formal proofs to construct the said protocol and model its security in the universal composability (UC) framework (FOCS '01). The V-zkHawk protocol discussed here does not support immediate closure, i.e, all the parties ($n$) have to send a message to inform the blockchain that the contract has been executed with corruption allowed for up to $t$ parties, where $t<n$. In the most quintessential sense, the V-zkHawk is a variant because the outcome of the protocol is similar (i.e., execution of smart contract via an MPC function evaluation) to zkHawk, but we modify key aspects of the protocol essentially creating a small trade-off (removing immediate closure) to provide UC (stronger) security. The V-zkHawk protocol leverages joint Schnorr signature schemes, encryption schemes, Non-Interactive Zero-Knowledge Proofs (NIZKs), and commitment schemes with Common Reference String (CRS) assumptions, MPC function evaluations, and assumes the existence of asynchronous, authenticated broadcast channels. We achieve malicious security in a dishonest majority setting in the UC framework.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Preprint. MINOR revision.
Keywords
zkHawkHawkMPCV-zkHawkNIZKsUniversal Composability
Contact author(s)
abanerje @ tcd ie
History
2022-04-29: last of 3 revisions
2022-04-06: received
See all versions
Short URL
https://ia.cr/2022/421
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2022/421,
      author = {Aritra Banerjee and Hitesh Tewari},
      title = {Multiverse of HawkNess: A Universally-Composable MPC-based Hawk Variant},
      howpublished = {Cryptology ePrint Archive, Paper 2022/421},
      year = {2022},
      note = {\url{https://eprint.iacr.org/2022/421}},
      url = {https://eprint.iacr.org/2022/421}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.