SYMBOL INDEX (455 symbols across 25 files)

FILE: air/src/constraints.rs
  type EvaluationResult (line 6) | pub trait EvaluationResult<E: FieldElement> {
    method evaluate_instr_constraints (line 7) | fn evaluate_instr_constraints(&mut self, frame: &MainEvaluationFrame<E>);
    method evaluate_operand_constraints (line 8) | fn evaluate_operand_constraints(&mut self, frame: &MainEvaluationFrame...
    method evaluate_register_constraints (line 9) | fn evaluate_register_constraints(&mut self, frame: &MainEvaluationFram...
    method evaluate_opcode_constraints (line 10) | fn evaluate_opcode_constraints(&mut self, frame: &MainEvaluationFrame<...
    method enforce_selector (line 11) | fn enforce_selector(&mut self, frame: &MainEvaluationFrame<E>);
  type AuxEvaluationResult (line 14) | pub trait AuxEvaluationResult<E: FieldElement, F: FieldElement + Extensi...
    method evaluate_memory_constraints (line 15) | fn evaluate_memory_constraints(
    method evaluate_range_check_constraints (line 21) | fn evaluate_range_check_constraints(
  constant INST (line 30) | const INST: usize = 16;
  constant DST_ADDR (line 31) | const DST_ADDR: usize = 17;
  constant OP0_ADDR (line 32) | const OP0_ADDR: usize = 18;
  constant OP1_ADDR (line 33) | const OP1_ADDR: usize = 19;
  constant NEXT_AP (line 34) | const NEXT_AP: usize = 20;
  constant NEXT_FP (line 35) | const NEXT_FP: usize = 21;
  constant NEXT_PC_1 (line 36) | const NEXT_PC_1: usize = 22;
  constant NEXT_PC_2 (line 37) | const NEXT_PC_2: usize = 23;
  constant T0 (line 38) | const T0: usize = 24;
  constant T1 (line 39) | const T1: usize = 25;
  constant MUL_1 (line 40) | const MUL_1: usize = 26;
  constant MUL_2 (line 41) | const MUL_2: usize = 27;
  constant CALL_1 (line 42) | const CALL_1: usize = 28;
  constant CALL_2 (line 43) | const CALL_2: usize = 29;
  constant ASSERT_EQ (line 44) | const ASSERT_EQ: usize = 30;
  constant A_M_PRIME (line 47) | const A_M_PRIME: Range<usize> = range(0, 4);
  constant V_M_PRIME (line 48) | const V_M_PRIME: Range<usize> = range(4, 4);
  constant P_M (line 49) | const P_M: Range<usize> = range(8, 4);
  constant A_RC_PRIME (line 50) | const A_RC_PRIME: Range<usize> = range(12, 3);
  constant P_RC (line 51) | const P_RC: Range<usize> = range(15, 3);
  constant TWO (line 53) | const TWO: Felt = Felt::TWO;
  function evaluate_instr_constraints (line 56) | fn evaluate_instr_constraints(&mut self, frame: &MainEvaluationFrame<E>) {
  function evaluate_operand_constraints (line 86) | fn evaluate_operand_constraints(&mut self, frame: &MainEvaluationFrame<E...
  function evaluate_register_constraints (line 105) | fn evaluate_register_constraints(&mut self, frame: &MainEvaluationFrame<...
  function evaluate_opcode_constraints (line 134) | fn evaluate_opcode_constraints(&mut self, frame: &MainEvaluationFrame<E>) {
  function enforce_selector (line 147) | fn enforce_selector(&mut self, frame: &MainEvaluationFrame<E>) {
  function evaluate_memory_constraints (line 160) | fn evaluate_memory_constraints(
  function evaluate_range_check_constraints (line 192) | fn evaluate_range_check_constraints(

FILE: air/src/frame.rs
  type MainEvaluationFrame (line 10) | pub struct MainEvaluationFrame<E: FieldElement> {
  function new (line 18) | fn new<A: Air>(air: &A) -> Self {
  function from_table (line 26) | fn from_table(table: Table<E>) -> Self {
  function read_from (line 33) | fn read_from<R: TableReader<E>>(
  function row (line 51) | fn row<'a>(&'a self, row_idx: usize) -> &'a [E] {
  function to_table (line 55) | fn to_table(&self) -> Table<E> {
  function offsets (line 59) | fn offsets() -> &'static [usize] {
  function current (line 65) | pub fn current(&'a self) -> MainFrameSegment<'a, E> {
  function next (line 68) | pub fn next(&'a self) -> MainFrameSegment<'a, E> {
  function segment (line 71) | pub fn segment(&'a self) -> MainFrameSegment<'a, E> {
  type MainFrameSegment (line 76) | pub struct MainFrameSegment<'a, E: FieldElement> {
  type DataSegment (line 81) | enum DataSegment {
  function new (line 93) | fn new(table: &'a Table<E>, row_start: usize) -> Self {
  function get (line 97) | fn get(&self, pos: usize, data_type: DataSegment) -> E {
  function get_virtual (line 112) | fn get_virtual(&self, idx: usize, offset: usize, width: usize) -> E {
  function res (line 125) | pub fn res(&self) -> E {
  function pc (line 129) | pub fn pc(&self) -> E {
  function ap (line 132) | pub fn ap(&self) -> E {
  function fp (line 135) | pub fn fp(&self) -> E {
  function dst_addr (line 139) | pub fn dst_addr(&self) -> E {
  function op0_addr (line 142) | pub fn op0_addr(&self) -> E {
  function op1_addr (line 145) | pub fn op1_addr(&self) -> E {
  function inst (line 149) | pub fn inst(&self) -> E {
  function dst (line 152) | pub fn dst(&self) -> E {
  function op0 (line 155) | pub fn op0(&self) -> E {
  function op1 (line 158) | pub fn op1(&self) -> E {
  function inst_size (line 162) | pub fn inst_size(&self) -> E {
  function t0 (line 166) | pub fn t0(&self) -> E {
  function t1 (line 169) | pub fn t1(&self) -> E {
  function mul (line 172) | pub fn mul(&self) -> E {
  function a_m (line 176) | pub fn a_m(&self, idx: usize) -> E {
  function v_m (line 179) | pub fn v_m(&self, idx: usize) -> E {
  function a_rc (line 183) | pub fn a_rc(&self, idx: usize) -> E {
  function selector (line 187) | pub fn selector(&self) -> E {
  function off_dst (line 193) | fn off_dst(&self) -> E {
  function off_op0 (line 197) | fn off_op0(&self) -> E {
  function off_op1 (line 201) | fn off_op1(&self) -> E {
  function flags (line 207) | fn flags(&self) -> Vec<E> {
  function flag_at (line 215) | fn flag_at(&self, pos: usize) -> E {
  type AuxEvaluationFrame (line 224) | pub struct AuxEvaluationFrame<E: FieldElement> {
  function new (line 232) | fn new<A: Air>(air: &A) -> Self {
  function from_table (line 240) | fn from_table(table: Table<E>) -> Self {
  function read_from (line 247) | fn read_from<R: TableReader<E>>(&mut self, data: R, step: usize, offset:...
  function row (line 259) | fn row<'a>(&'a self, row_idx: usize) -> &'a [E] {
  function to_table (line 263) | fn to_table(&self) -> Table<E> {
  function offsets (line 267) | fn offsets() -> &'static [usize] {
  function segment (line 273) | pub fn segment(&'a self) -> AuxFrameSegment<'a, E> {
  type AuxFrameSegment (line 278) | pub struct AuxFrameSegment<'a, E: FieldElement> {
  function new (line 284) | fn new(table: &'a Table<E>, row_idx: usize) -> Self {
  function get_virtual (line 290) | fn get_virtual(&self, idx: usize, offset: usize, width: usize) -> E {
  function a_m_prime (line 301) | pub fn a_m_prime(&self, idx: usize) -> E {
  function v_m_prime (line 304) | pub fn v_m_prime(&self, idx: usize) -> E {
  function p_m (line 307) | pub fn p_m(&self, idx: usize) -> E {
  function a_rc_prime (line 312) | pub fn a_rc_prime(&self, idx: usize) -> E {
  function p_rc (line 315) | pub fn p_rc(&self, idx: usize) -> E {

FILE: air/src/lib.rs
  type ProcessorAir (line 30) | pub struct ProcessorAir {
  type BaseField (line 36) | type BaseField = Felt;
  type PublicInputs (line 37) | type PublicInputs = PublicInputs;
  type Frame (line 38) | type Frame<E: FieldElement> = MainEvaluationFrame<E>;
  type AuxFrame (line 39) | type AuxFrame<E: FieldElement> = AuxEvaluationFrame<E>;
  method new (line 41) | fn new(trace_info: TraceInfo, pub_inputs: PublicInputs, options: WinterP...
  method get_assertions (line 107) | fn get_assertions(&self) -> Vec<Assertion<Felt>> {
  method get_aux_assertions (line 119) | fn get_aux_assertions<E: FieldElement + From<Self::BaseField>>(
  method evaluate_transition (line 148) | fn evaluate_transition<E: FieldElement + From<Felt>>(
  method evaluate_aux_transition (line 161) | fn evaluate_aux_transition<
  method context (line 176) | fn context(&self) -> &AirContext<Felt> {
  type PublicInputs (line 184) | pub struct PublicInputs {
    method new (line 195) | pub fn new(
  method write_into (line 219) | fn write_into<W: ByteWriter>(&self, target: &mut W) {
  method read_from (line 252) | fn read_from<R: ByteReader>(source: &mut R) -> Result<Self, Deserializat...

FILE: air/src/options.rs
  type ProofOptions (line 6) | pub struct ProofOptions(WinterProofOptions);
    method new (line 9) | pub fn new(
    method with_proof_options (line 29) | pub fn with_proof_options(
    method into_inner (line 47) | pub fn into_inner(self) -> WinterProofOptions {
  method default (line 53) | fn default() -> Self {
  type Target (line 59) | type Target = WinterProofOptions;
  method deref (line 61) | fn deref(&self) -> &Self::Target {

FILE: cli/src/cmd/mod.rs
  type ProofData (line 7) | struct ProofData {

FILE: cli/src/cmd/prove/args.rs
  type ProveArgs (line 6) | pub struct ProveArgs {
  function parse_num_queries (line 74) | fn parse_num_queries(value: &str) -> Result<usize, Error> {
  function parse_blowup_factor (line 89) | fn parse_blowup_factor(value: &str) -> Result<usize, Error> {
  function parse_fri_folding_factor (line 114) | fn parse_fri_folding_factor(value: &str) -> Result<usize, Error> {
  function parse_fri_max_remainder_size (line 126) | fn parse_fri_max_remainder_size(value: &str) -> Result<usize, Error> {

FILE: cli/src/cmd/prove/prove.rs
  type ProveOutput (line 10) | pub struct ProveOutput {}
  type Error (line 13) | pub enum Error {}
  type Output (line 16) | type Output = Result<ProveOutput, Error>;
  method run (line 18) | fn run(self) -> Self::Output {

FILE: cli/src/cmd/verify.rs
  type VerifyOutput (line 12) | pub struct VerifyOutput {}
  type VerifyArgs (line 16) | pub struct VerifyArgs {
  type Error (line 26) | pub enum Error {}
  type Output (line 29) | type Output = Result<VerifyOutput, Error>;
  method run (line 31) | fn run(self) -> Self::Output {

FILE: cli/src/giza.rs
  type Opts (line 10) | pub struct Opts {
  type Subcommands (line 17) | pub enum Subcommands {
  function main (line 22) | fn main() {

FILE: cli/src/utils.rs
  type Cmd (line 2) | pub trait Cmd: clap::Parser + Sized {
    method run (line 5) | fn run(self) -> Self::Output;

FILE: core/src/field/f252/mod.rs
  type Fr (line 33) | struct Fr([u64; 4]);
    method from_raw (line 562) | pub fn from_raw(value: [u64; 4]) -> Self {
    method to_raw (line 566) | pub fn to_raw(&self) -> BigInt {
    method to_le_bytes (line 573) | pub fn to_le_bytes(&self) -> Vec<u8> {
  constant ELEMENT_BYTES (line 36) | const ELEMENT_BYTES: usize = core::mem::size_of::<Fr>();
  type BigInt (line 40) | pub struct BigInt(pub [u64; 4]);
    type Output (line 388) | type Output = BigInt;
    method shr (line 389) | fn shr(self, rhs: u32) -> BigInt {
    type Output (line 409) | type Output = BigInt;
    method shl (line 410) | fn shl(self, rhs: u32) -> BigInt {
    method from (line 495) | fn from(value: u128) -> Self {
    method from (line 504) | fn from(value: u64) -> Self {
    method from (line 511) | fn from(value: u32) -> Self {
    method from (line 518) | fn from(value: u16) -> Self {
    method from (line 525) | fn from(value: u8) -> Self {
    type Error (line 531) | type Error = ();
    method try_into (line 532) | fn try_into(self) -> Result<u64, Self::Error> {
    type Error (line 538) | type Error = ();
    method try_into (line 539) | fn try_into(self) -> Result<u16, Self::Error> {
    method to_le_bytes (line 545) | pub fn to_le_bytes(&self) -> Vec<u8> {
  type BaseElement (line 44) | pub struct BaseElement(Fr);
    constant TWO (line 94) | pub const TWO: Self = BaseElement(Fr([
    method from_raw (line 101) | pub fn from_raw(value: [u64; 4]) -> Self {
    method to_raw (line 105) | pub fn to_raw(&self) -> BigInt {
    method mul (line 232) | fn mul(a: [Self; 2], b: [Self; 2]) -> [Self; 2] {
    method mul_base (line 238) | fn mul_base(a: [Self; 2], b: Self) -> [Self; 2] {
    method frobenius (line 243) | fn frobenius(x: [Self; 2]) -> [Self; 2] {
    method mul (line 254) | fn mul(_a: [Self; 3], _b: [Self; 3]) -> [Self; 3] {
    method mul_base (line 259) | fn mul_base(_a: [Self; 3], _b: Self) -> [Self; 3] {
    method frobenius (line 264) | fn frobenius(_x: [Self; 3]) -> [Self; 3] {
    method is_supported (line 268) | fn is_supported() -> bool {
    method from (line 278) | fn from(value: u128) -> Self {
    method from (line 287) | fn from(value: u64) -> Self {
    method from (line 294) | fn from(value: u32) -> Self {
    method from (line 301) | fn from(value: u16) -> Self {
    method from (line 308) | fn from(value: u8) -> Self {
    method from (line 317) | fn from(bytes: [u64; 4]) -> Self {
    method from (line 326) | fn from(bytes: [u8; 32]) -> Self {
    type Error (line 338) | type Error = String;
    method try_from (line 343) | fn try_from(bytes: &[u8]) -> Result<Self, Self::Error> {
  type PositiveInteger (line 47) | type PositiveInteger = BigInt;
  type BaseField (line 48) | type BaseField = Self;
  constant ZERO (line 50) | const ZERO: Self = BaseElement(Fr([0, 0, 0, 0]));
  constant ONE (line 51) | const ONE: Self = BaseElement(Fr(R.0));
  constant ELEMENT_BYTES (line 53) | const ELEMENT_BYTES: usize = ELEMENT_BYTES;
  constant IS_CANONICAL (line 55) | const IS_CANONICAL: bool = true;
  method inv (line 57) | fn inv(self) -> Self {
  method conjugate (line 61) | fn conjugate(&self) -> Self {
  method elements_as_bytes (line 65) | fn elements_as_bytes(elements: &[Self]) -> &[u8] {
  method bytes_as_elements (line 71) | unsafe fn bytes_as_elements(_bytes: &[u8]) -> Result<&[Self], Deserializ...
  method zeroed_vector (line 75) | fn zeroed_vector(n: usize) -> Vec<Self> {
  method as_base_elements (line 87) | fn as_base_elements(elements: &[Self]) -> &[Self::BaseField] {
  constant MODULUS (line 116) | const MODULUS: Self::PositiveInteger = BigInt([0x1, 0x0, 0x0, 0x8000_000...
  constant MODULUS_BITS (line 117) | const MODULUS_BITS: u32 = 252;
  constant GENERATOR (line 121) | const GENERATOR: Self = BaseElement(GENERATOR);
  constant TWO_ADICITY (line 125) | const TWO_ADICITY: u32 = 192;
  constant TWO_ADIC_ROOT_OF_UNITY (line 130) | const TWO_ADIC_ROOT_OF_UNITY: Self = BaseElement(ROOT_OF_UNITY);
  method get_modulus_le_bytes (line 132) | fn get_modulus_le_bytes() -> Vec<u8> {
  method as_int (line 138) | fn as_int(&self) -> Self::PositiveInteger {
  constant VALUE_SIZE (line 144) | const VALUE_SIZE: usize = Self::ELEMENT_BYTES;
  method from_random_bytes (line 146) | fn from_random_bytes(bytes: &[u8]) -> Option<Self> {
  method fmt (line 152) | fn fmt(&self, f: &mut Formatter) -> core::fmt::Result {
  type Output (line 161) | type Output = Self;
  method add (line 163) | fn add(self, rhs: Self) -> Self {
  method add_assign (line 169) | fn add_assign(&mut self, rhs: Self) {
  type Output (line 175) | type Output = Self;
  method sub (line 177) | fn sub(self, rhs: Self) -> Self {
  method sub_assign (line 183) | fn sub_assign(&mut self, rhs: Self) {
  type Output (line 189) | type Output = Self;
  method mul (line 191) | fn mul(self, rhs: Self) -> Self {
  method mul_assign (line 197) | fn mul_assign(&mut self, rhs: Self) {
  type Output (line 203) | type Output = Self;
  method div (line 205) | fn div(self, rhs: Self) -> Self {
  method div_assign (line 211) | fn div_assign(&mut self, rhs: Self) {
  type Output (line 217) | type Output = Self;
  method neg (line 219) | fn neg(self) -> Self {
  method as_bytes (line 354) | fn as_bytes(&self) -> &[u8] {
  method write_into (line 366) | fn write_into<W: ByteWriter>(&self, target: &mut W) {
  method read_from (line 372) | fn read_from<R: ByteReader>(source: &mut R) -> Result<Self, Deserializat...
  type Output (line 395) | type Output = BigInt;
  function shr (line 396) | fn shr(self, rhs: u32) -> BigInt {
  method shr_assign (line 402) | fn shr_assign(&mut self, rhs: BigInt) {
  type Output (line 416) | type Output = BigInt;
  function shl (line 417) | fn shl(self, rhs: u32) -> BigInt {
  type Output (line 423) | type Output = Self;
  method bitand (line 424) | fn bitand(self, Self(rhs): Self) -> Self::Output {
  function shr_vartime (line 434) | fn shr_vartime(value: &BigInt, shift: usize) -> BigInt {
  function shl_vartime (line 467) | fn shl_vartime(value: &BigInt, n: usize) -> BigInt {
  method fmt (line 553) | fn fmt(&self, f: &mut Formatter) -> core::fmt::Result {
  function write_le_bytes (line 581) | fn write_le_bytes(value: [u64; 4], out: &mut [u8]) {
  function as_int (line 588) | fn as_int() {

FILE: core/src/flags/mod.rs
  constant NUM_FLAGS (line 7) | pub const NUM_FLAGS: usize = 16;
  constant POS_DST (line 9) | pub const POS_DST: usize = 0;
  constant POS_OP0 (line 11) | pub const POS_OP0: usize = 1;
  constant POS_OP1 (line 13) | pub const POS_OP1: usize = 2;
  constant POS_FLAGS (line 15) | pub const POS_FLAGS: usize = 48;
  constant DST_AP (line 18) | pub const DST_AP: u8 = 0;
  constant OP0_AP (line 21) | pub const OP0_AP: u8 = 0;
  constant OP1_DBL (line 24) | pub const OP1_DBL: u8 = 0;
  constant OP1_VAL (line 26) | pub const OP1_VAL: u8 = 1;
  constant OP1_FP (line 28) | pub const OP1_FP: u8 = 2;
  constant OP1_AP (line 30) | pub const OP1_AP: u8 = 4;
  constant RES_ONE (line 33) | pub const RES_ONE: u8 = 0;
  constant RES_ADD (line 35) | pub const RES_ADD: u8 = 1;
  constant RES_MUL (line 37) | pub const RES_MUL: u8 = 2;
  constant PC_SIZ (line 40) | pub const PC_SIZ: u8 = 0;
  constant PC_ABS (line 42) | pub const PC_ABS: u8 = 1;
  constant PC_REL (line 44) | pub const PC_REL: u8 = 2;
  constant PC_JNZ (line 46) | pub const PC_JNZ: u8 = 4;
  constant AP_Z2 (line 49) | pub const AP_Z2: u8 = 0;
  constant AP_ADD (line 51) | pub const AP_ADD: u8 = 1;
  constant AP_ONE (line 53) | pub const AP_ONE: u8 = 2;
  constant OPC_JMP_INC (line 56) | pub const OPC_JMP_INC: u8 = 0;
  constant OPC_CALL (line 58) | pub const OPC_CALL: u8 = 1;
  constant OPC_RET (line 60) | pub const OPC_RET: u8 = 2;
  constant OPC_AEQ (line 62) | pub const OPC_AEQ: u8 = 4;

FILE: core/src/inputs/mod.rs
  type ProgramInputs (line 2) | pub struct ProgramInputs {}

FILE: core/src/lib.rs
  constant FLAG_TRACE_OFFSET (line 36) | pub const FLAG_TRACE_OFFSET: usize = 0;
  constant FLAG_TRACE_WIDTH (line 37) | pub const FLAG_TRACE_WIDTH: usize = 16;
  constant FLAG_TRACE_RANGE (line 38) | pub const FLAG_TRACE_RANGE: Range<usize> = range(FLAG_TRACE_OFFSET, FLAG...
  constant RES_TRACE_OFFSET (line 40) | pub const RES_TRACE_OFFSET: usize = 16;
  constant RES_TRACE_WIDTH (line 41) | pub const RES_TRACE_WIDTH: usize = 1;
  constant RES_TRACE_RANGE (line 42) | pub const RES_TRACE_RANGE: Range<usize> = range(RES_TRACE_OFFSET, RES_TR...
  constant MEM_P_TRACE_OFFSET (line 44) | pub const MEM_P_TRACE_OFFSET: usize = 17;
  constant MEM_P_TRACE_WIDTH (line 45) | pub const MEM_P_TRACE_WIDTH: usize = 2;
  constant MEM_P_TRACE_RANGE (line 46) | pub const MEM_P_TRACE_RANGE: Range<usize> = range(MEM_P_TRACE_OFFSET, ME...
  constant MEM_A_TRACE_OFFSET (line 48) | pub const MEM_A_TRACE_OFFSET: usize = 19;
  constant MEM_A_TRACE_WIDTH (line 49) | pub const MEM_A_TRACE_WIDTH: usize = 4;
  constant MEM_A_TRACE_RANGE (line 50) | pub const MEM_A_TRACE_RANGE: Range<usize> = range(MEM_A_TRACE_OFFSET, ME...
  constant MEM_V_TRACE_OFFSET (line 52) | pub const MEM_V_TRACE_OFFSET: usize = 23;
  constant MEM_V_TRACE_WIDTH (line 53) | pub const MEM_V_TRACE_WIDTH: usize = 4;
  constant MEM_V_TRACE_RANGE (line 54) | pub const MEM_V_TRACE_RANGE: Range<usize> = range(MEM_V_TRACE_OFFSET, ME...
  constant OFF_X_TRACE_OFFSET (line 56) | pub const OFF_X_TRACE_OFFSET: usize = 27;
  constant OFF_X_TRACE_WIDTH (line 57) | pub const OFF_X_TRACE_WIDTH: usize = 3;
  constant OFF_X_TRACE_RANGE (line 58) | pub const OFF_X_TRACE_RANGE: Range<usize> = range(OFF_X_TRACE_OFFSET, OF...
  constant DERIVED_TRACE_OFFSET (line 60) | pub const DERIVED_TRACE_OFFSET: usize = 30;
  constant DERIVED_TRACE_WIDTH (line 61) | pub const DERIVED_TRACE_WIDTH: usize = 3;
  constant DERIVED_TRACE_RANGE (line 62) | pub const DERIVED_TRACE_RANGE: Range<usize> = range(DERIVED_TRACE_OFFSET...
  constant SELECTOR_TRACE_OFFSET (line 64) | pub const SELECTOR_TRACE_OFFSET: usize = 33;
  constant SELECTOR_TRACE_WIDTH (line 65) | pub const SELECTOR_TRACE_WIDTH: usize = 1;
  constant SELECTOR_TRACE_RANGE (line 66) | pub const SELECTOR_TRACE_RANGE: Range<usize> = range(SELECTOR_TRACE_OFFS...
  constant TRACE_WIDTH (line 68) | pub const TRACE_WIDTH: usize = 34;
  constant A_M_PRIME_OFFSET (line 79) | pub const A_M_PRIME_OFFSET: usize = 0;
  constant A_M_PRIME_WIDTH (line 80) | pub const A_M_PRIME_WIDTH: usize = 4;
  constant V_M_PRIME_OFFSET (line 82) | pub const V_M_PRIME_OFFSET: usize = 4;
  constant V_M_PRIME_WIDTH (line 83) | pub const V_M_PRIME_WIDTH: usize = 4;
  constant P_M_OFFSET (line 85) | pub const P_M_OFFSET: usize = 8;
  constant P_M_WIDTH (line 86) | pub const P_M_WIDTH: usize = 4;
  constant A_RC_PRIME_OFFSET (line 97) | pub const A_RC_PRIME_OFFSET: usize = 12;
  constant A_RC_PRIME_WIDTH (line 98) | pub const A_RC_PRIME_WIDTH: usize = 3;
  constant P_RC_OFFSET (line 100) | pub const P_RC_OFFSET: usize = 15;
  constant P_RC_WIDTH (line 101) | pub const P_RC_WIDTH: usize = 3;
  constant AP (line 105) | pub const AP: usize = MEM_P_TRACE_OFFSET;
  constant P_M_LAST (line 109) | pub const P_M_LAST: usize = P_M_OFFSET + P_M_WIDTH - 1;
  constant A_RC_PRIME_FIRST (line 110) | pub const A_RC_PRIME_FIRST: usize = A_RC_PRIME_OFFSET;
  constant A_RC_PRIME_LAST (line 111) | pub const A_RC_PRIME_LAST: usize = A_RC_PRIME_OFFSET + 2;
  function range (line 114) | pub const fn range(start: usize, len: usize) -> Range<usize> {
  type RegisterState (line 123) | pub struct RegisterState {
    method new (line 150) | pub fn new<T: Into<Felt>>(pc: T, ap: T, fp: T) -> Self {
  type InstructionState (line 132) | pub struct InstructionState {
    method new (line 161) | pub fn new(
  type Builtin (line 187) | pub enum Builtin {

FILE: core/src/word/helpers.rs
  type FieldHelpers (line 6) | pub trait FieldHelpers {
    method lsb (line 8) | fn lsb(self) -> u8;
    method chunk_u16 (line 11) | fn chunk_u16(self, pos: usize) -> Felt;
    method to_u64 (line 14) | fn to_u64(self) -> u64;
    method to_hex_le (line 17) | fn to_hex_le(self) -> String;
    method vec_to_field (line 20) | fn vec_to_field(vec: &[i128]) -> Vec<Felt>;
    method to_bits (line 23) | fn to_bits(self) -> Vec<bool>;
    method lsb (line 27) | fn lsb(self) -> u8 {
    method chunk_u16 (line 32) | fn chunk_u16(self, pos: usize) -> Felt {
    method to_u64 (line 39) | fn to_u64(self) -> u64 {
    method to_hex_le (line 49) | fn to_hex_le(self) -> String {
    method vec_to_field (line 55) | fn vec_to_field(vec: &[i128]) -> Vec<Felt> {
    method to_bits (line 67) | fn to_bits(self) -> Vec<bool> {
  function test_field_to_bits (line 86) | fn test_field_to_bits() {
  function test_field_to_chunks (line 93) | fn test_field_to_chunks() {

FILE: core/src/word/mod.rs
  type Word (line 11) | pub struct Word(Felt);
    method new (line 20) | pub fn new(word: Felt) -> Word {
    method word (line 25) | pub fn word(&self) -> Felt {
    method off_dst (line 154) | fn off_dst(&self) -> Felt {
    method off_op0 (line 159) | fn off_op0(&self) -> Felt {
    method off_op1 (line 164) | fn off_op1(&self) -> Felt {
    method flags (line 171) | fn flags(&self) -> Vec<Felt> {
    method flag_at (line 180) | fn flag_at(&self, pos: usize) -> Felt {
    method dst_reg (line 186) | fn dst_reg(&self) -> u8 {
    method op0_reg (line 191) | fn op0_reg(&self) -> u8 {
    method op1_src (line 196) | fn op1_src(&self) -> u8 {
    method res_log (line 201) | fn res_log(&self) -> u8 {
    method pc_up (line 206) | fn pc_up(&self) -> u8 {
    method ap_up (line 211) | fn ap_up(&self) -> u8 {
    method opcode (line 216) | fn opcode(&self) -> u8 {
  function bias (line 14) | pub fn bias<E: FieldElement>(offset: E) -> E {
  type OffsetDecomposition (line 30) | pub trait OffsetDecomposition<F> {
    method off_dst (line 32) | fn off_dst(&self) -> F;
    method off_op0 (line 35) | fn off_op0(&self) -> F;
    method off_op1 (line 38) | fn off_op1(&self) -> F;
  type FlagDecomposition (line 42) | pub trait FlagDecomposition<F> {
    method flags (line 44) | fn flags(&self) -> Vec<F>;
    method flag_at (line 47) | fn flag_at(&self, pos: usize) -> F;
    method f_dst_fp (line 50) | fn f_dst_fp(&self) -> F {
    method f_op0_fp (line 55) | fn f_op0_fp(&self) -> F {
    method f_op1_val (line 60) | fn f_op1_val(&self) -> F {
    method f_op1_fp (line 65) | fn f_op1_fp(&self) -> F {
    method f_op1_ap (line 70) | fn f_op1_ap(&self) -> F {
    method f_res_add (line 75) | fn f_res_add(&self) -> F {
    method f_res_mul (line 80) | fn f_res_mul(&self) -> F {
    method f_pc_abs (line 85) | fn f_pc_abs(&self) -> F {
    method f_pc_rel (line 90) | fn f_pc_rel(&self) -> F {
    method f_pc_jnz (line 95) | fn f_pc_jnz(&self) -> F {
    method f_ap_add (line 100) | fn f_ap_add(&self) -> F {
    method f_ap_one (line 105) | fn f_ap_one(&self) -> F {
    method f_opc_call (line 110) | fn f_opc_call(&self) -> F {
    method f_opc_ret (line 115) | fn f_opc_ret(&self) -> F {
    method f_opc_aeq (line 120) | fn f_opc_aeq(&self) -> F {
    method f15 (line 125) | fn f15(&self) -> F {
  type FlagGroupDecomposition (line 130) | pub trait FlagGroupDecomposition<F> {
    method dst_reg (line 132) | fn dst_reg(&self) -> u8;
    method op0_reg (line 135) | fn op0_reg(&self) -> u8;
    method op1_src (line 138) | fn op1_src(&self) -> u8;
    method res_log (line 141) | fn res_log(&self) -> u8;
    method pc_up (line 144) | fn pc_up(&self) -> u8;
    method ap_up (line 147) | fn ap_up(&self) -> u8;
    method opcode (line 150) | fn opcode(&self) -> u8;
  function test_biased (line 227) | fn test_biased() {

FILE: examples/src/main.rs
  function main (line 5) | fn main() {

FILE: prover/src/lib.rs
  function prove_trace (line 17) | pub fn prove_trace(
  type ExecutionProver (line 30) | pub struct ExecutionProver {
    method new (line 35) | pub fn new(options: ProofOptions) -> Self {
  type BaseField (line 41) | type BaseField = Felt;
  type Air (line 42) | type Air = ProcessorAir;
  type Trace (line 43) | type Trace = ExecutionTrace;
  method options (line 45) | fn options(&self) -> &prover::ProofOptions {
  method get_pub_inputs (line 49) | fn get_pub_inputs(&self, trace: &ExecutionTrace) -> PublicInputs {

FILE: runner/src/cairo_interop.rs
  type CompiledProgram (line 15) | struct CompiledProgram {
  function read_trace_bin (line 23) | pub fn read_trace_bin(path: &PathBuf) -> Vec<RegisterState> {
  function read_memory_bin (line 54) | pub fn read_memory_bin(mem_path: &PathBuf, program_path: &PathBuf) -> Me...
  function read_builtins (line 86) | pub fn read_builtins(program_path: &PathBuf, output_len: Option<u64>) ->...
  function print_registers (line 102) | fn print_registers(reg: &[RegisterState]) {
  function print_memory (line 108) | fn print_memory(mem: &Memory) {
  function test_trace_bin (line 123) | fn test_trace_bin() {
  function test_memory_bin (line 129) | fn test_memory_bin() {

FILE: runner/src/errors.rs
  type ExecutionError (line 4) | pub enum ExecutionError {

FILE: runner/src/hints.rs
  type HintManager (line 13) | pub struct HintManager {
    method push_hint (line 18) | pub fn push_hint(&mut self, pc: u64, hint: Hint) {
    method get_hints (line 21) | pub fn get_hints(&self, pc: Felt) -> Option<&Vec<Hint>> {
  type Hint (line 28) | pub struct Hint {
    method new (line 35) | pub fn new(
    method exec (line 75) | pub fn exec(&self, step: &Step) -> PyResult<ExecutionEffect> {
  type FlowTrackingData (line 49) | pub struct FlowTrackingData {
  type ApTracking (line 55) | pub struct ApTracking {
  type MemoryUpdate (line 61) | pub struct MemoryUpdate(pub Vec<(u64, Word)>);
    method extract (line 121) | fn extract(dict: &PyAny) -> PyResult<Self> {
  type ExecutionEffect (line 65) | pub struct ExecutionEffect {
    method from_locals (line 102) | fn from_locals(locals: &PyDict) -> PyResult<ExecutionEffect> {
  method to_object (line 134) | fn to_object(&self, py: Python) -> PyObject {
  function test_hint_execution (line 146) | fn test_hint_execution() {

FILE: runner/src/memory.rs
  type Memory (line 12) | pub struct Memory {
    type Output (line 20) | type Output = Option<Word>;
    method index (line 21) | fn index(&self, idx: Felt) -> &Self::Output {
    method index_mut (line 28) | fn index_mut(&mut self, idx: Felt) -> &mut Self::Output {
    method new (line 53) | pub fn new(input: Vec<Felt>) -> Memory {
    method get_codelen (line 64) | pub fn get_codelen(&self) -> usize {
    method set_codelen (line 69) | pub fn set_codelen(&mut self, len: usize) {
    method size (line 74) | pub fn size(&self) -> u64 {
    method resize (line 79) | fn resize(&mut self, addr: u64) {
    method write (line 86) | pub fn write(&mut self, addr: Felt, elem: Felt) {
    method write_pub (line 91) | pub fn write_pub(&mut self, addr: Felt, elem: Felt) {
    method read (line 97) | pub fn read(&self, addr: Felt) -> Option<Felt> {
    method get_holes (line 105) | pub fn get_holes(&self, vec: Vec<Felt>) -> Vec<Felt> {
  method fmt (line 36) | fn fmt(&self, f: &mut Formatter<'_>) -> Result {
  function test_cairo_bytecode (line 134) | fn test_cairo_bytecode() {

FILE: runner/src/runner.rs
  type Step (line 12) | pub struct Step<'a> {
  function new (line 22) | pub fn new(mem: &'a Memory, ptrs: RegisterState) -> Step<'a> {
  function execute (line 31) | pub fn execute(&mut self, write: bool) -> InstructionState {
  function set_hint_manager (line 75) | fn set_hint_manager(&mut self, hints: &'a HintManager) {
  function execute_hints (line 80) | fn execute_hints(&mut self) {
  function apply_hint_effects (line 90) | fn apply_hint_effects(&mut self, res: HintExecutionEffect) {
  function inst (line 102) | fn inst(&mut self) -> Word {
  function set_op0 (line 108) | fn set_op0(&mut self) -> (Felt, Option<Felt>) {
  function set_op1 (line 122) | fn set_op1(&mut self, op0: Option<Felt>) -> (Felt, Option<Felt>, Felt) {
  function set_res (line 142) | fn set_res(&mut self, op0: Option<Felt>, op1: Option<Felt>, dst: Option<...
  function set_dst (line 194) | fn set_dst(&mut self) -> (Felt, Option<Felt>) {
  function next_pc (line 208) | fn next_pc(
  function next_apfp (line 243) | fn next_apfp(
  type State (line 360) | pub struct State {
    method new (line 370) | pub fn new(init_trace_len: usize) -> Self {
    method set_register_state (line 411) | pub fn set_register_state(&mut self, step: usize, s: RegisterState) {
    method set_instruction_state (line 417) | pub fn set_instruction_state(&mut self, step: usize, s: InstructionSta...
  type Program (line 448) | pub struct Program<'a> {
  function new (line 467) | pub fn new(mem: &mut Memory, pc: u64, ap: u64, hints: Option<HintManager...
  function new (line 479) | pub fn new(mem: &mut Memory, pc: u64, ap: u64) -> Program {
  function get_steps (line 490) | pub fn get_steps(&self) -> usize {
  function get_final (line 495) | pub fn get_final(&self) -> RegisterState {
  function execute (line 501) | pub fn execute(&mut self) -> Result<ExecutionTrace, ExecutionError> {

FILE: runner/src/trace.rs
  type ExecutionTrace (line 17) | pub struct ExecutionTrace {
    method new (line 101) | pub(super) fn new(
    method from_file (line 217) | pub fn from_file(
    method get_program_mem (line 247) | pub fn get_program_mem(&self) -> (Vec<u64>, Vec<Option<Word>>) {
    method get_output_mem (line 254) | pub fn get_output_mem(&self) -> (Vec<u64>, Vec<Option<Word>>) {
    method get_public_mem (line 274) | pub fn get_public_mem(&self) -> (Vec<u64>, Vec<Option<Word>>) {
  type VirtualColumn (line 29) | struct VirtualColumn<'a, E: FieldElement> {
  function new (line 34) | fn new(subcols: &'a [Vec<E>]) -> Self {
  function to_column (line 40) | fn to_column(&self) -> Vec<E> {
  function to_columns (line 52) | fn to_columns(&self, num_rows: &[usize]) -> Vec<Vec<E>> {
  type Layouter (line 65) | struct Layouter<'a, E: FieldElement> {
  function new (line 71) | fn new(columns: &'a mut Vec<Vec<E>>, frame_len: usize) -> Self {
  function add_columns (line 78) | fn add_columns(&mut self, subcols: &[Vec<E>], chunk_size: Option<usize>) {
  function resize_all (line 94) | fn resize_all(&mut self) {
  type BaseField (line 284) | type BaseField = Felt;
  method layout (line 286) | fn layout(&self) -> &TraceLayout {
  method length (line 290) | fn length(&self) -> usize {
  method meta (line 294) | fn meta(&self) -> &[u8] {
  method main_segment (line 298) | fn main_segment(&self) -> &Matrix<Felt> {
  method build_aux_segment (line 302) | fn build_aux_segment<E>(
  function build_aux_segment_mem (line 319) | fn build_aux_segment_mem<E>(trace: &ExecutionTrace, rand_elements: &[E])...
  function build_aux_segment_rc (line 385) | fn build_aux_segment_rc<E>(trace: &ExecutionTrace, rand_elements: &[E]) ...
  function resize_to_pow2 (line 423) | fn resize_to_pow2<E: FieldElement>(columns: &mut [Vec<E>]) {

FILE: wasm/src/lib.rs
  function log (line 12) | fn log(s: &str);
  function verify (line 16) | pub fn verify(buffer: &Uint8Array) {
  type ProofData (line 31) | struct ProofData {