Struct risc0_zkp::adapter::CircuitStepContext

pub struct CircuitStepContext {
    pub size: usize,
    pub cycle: usize,
}

Fields

size: usize

cycle: usize

Implementations

impl CircuitStepContext

pub fn _const(&self, value: u32, _loc: &str) -> Fp

pub fn _get(&self, base: &[Fp], offset: usize, back: usize, _loc: &str) -> Fp

pub fn _set(&self, base: &mut [Fp], value: Fp, offset: usize, _loc: &str)

pub fn _get_global(&self, base: &[Fp], offset: usize, _loc: &str) -> Fp

pub fn _set_global(&self, base: &mut [Fp], value: Fp, offset: usize, _loc: &str)

pub fn as_bool(&self, x: &Fp, _loc: &str) -> bool

pub fn _add(&self, a: Fp, b: Fp, _loc: &str) -> Fp

pub fn _sub(&self, a: Fp, b: Fp, _loc: &str) -> Fp

pub fn _mul(&self, a: Fp, b: Fp, _loc: &str) -> Fp

pub fn _bitAnd(&self, a: Fp, b: Fp, _loc: &str) -> Fp

pub fn _eqz(&self, a: Fp, loc: &str) -> Result<()>

pub fn _inv(&self, a: Fp, _loc: &str) -> Fp

pub fn _isz(&self, a: Fp, _loc: &str) -> Fp