Purpose

This repository provides zero-knowledge circuits and tooling for a Distributed Key Generation (DKG) protocol.

Warning: The code has not been audited and should not be used in production systems.

Install SP1

curl -L https://sp1.succinct.xyz | bash
PATH="$PATH:~/.sp1/bin"
sp1up

Run test

make test

to run single test

 make test ARGS='--filter text_to_match'

Build

cargo build --release --features auth_commitment

Regenerate json and yaml spec

make gen-spec

Produce prove

./target/release/dkg_prover_host --input-file input_file.json --type share

For more information:

./target/release/dkg_prover_host --help

Proves

Invalid Share

Demonstrates that some participants have sent an incorrect share.

Successful Final Verification

Confirms that the DKG algorithm has completed successfully.

Incorrect Final Share Generation

Shows that certain participants provided an invalid final share, though the algorithm can't conclude.

Malicious Share Exchange Encryption

Reveals that some participants have sent improperly encrypted data that is either incorrect or malicious, violating the algorithm's invariants.

GIT hooks

make install-git-hooks