voting-circuits 0.6.0

Governance ZKP circuits (delegation, vote proof, share reveal) for the Zcash shielded-voting protocol.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! Governance ZKP circuits for the Zally voting protocol.
//!
//! Contains three circuits:
//! - **Delegation** (ZKP #1): Proves delegation of voting rights.
//! - **Vote Proof** (ZKP #2): Proves a valid, authorized vote.
//! - **Share Reveal** (ZKP #3): Proves a revealed share belongs to a registered vote commitment.

#![deny(missing_debug_implementations)]
#![deny(unsafe_code)]

pub(crate) mod circuit;
pub(crate) mod domain_tags;
mod protocol_hash;
mod prove_error;
pub(crate) mod shares_hash;

pub use prove_error::ProveError;
pub use shares_hash::shares_hash_from_comms;

pub mod delegation;

pub mod vote_proof;

pub mod share_reveal;