Module builder 

Vote proof builder (ZKP #2).

Constructs a vote proof from delegation key material, a vote commitment tree witness, and vote parameters. Lives inside the orchard crate to access pub(crate) key internals.

El Gamal encryption randomness and share blind factors are derived deterministically via a Blake2b-512 PRF keyed by the spending key and bound to the specific VAN being spent, enabling crash recovery without persisting secrets and preventing nonce reuse across VANs.

Structs

EncryptedShareOutput

Encrypted share output from the vote proof builder.

VoteProofBundle

Result of building a vote proof.

Enums

VoteProofBuildError

Errors that can occur during vote proof construction.

Functions

build_vote_proof_from_delegation

Build a real vote proof (ZKP #2) from delegation key material.

denomination_split

Decompose num_ballots into [NUM_SHARES] shares using a greedy denomination strategy with randomized remainder distribution.

derive_share_blind

Derive deterministic blind factor blind_i for a share commitment.

derive_share_randomness

Derive deterministic El Gamal randomness r_i for a share.