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
26
27
28
29

//! Delegation ZKP circuit.
//!
//! A single circuit proving all 15 conditions of the delegation ZKP,
//! including 5 per-note slots.
//! The builder layer creates padded notes for unused slots and
//! produces a single proof.

mod builder;
mod circuit;
mod gadgets;
mod imt;
mod prove;

pub use builder::{
    build_delegation_bundle, synthetic_padding_note_parts, DelegationBuildError, DelegationBundle,
    PaddedNoteData, PrecomputedRandomness, RealNoteInput,
};
pub use circuit::{rho_binding_hash, van_commitment_hash, Circuit, Instance, K};
pub use imt::{
    build_sentinel_list, derive_nullifier_domain, gov_null_hash, ImtError, ImtProofData,
    ImtProvider, SpacedLeafImtProvider, IMT_DEPTH,
};
pub use prove::{
    create_delegation_proof, delegation_cached_keys, delegation_params, delegation_proving_key,
    verify_delegation_proof, warm_delegation_keys,
};

#[cfg(feature = "unstable-internal-api")]
pub use imt::build_nullifier_list;