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
25
26
27
28
29
30
31
32
33

//! 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.

pub(crate) mod builder;
pub(crate) mod circuit;
pub(crate) mod imt;
pub(crate) mod imt_circuit;
pub(crate) mod prove;

pub use builder::{
    build_delegation_bundle, synthetic_padding_note_parts, DelegationBuildError, DelegationBundle,
    PaddedNoteData, PrecomputedRandomness, RealNoteInput, SyntheticPaddingNoteParts,
};
pub use circuit::{
    rho_binding_hash, van_commitment_hash, Circuit, Instance, CMX_NEW_PUBLIC_OFFSET,
    DOM_PUBLIC_OFFSET, GOV_NULL_1_PUBLIC_OFFSET, GOV_NULL_2_PUBLIC_OFFSET,
    GOV_NULL_3_PUBLIC_OFFSET, GOV_NULL_4_PUBLIC_OFFSET, GOV_NULL_5_PUBLIC_OFFSET,
    GOV_NULL_PUBLIC_OFFSETS, K, NC_ROOT_PUBLIC_OFFSET, NF_IMT_ROOT_PUBLIC_OFFSET,
    NF_SIGNED_PUBLIC_OFFSET, RK_X_PUBLIC_OFFSET, RK_Y_PUBLIC_OFFSET, VAN_COMM_PUBLIC_OFFSET,
    VOTE_ROUND_ID_PUBLIC_OFFSET,
};
pub use imt::{
    build_nullifier_list, 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,
};