Distributed Key Generation with Smart Contracts using zk-SNARKs

12/20/2022
by   Michael Sober, et al.
0

Distributed Key Generation (DKG) is an extensively researched topic as it is fundamental to threshold cryptosystems. Emerging technologies such as blockchains benefit massively from applying threshold cryptography in consensus protocols, randomness beacons, and threshold signatures. However, blockchains and smart contracts also enable further improvements of DKG protocols by providing a decentralized computation and communication platform. For that reason, we propose a DKG protocol that uses smart contracts to ensure the correct execution of the protocol, allow dynamic participation, and provide crypto-economic incentives to encourage honest behavior. The DKG protocol uses a dispute and key derivation mechanism based on Zero-Knowledge Succinct Non-interactive Arguments of Knowledge (zk-SNARKs) to reduce the costs of applying smart contracts by moving the computations off-chain, where the smart contract only verifies the correctness of the computation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/18/2021

An Empirical Study of Protocols in Smart Contracts

Smart contracts are programs that are executed on a blockhain. They have...
research
05/30/2021

Reflow: Zero Knowledge Multi Party Signatures with Application to Distributed Authentication

Reflow is a novel signature scheme supporting unlinkable signatures by m...
research
10/08/2020

A Case for a Currencyless Economy Based on Bartering with Smart Contracts

We suggest the re-introduction of bartering to create a cryptocurrencyle...
research
02/05/2021

Committee selection in DAG distributed ledgers and applications

In this paper, we propose several solutions to the committee selection p...
research
04/20/2022

Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols

Transactions involving multiple blockchains are implemented by cross-cha...
research
12/18/2018

Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-physical Systems

Intelligent Cyber-physical systems can be modelled as multi-agent system...
research
02/14/2019

Smart contracts meet quantum cryptography

We put forward the idea that classical blockchains and smart contracts a...

Please sign up or login with your details

Forgot password? Click here to reset