mirror of https://github.com/zcash/orchard.git
docs: Clarify EnableFlagInstructions::enable_flag
This commit is contained in:
parent
54c8cfd1d0
commit
3ff307f946
|
@ -8,8 +8,7 @@ use pasta_curves::arithmetic::FieldExt;
|
||||||
use std::marker::PhantomData;
|
use std::marker::PhantomData;
|
||||||
|
|
||||||
pub trait EnableFlagInstructions<F: FieldExt>: UtilitiesInstructions<F> {
|
pub trait EnableFlagInstructions<F: FieldExt>: UtilitiesInstructions<F> {
|
||||||
/// Given a `value` and an `enable_flag`, check that either `value = 0`
|
/// Enforces that `value` be zero or, if non-zero, that `enable_flag` must be 1.
|
||||||
/// or `enable_flag = 1`.
|
|
||||||
fn enable_flag(
|
fn enable_flag(
|
||||||
&self,
|
&self,
|
||||||
layouter: impl Layouter<F>,
|
layouter: impl Layouter<F>,
|
||||||
|
|
Loading…
Reference in New Issue