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

【Author】 Banerjee, Aritra; Tewari, Hitesh

【Source】CRYPTOGRAPHY

【影响因子】0.000

【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

【Keywords】zkHawk; Hawk; MPC; V-zkHawk; NIZKs; universal composability

【发表时间】2022 SEP

【收录时间】2022-10-02

【文献类型】理论模型

【主题类别】

区块链技术-核心技术-隐私保护