voting_circuits/lib.rs
1//! Governance ZKP circuits for the Zally voting protocol.
2//!
3//! Contains three circuits:
4//! - **Delegation** (ZKP #1): Proves delegation of voting rights.
5//! - **Vote Proof** (ZKP #2): Proves a valid, authorized vote.
6//! - **Share Reveal** (ZKP #3): Proves a revealed share belongs to a registered vote commitment.
7
8#![deny(missing_debug_implementations)]
9#![deny(unsafe_code)]
10
11pub(crate) mod circuit;
12pub(crate) mod domain_tags;
13mod protocol_hash;
14mod prove_error;
15pub(crate) mod shares_hash;
16
17pub use prove_error::ProveError;
18pub use shares_hash::shares_hash_from_comms;
19
20pub mod delegation;
21
22pub mod vote_proof;
23
24pub mod share_reveal;