voting-circuits 0.5.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

//! Generic halo2 helpers shared across the governance circuits.
//!
//! These are framework-level utilities that aren't tied to anything orchard-
//! specific, so they live here rather than in `orchard::circuit::gadget`.

use ff::Field;
use halo2_proofs::{
    circuit::{AssignedCell, Layouter},
    plonk::{self, Advice, Column},
};

/// Assigns a circuit-known constant to an advice cell via
/// `assign_advice_from_constant`.
///
/// Prerequisites: the circuit must configure a fixed constants column with
/// `meta.enable_constant(...)`, and the advice column passed here must be
/// equality-enabled with `meta.enable_equality(...)`. Halo2 places `constant`
/// in that fixed column and copy-constrains the returned advice cell to it, so
/// a malicious client driving the honest circuit cannot substitute another
/// value.
pub(crate) fn assign_constant<F: Field>(
    mut layouter: impl Layouter<F>,
    column: Column<Advice>,
    constant: F,
) -> Result<AssignedCell<F, F>, plonk::Error> {
    layouter.assign_region(
        || "load constant",
        |mut region| region.assign_advice_from_constant(|| "constant", column, 0, constant),
    )
}