Trait risc0_circuit_recursion::Externs
source · pub trait Externs {
// Provided methods
fn wom_write(&mut self, _addr: BabyBearElem, _val: BabyBearExtElem) { ... }
fn wom_read(&self, _addr: BabyBearElem) -> BabyBearExtElem { ... }
fn read_iop_header(
&mut self,
_count: BabyBearElem,
_k_and_flip_flag: BabyBearElem
) { ... }
fn read_iop_body(&mut self, _do_mont: BabyBearElem) -> BabyBearExtElem { ... }
}