voting-circuits 0.7.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
25

//! 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)]

mod domain_tags;
mod gadgets;
mod params;
mod protocol_hash;
mod prove_error;
mod shares_hash;

pub use gadgets::elgamal::spend_auth_g_affine;
pub use params::VOTE_COMM_TREE_DEPTH;
pub use prove_error::ProveError;
pub use shares_hash::{share_commitment, shares_hash, shares_hash_from_comms};

pub mod delegation;
pub mod share_reveal;
pub mod vote_proof;