Struct CTreeSec

pub struct CTreeSec<C: CS> {
    pub proof_filled: CMerkleProof<C, { _ }>,
    pub proof_free: CMerkleProof<C, { _ }>,
    pub prev_leaf: CNum<C>,
}

Fields

proof_filled: CMerkleProof<C, { _ }>

proof_free: CMerkleProof<C, { _ }>

prev_leaf: CNum<C>

Trait Implementations

impl<C: Clone + CS> Clone for CTreeSec<C>

fn clone(&self) -> CTreeSec<C>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: CS> Signal<C> for CTreeSec<C>

type Value = TreeSec<<C as CS>::Fr>

fn get_value(&self) -> Option<Self::Value>

fn as_const(&self) -> Option<Self::Value>

fn switch(&self, bit: &CBool<C>, if_else: &Self) -> Self

fn get_cs(&self) -> &RCS<C>

fn from_const(cs: &RCS<C>, value: &Self::Value) -> Self

fn assert_const(&self, value: &Self::Value)

fn inputize(&self)

fn assert_eq(&self, other: &Self)

fn is_eq(&self, other: &Self) -> CBool<C>

fn alloc(cs: &RCS<C>, value: Option<&Self::Value>) -> Self

fn derive_const<T>(&self, value: &<T as Signal<C>>::Value) -> T

where T: Signal<C>,

fn derive_alloc<T>(&self, value: Option<&<T as Signal<C>>::Value>) -> T

where T: Signal<C>,