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#![no_std]
9#![deny(missing_debug_implementations)]
10#![deny(unsafe_code)]
11
12#[macro_use]
13extern crate alloc;
14
15#[cfg(feature = "std")]
16extern crate std;
17
18pub mod circuit;
19pub mod shares_hash;
20
21pub mod delegation;
22
23pub mod vote_proof;
24
25pub mod share_reveal;