Struct PositionVar

pub struct PositionVar {
    pub position: FqVar,
    pub bits: [Boolean<Fq>; 48],
}

Available on crate feature r1cs only.

Represents the position of a leaf in the TCT represented in R1CS.

Fields

position: FqVar

The FqVar representing the leaf.

bits: [Boolean<Fq>; 48]

Bits

Implementations

impl PositionVar

pub fn commitment(&self) -> Result<FqVar, SynthesisError>

Witness the commitment index by taking the last 16 bits of the position.

pub fn block(&self) -> Result<FqVar, SynthesisError>

Witness the block.

pub fn epoch(&self) -> Result<FqVar, SynthesisError>

Witness the epoch by taking the first 16 bits of the position.

Trait Implementations

impl AllocVar<Position, Fq> for PositionVar

fn new_variable<T: Borrow<Position>>( cs: impl Into<Namespace<Fq>>, f: impl FnOnce() -> Result<T, SynthesisError>, mode: AllocationMode, ) -> Result<Self, SynthesisError>

Allocates a new variable of type Self in the ConstraintSystem cs. The mode of allocation is decided by mode.

fn new_constant( cs: impl Into<Namespace<F>>, t: impl Borrow<V>, ) -> Result<Self, SynthesisError>

Allocates a new constant of type Self in the ConstraintSystem cs.

fn new_input<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new public input of type Self in the ConstraintSystem cs.

fn new_witness<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new private witness of type Self in the ConstraintSystem cs.

impl Clone for PositionVar

fn clone(&self) -> PositionVar

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PositionVar

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl R1CSVar<Fq> for PositionVar

type Value = Position

The type of the “native” value that Self represents in the constraint system.

fn cs(&self) -> ConstraintSystemRef<Fq>

Returns the underlying ConstraintSystemRef.

fn value(&self) -> Result<Self::Value, SynthesisError>

Returns the value that is assigned to self in the underlying ConstraintSystem.

fn is_constant(&self) -> bool

Returns true if self is a circuit-generation-time constant.

impl ToBitsGadget<Fq> for PositionVar

fn to_bits_le(&self) -> Result<Vec<Boolean<Fq>>, SynthesisError>

Outputs the canonical little-endian bit-wise representation of self.

fn to_non_unique_bits_le(&self) -> Result<Vec<Boolean<F>>, SynthesisError>

Outputs a possibly non-unique little-endian bit-wise representation of self.

fn to_bits_be(&self) -> Result<Vec<Boolean<F>>, SynthesisError>

Outputs the canonical big-endian bit-wise representation of self.

fn to_non_unique_bits_be(&self) -> Result<Vec<Boolean<F>>, SynthesisError>

Outputs a possibly non-unique big-endian bit-wise representation of self.