SYMBOL INDEX (543 symbols across 79 files)

FILE: backwards/backward.py
  class CircuitConfig (line 11) | class CircuitConfig():
    method __init__ (line 12) | def __init__(self, starting_index):
    method new_gradient_tensor (line 19) | def new_gradient_tensor(self, tensor_idx):
    method new_tensor (line 27) | def new_tensor(self):
    method new_label_tensor (line 32) | def new_label_tensor(self):
    method gradient_tensor_idx (line 40) | def gradient_tensor_idx(self, tensor_idx):
  class Conv2D (line 52) | class Conv2D():
    method __init__ (line 53) | def __init__(self, layer):
    method backward (line 60) | def backward(self, layer, transcript, config):
  class Softmax (line 193) | class Softmax():
    method __init__ (line 194) | def __init__(self, layer):
    method backward (line 199) | def backward(self, layer, transcript, config):
  class AveragePool2D (line 212) | class AveragePool2D():
    method __init__ (line 213) | def __init__(self, layer):
    method backward (line 216) | def backward(self, layer, transcript, config):
  class Reshape (line 248) | class Reshape():
    method __init__ (line 249) | def __init__(self, layer):
    method backward (line 252) | def backward(self, layer, transcript, config):
  function produce_graph (line 265) | def produce_graph():

FILE: python/converter.py
  function get_shape (line 9) | def get_shape(interpreter: tf.lite.Interpreter, tensor_idx):
  function handle_numpy_or_literal (line 15) | def handle_numpy_or_literal(inp: Union[np.ndarray, Literal[0]]):
  function get_inputs (line 20) | def get_inputs(op: tflite.Operator):
  class Converter (line 26) | class Converter:
    method __init__ (line 27) | def __init__(
    method valid_activations (line 52) | def valid_activations(self):
    method _convert_add (line 59) | def _convert_add(self, op: tflite.Operator, generated_tensors: set):
    method to_dict (line 98) | def to_dict(self, start_layer, end_layer):
    method to_msgpack (line 500) | def to_msgpack(self, start_layer, end_layer, use_selectors=True):
  function main (line 508) | def main():

FILE: python/input_converter.py
  function main (line 6) | def main():

FILE: python/training_converter.py
  function main (line 18) | def main():

FILE: src/bin/test_circuit.rs
  function main (line 10) | fn main() {

FILE: src/bin/time_circuit.rs
  function main (line 7) | fn main() {

FILE: src/bin/verify_circuit.rs
  function main (line 7) | fn main() {

FILE: src/bin/verify_wav.rs
  function main (line 12) | fn main() {

FILE: src/commitments/commit.rs
  type Commit (line 7) | pub trait Commit<F: PrimeField> {
    method commit (line 8) | fn commit(

FILE: src/commitments/packer.rs
  constant NUM_BITS_PER_FIELD_ELEM (line 21) | const NUM_BITS_PER_FIELD_ELEM: usize = 254;
  type PackerConfig (line 23) | pub struct PackerConfig<F: PrimeField> {
  type PackerChip (line 31) | pub struct PackerChip<F: PrimeField> {
  function get_exponents (line 36) | pub fn get_exponents(num_bits_per_elem: usize, num_exponents: usize) -> ...
  function construct (line 45) | pub fn construct(num_bits_per_elem: usize, gadget_config: &GadgetConfig)...
  function configure (line 77) | pub fn configure(
  function copy_and_pack_row (line 142) | pub fn copy_and_pack_row(
  function assign_and_pack_row (line 213) | pub fn assign_and_pack_row(
  function assign_and_pack (line 292) | pub fn assign_and_pack(
  function copy_and_pack (line 339) | pub fn copy_and_pack(

FILE: src/commitments/poseidon_commit.rs
  constant WIDTH (line 17) | pub const WIDTH: usize = 3;
  constant RATE (line 18) | pub const RATE: usize = 2;
  constant L (line 19) | pub const L: usize = 8 - WIDTH - 1;
  type PoseidonCommitChip (line 23) | pub struct PoseidonCommitChip<
  type P128Pow5T3Gen (line 33) | pub struct P128Pow5T3Gen<F: PrimeField, const SECURE_MDS: usize>(Phantom...
  function new (line 36) | pub fn new() -> Self {
  function full_rounds (line 44) | fn full_rounds() -> usize {
  function partial_rounds (line 48) | fn partial_rounds() -> usize {
  function sbox (line 52) | fn sbox(val: F) -> F {
  function secure_mds (line 56) | fn secure_mds() -> usize {
  function constants (line 60) | fn constants() -> (Vec<[F; 3]>, Mds<F, 3>, Mds<F, 3>) {
  type MyHash (line 67) | pub struct MyHash<
  function configure (line 79) | pub fn configure(
  function commit (line 106) | fn commit(

FILE: src/gadgets/add_pairs.rs
  type AddPairsConfig (line 12) | type AddPairsConfig = GadgetConfig;
  type AddPairsChip (line 14) | pub struct AddPairsChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<AddPairsConfig>) -> Self {
  function num_cols_per_op (line 27) | pub fn num_cols_per_op() -> usize {
  function configure (line 31) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 63) | fn name(&self) -> String {
  function num_cols_per_op (line 67) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 71) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 75) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 79) | fn op_row_region(
  function forward (line 110) | fn forward(

FILE: src/gadgets/adder.rs
  type AdderConfig (line 12) | type AdderConfig = GadgetConfig;
  type AdderChip (line 14) | pub struct AdderChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<AdderConfig>) -> Self {
  function configure (line 27) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 59) | fn name(&self) -> String {
  function num_cols_per_op (line 63) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 67) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 71) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 75) | fn op_row_region(
  function forward (line 109) | fn forward(

FILE: src/gadgets/bias_div_floor_relu6.rs
  type BiasDivFloorRelu6Config (line 14) | type BiasDivFloorRelu6Config = GadgetConfig;
  constant SHIFT_MIN_VAL (line 16) | const SHIFT_MIN_VAL: i64 = -(1 << 30);
  type BiasDivFloorRelu6Chip (line 18) | pub struct BiasDivFloorRelu6Chip<F: PrimeField> {
  function construct (line 24) | pub fn construct(config: BiasDivFloorRelu6Config) -> Self {
  function get_map (line 31) | pub fn get_map(scale_factor: u64, num_rows: i64, div_outp_min_val: i64) ...
  function num_cols_per_op (line 44) | pub fn num_cols_per_op() -> usize {
  function configure (line 48) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 125) | fn name(&self) -> String {
  function num_cols_per_op (line 129) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 133) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 137) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 141) | fn op_row_region(
  function forward (line 251) | fn forward(

FILE: src/gadgets/bias_div_round_relu6.rs
  type BiasDivRoundRelu6Config (line 14) | type BiasDivRoundRelu6Config = GadgetConfig;
  constant NUM_COLS_PER_OP (line 16) | const NUM_COLS_PER_OP: usize = 5;
  type BiasDivRoundRelu6Chip (line 18) | pub struct BiasDivRoundRelu6Chip<F: PrimeField> {
  function construct (line 24) | pub fn construct(config: Rc<BiasDivRoundRelu6Config>) -> Self {
  function get_map (line 31) | pub fn get_map(scale_factor: u64, min_val: i64, num_rows: i64) -> HashMa...
  function configure (line 43) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 124) | fn name(&self) -> String {
  function num_cols_per_op (line 128) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 132) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 136) | fn num_outputs_per_row(&self) -> usize {
  function load_lookups (line 140) | fn load_lookups(&self, mut layouter: impl Layouter<F>) -> Result<(), Err...
  function op_row_region (line 169) | fn op_row_region(
  function forward (line 281) | fn forward(

FILE: src/gadgets/dot_prod.rs
  type DotProductConfig (line 14) | type DotProductConfig = GadgetConfig;
  type DotProductChip (line 16) | pub struct DotProductChip<F: PrimeField> {
  function construct (line 22) | pub fn construct(config: Rc<DotProductConfig>) -> Self {
  function get_input_columns (line 29) | pub fn get_input_columns(config: &GadgetConfig) -> Vec<Column<Advice>> {
  function get_weight_columns (line 34) | pub fn get_weight_columns(config: &GadgetConfig) -> Vec<Column<Advice>> {
  function configure (line 39) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 76) | fn name(&self) -> String {
  function num_cols_per_op (line 80) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 84) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 88) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 93) | fn op_row_region(
  function forward (line 161) | fn forward(

FILE: src/gadgets/gadget.rs
  type GadgetType (line 15) | pub enum GadgetType {
  type GadgetConfig (line 43) | pub struct GadgetConfig {
  function convert_to_u64 (line 66) | pub fn convert_to_u64<F: PrimeField>(x: &F) -> u64 {
  function convert_to_u128 (line 81) | pub fn convert_to_u128<F: PrimeField>(x: &F) -> u128 {
  type Gadget (line 86) | pub trait Gadget<F: PrimeField> {
    method name (line 87) | fn name(&self) -> String;
    method num_cols_per_op (line 89) | fn num_cols_per_op(&self) -> usize;
    method num_inputs_per_row (line 91) | fn num_inputs_per_row(&self) -> usize;
    method num_outputs_per_row (line 93) | fn num_outputs_per_row(&self) -> usize;
    method load_lookups (line 95) | fn load_lookups(&self, _layouter: impl Layouter<F>) -> Result<(), Erro...
    method op_row_region (line 99) | fn op_row_region(
    method op_aligned_rows (line 108) | fn op_aligned_rows(
    method forward (line 141) | fn forward(

FILE: src/gadgets/input_lookup.rs
  type InputLookupChip (line 11) | pub struct InputLookupChip<F: PrimeField> {
  function construct (line 17) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function configure (line 24) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function load_lookups (line 37) | fn load_lookups(&self, mut layouter: impl Layouter<F>) -> Result<(), Err...
  function name (line 62) | fn name(&self) -> String {
  function num_cols_per_op (line 66) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 70) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 74) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 78) | fn op_row_region(

FILE: src/gadgets/max.rs
  type MaxChip (line 14) | pub struct MaxChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function num_cols_per_op (line 27) | pub fn num_cols_per_op() -> usize {
  function configure (line 31) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 84) | fn name(&self) -> String {
  function num_cols_per_op (line 88) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 92) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 96) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 100) | fn op_row_region(
  function forward (line 148) | fn forward(

FILE: src/gadgets/mul_pairs.rs
  type MulPairsConfig (line 12) | type MulPairsConfig = GadgetConfig;
  type MulPairsChip (line 14) | pub struct MulPairsChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<MulPairsConfig>) -> Self {
  function num_cols_per_op (line 27) | pub fn num_cols_per_op() -> usize {
  function configure (line 31) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 63) | fn name(&self) -> String {
  function num_cols_per_op (line 67) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 71) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 75) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 80) | fn op_row_region(
  function forward (line 111) | fn forward(

FILE: src/gadgets/nonlinear/exp.rs
  type ExpGadgetConfig (line 14) | type ExpGadgetConfig = GadgetConfig;
  type ExpGadgetChip (line 17) | pub struct ExpGadgetChip<F: PrimeField> {
  function construct (line 23) | pub fn construct(config: Rc<ExpGadgetConfig>) -> Self {
  function configure (line 30) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function generate_map (line 36) | fn generate_map(scale_factor: u64, min_val: i64, num_rows: i64) -> HashM...
  function get_map (line 48) | fn get_map(&self) -> &HashMap<i64, i64> {
  function get_selector (line 52) | fn get_selector(&self) -> halo2_proofs::plonk::Selector {
  function name (line 58) | fn name(&self) -> String {
  function num_cols_per_op (line 62) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 66) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 70) | fn num_outputs_per_row(&self) -> usize {
  function load_lookups (line 74) | fn load_lookups(&self, layouter: impl Layouter<F>) -> Result<(), Error> {
  function op_row_region (line 79) | fn op_row_region(
  function forward (line 96) | fn forward(

FILE: src/gadgets/nonlinear/logistic.rs
  type LogisticGadgetChip (line 14) | pub struct LogisticGadgetChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function configure (line 27) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function generate_map (line 37) | fn generate_map(scale_factor: u64, min_val: i64, num_rows: i64) -> HashM...
  function get_map (line 50) | fn get_map(&self) -> &HashMap<i64, i64> {
  function get_selector (line 54) | fn get_selector(&self) -> halo2_proofs::plonk::Selector {
  function name (line 60) | fn name(&self) -> String {
  function num_cols_per_op (line 64) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 68) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 72) | fn num_outputs_per_row(&self) -> usize {
  function load_lookups (line 76) | fn load_lookups(&self, layouter: impl Layouter<F>) -> Result<(), Error> {
  function op_row_region (line 81) | fn op_row_region(
  function forward (line 98) | fn forward(

FILE: src/gadgets/nonlinear/non_linearity.rs
  constant NUM_COLS_PER_OP (line 15) | const NUM_COLS_PER_OP: usize = 2;
  type NonLinearGadget (line 17) | pub trait NonLinearGadget<F: PrimeField>: Gadget<F> {
    method generate_map (line 18) | fn generate_map(scale_factor: u64, min_val: i64, num_rows: i64) -> Has...
    method get_map (line 20) | fn get_map(&self) -> &HashMap<i64, i64>;
    method get_selector (line 22) | fn get_selector(&self) -> Selector;
    method num_cols_per_op (line 24) | fn num_cols_per_op() -> usize {
    method configure (line 28) | fn configure(
    method load_lookups (line 78) | fn load_lookups(
    method op_row_region (line 119) | fn op_row_region(
    method forward (line 167) | fn forward(

FILE: src/gadgets/nonlinear/pow.rs
  type PowGadgetChip (line 15) | pub struct PowGadgetChip<F: PrimeField> {
  function construct (line 21) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function configure (line 28) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function generate_map (line 34) | fn generate_map(scale_factor: u64, min_val: i64, num_rows: i64) -> HashM...
  function get_map (line 49) | fn get_map(&self) -> &HashMap<i64, i64> {
  function get_selector (line 53) | fn get_selector(&self) -> halo2_proofs::plonk::Selector {
  function name (line 59) | fn name(&self) -> String {
  function num_cols_per_op (line 63) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 67) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 71) | fn num_outputs_per_row(&self) -> usize {
  function load_lookups (line 75) | fn load_lookups(&self, layouter: impl Layouter<F>) -> Result<(), Error> {
  function op_row_region (line 80) | fn op_row_region(
  function forward (line 97) | fn forward(

FILE: src/gadgets/nonlinear/relu.rs
  type ReluChip (line 14) | pub struct ReluChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function configure (line 27) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function generate_map (line 33) | fn generate_map(_scale_factor: u64, min_val: i64, num_rows: i64) -> Hash...
  function get_map (line 44) | fn get_map(&self) -> &HashMap<i64, i64> {
  function get_selector (line 48) | fn get_selector(&self) -> halo2_proofs::plonk::Selector {
  function name (line 54) | fn name(&self) -> String {
  function num_cols_per_op (line 58) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 62) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 66) | fn num_outputs_per_row(&self) -> usize {
  function load_lookups (line 70) | fn load_lookups(&self, layouter: impl Layouter<F>) -> Result<(), Error> {
  function op_row_region (line 75) | fn op_row_region(
  function forward (line 92) | fn forward(

FILE: src/gadgets/nonlinear/rsqrt.rs
  type RsqrtGadgetChip (line 14) | pub struct RsqrtGadgetChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function configure (line 27) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function generate_map (line 33) | fn generate_map(scale_factor: u64, min_val: i64, num_rows: i64) -> HashM...
  function get_map (line 46) | fn get_map(&self) -> &HashMap<i64, i64> {
  function get_selector (line 50) | fn get_selector(&self) -> halo2_proofs::plonk::Selector {
  function name (line 56) | fn name(&self) -> String {
  function num_cols_per_op (line 60) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 64) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 68) | fn num_outputs_per_row(&self) -> usize {
  function load_lookups (line 72) | fn load_lookups(&self, layouter: impl Layouter<F>) -> Result<(), Error> {
  function op_row_region (line 77) | fn op_row_region(
  function forward (line 94) | fn forward(

FILE: src/gadgets/nonlinear/sqrt.rs
  type SqrtGadgetChip (line 14) | pub struct SqrtGadgetChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function configure (line 27) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function generate_map (line 33) | fn generate_map(scale_factor: u64, min_val: i64, num_rows: i64) -> HashM...
  function get_map (line 45) | fn get_map(&self) -> &HashMap<i64, i64> {
  function get_selector (line 49) | fn get_selector(&self) -> halo2_proofs::plonk::Selector {
  function name (line 55) | fn name(&self) -> String {
  function num_cols_per_op (line 59) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 63) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 67) | fn num_outputs_per_row(&self) -> usize {
  function load_lookups (line 71) | fn load_lookups(&self, layouter: impl Layouter<F>) -> Result<(), Error> {
  function op_row_region (line 76) | fn op_row_region(
  function forward (line 93) | fn forward(

FILE: src/gadgets/nonlinear/tanh.rs
  type TanhGadgetChip (line 14) | pub struct TanhGadgetChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function configure (line 27) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function generate_map (line 33) | fn generate_map(scale_factor: u64, min_val: i64, num_rows: i64) -> HashM...
  function get_map (line 48) | fn get_map(&self) -> &HashMap<i64, i64> {
  function get_selector (line 52) | fn get_selector(&self) -> halo2_proofs::plonk::Selector {
  function name (line 58) | fn name(&self) -> String {
  function num_cols_per_op (line 62) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 66) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 70) | fn num_outputs_per_row(&self) -> usize {
  function load_lookups (line 74) | fn load_lookups(&self, layouter: impl Layouter<F>) -> Result<(), Error> {
  function op_row_region (line 79) | fn op_row_region(
  function forward (line 96) | fn forward(

FILE: src/gadgets/sqrt_big.rs
  type SqrtBigConfig (line 14) | type SqrtBigConfig = GadgetConfig;
  type SqrtBigChip (line 16) | pub struct SqrtBigChip<F: PrimeField> {
  function construct (line 22) | pub fn construct(config: Rc<SqrtBigConfig>) -> Self {
  function num_cols_per_op (line 29) | pub fn num_cols_per_op() -> usize {
  function configure (line 33) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 99) | fn name(&self) -> String {
  function num_cols_per_op (line 103) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 107) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 111) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 115) | fn op_row_region(
  function forward (line 171) | fn forward(

FILE: src/gadgets/square.rs
  type SquareGadgetChip (line 12) | pub struct SquareGadgetChip<F: PrimeField> {
  function construct (line 18) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function configure (line 26) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 52) | fn name(&self) -> String {
  function num_cols_per_op (line 56) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 60) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 64) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 68) | fn op_row_region(
  function forward (line 100) | fn forward(

FILE: src/gadgets/squared_diff.rs
  type SquaredDiffConfig (line 12) | type SquaredDiffConfig = GadgetConfig;
  type SquaredDiffGadgetChip (line 14) | pub struct SquaredDiffGadgetChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<SquaredDiffConfig>) -> Self {
  function num_cols_per_op (line 27) | pub fn num_cols_per_op() -> usize {
  function configure (line 31) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 63) | fn name(&self) -> String {
  function num_cols_per_op (line 67) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 71) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 75) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 79) | fn op_row_region(
  function forward (line 111) | fn forward(

FILE: src/gadgets/sub_pairs.rs
  type SubPairsConfig (line 12) | type SubPairsConfig = GadgetConfig;
  type SubPairsChip (line 14) | pub struct SubPairsChip<F: PrimeField> {
  function construct (line 20) | pub fn construct(config: Rc<SubPairsConfig>) -> Self {
  function num_cols_per_op (line 27) | pub fn num_cols_per_op() -> usize {
  function configure (line 31) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 63) | fn name(&self) -> String {
  function num_cols_per_op (line 67) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 71) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 75) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 79) | fn op_row_region(
  function forward (line 110) | fn forward(

FILE: src/gadgets/update.rs
  type UpdateConfig (line 14) | type UpdateConfig = GadgetConfig;
  type UpdateGadgetChip (line 17) | pub struct UpdateGadgetChip<F: PrimeField> {
  function construct (line 23) | pub fn construct(config: UpdateConfig) -> Self {
  function num_cols_per_op (line 30) | pub fn num_cols_per_op() -> usize {
  function configure (line 34) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 89) | fn name(&self) -> String {
  function num_cols_per_op (line 93) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 97) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 101) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 105) | fn op_row_region(
  function forward (line 183) | fn forward(

FILE: src/gadgets/var_div.rs
  type VarDivRoundConfig (line 13) | type VarDivRoundConfig = GadgetConfig;
  type VarDivRoundChip (line 15) | pub struct VarDivRoundChip<F: PrimeField> {
  function construct (line 21) | pub fn construct(config: Rc<VarDivRoundConfig>) -> Self {
  function num_cols_per_op (line 28) | pub fn num_cols_per_op() -> usize {
  function configure (line 32) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 102) | fn name(&self) -> String {
  function num_cols_per_op (line 106) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 110) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 114) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 118) | fn op_row_region(
  function forward (line 192) | fn forward(

FILE: src/gadgets/var_div_big.rs
  type VarDivRoundBigChip (line 13) | pub struct VarDivRoundBigChip<F: PrimeField> {
  function construct (line 19) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function num_cols_per_op (line 26) | pub fn num_cols_per_op() -> usize {
  function configure (line 30) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 117) | fn name(&self) -> String {
  function num_cols_per_op (line 121) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 125) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 129) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 133) | fn op_row_region(
  function forward (line 256) | fn forward(

FILE: src/gadgets/var_div_big3.rs
  type VarDivRoundBig3Chip (line 13) | pub struct VarDivRoundBig3Chip<F: PrimeField> {
  function construct (line 19) | pub fn construct(config: Rc<GadgetConfig>) -> Self {
  function num_cols_per_op (line 26) | pub fn num_cols_per_op() -> usize {
  function configure (line 30) | pub fn configure(meta: &mut ConstraintSystem<F>, gadget_config: GadgetCo...
  function name (line 130) | fn name(&self) -> String {
  function num_cols_per_op (line 134) | fn num_cols_per_op(&self) -> usize {
  function num_inputs_per_row (line 138) | fn num_inputs_per_row(&self) -> usize {
  function num_outputs_per_row (line 142) | fn num_outputs_per_row(&self) -> usize {
  function op_row_region (line 146) | fn op_row_region(
  function forward (line 280) | fn forward(

FILE: src/layers/arithmetic.rs
  type Arithmetic (line 18) | pub trait Arithmetic<F: PrimeField> {
    method gadget_forward (line 19) | fn gadget_forward(
    method arithmetic_forward (line 27) | fn arithmetic_forward(

FILE: src/layers/arithmetic/add.rs
  type AddChip (line 25) | pub struct AddChip {}
    method get_activation (line 28) | fn get_activation(&self, layer_params: &Vec<i64>) -> ActivationType {
    method gadget_forward (line 39) | fn gadget_forward(
    method forward (line 53) | fn forward(
  method used_gadgets (line 95) | fn used_gadgets(&self, layer_params: Vec<i64>) -> Vec<crate::gadgets::ga...

FILE: src/layers/arithmetic/div_var.rs
  type DivVarChip (line 21) | pub struct DivVarChip {}
    method gadget_forward (line 25) | fn gadget_forward(
    method forward (line 44) | fn forward(
  method used_gadgets (line 86) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/arithmetic/mul.rs
  type MulChip (line 25) | pub struct MulChip {}
    method gadget_forward (line 28) | fn gadget_forward(
    method forward (line 48) | fn forward(
  method used_gadgets (line 80) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/arithmetic/sub.rs
  type SubChip (line 24) | pub struct SubChip {}
    method gadget_forward (line 27) | fn gadget_forward(
    method forward (line 41) | fn forward(
  method used_gadgets (line 62) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/averager.rs
  type Averager (line 14) | pub trait Averager<F: PrimeField> {
    method splat (line 15) | fn splat(&self, input: &AssignedTensor<F>, layer_config: &LayerConfig)...
    method get_div_val (line 17) | fn get_div_val(
    method avg_forward (line 25) | fn avg_forward(

FILE: src/layers/avg_pool_2d.rs
  type AvgPool2DChip (line 20) | pub struct AvgPool2DChip {}
    method splat (line 23) | fn splat(&self, input: &AssignedTensor<F>, layer_config: &LayerConfig)...
    method get_div_val (line 32) | fn get_div_val(
    method forward (line 64) | fn forward(
  method used_gadgets (line 88) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/batch_mat_mul.rs
  type BatchMatMulChip (line 16) | pub struct BatchMatMulChip {}
    method forward (line 19) | fn forward(
  method used_gadgets (line 87) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/conv2d.rs
  type PaddingEnum (line 28) | pub enum PaddingEnum {
  type ConvLayerEnum (line 35) | pub enum ConvLayerEnum {
  type Conv2DConfig (line 41) | pub struct Conv2DConfig {
  type Conv2DChip (line 48) | pub struct Conv2DChip<F: PrimeField> {
  function param_vec_to_config (line 55) | pub fn param_vec_to_config(layer_params: Vec<i64>) -> Conv2DConfig {
  function get_padding (line 81) | pub fn get_padding(
  function out_hw (line 102) | pub fn out_hw(
  function splat (line 126) | pub fn splat<G: Clone>(
  function splat_depthwise (line 223) | pub fn splat_depthwise<G: Clone>(
  function forward (line 289) | fn forward(
  method used_gadgets (line 437) | fn used_gadgets(&self, layer_params: Vec<i64>) -> Vec<crate::gadgets::ga...

FILE: src/layers/dag.rs
  type DAGLayerConfig (line 41) | pub struct DAGLayerConfig {
  type DAGLayerChip (line 48) | pub struct DAGLayerChip<F: PrimeField + Ord> {
  function construct (line 54) | pub fn construct(dag_config: DAGLayerConfig) -> Self {
  function forward (line 62) | pub fn forward(
  method used_gadgets (line 481) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/div_fixed.rs
  type DivFixedChip (line 18) | pub struct DivFixedChip {}
    method get_div_val (line 21) | fn get_div_val<F: PrimeField>(
    method forward (line 54) | fn forward(
  method used_gadgets (line 90) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/fully_connected.rs
  type FullyConnectedConfig (line 24) | pub struct FullyConnectedConfig {
    method construct (line 29) | pub fn construct(normalize: bool) -> Self {
  type FullyConnectedChip (line 34) | pub struct FullyConnectedChip<F: PrimeField> {
  function compute_mm (line 40) | pub fn compute_mm(
  function assign_array (line 64) | pub fn assign_array(
  function random_vector (line 85) | pub fn random_vector(
  function get_activation (line 102) | fn get_activation(&self, layer_params: &Vec<i64>) -> ActivationType {
  function forward (line 113) | fn forward(
  method used_gadgets (line 310) | fn used_gadgets(&self, layer_params: Vec<i64>) -> Vec<crate::gadgets::ga...

FILE: src/layers/layer.rs
  type LayerType (line 13) | pub enum LayerType {
  type ActivationType (line 53) | pub enum ActivationType {
  type LayerConfig (line 64) | pub struct LayerConfig {
  type CellRc (line 72) | pub type CellRc<F> = Rc<AssignedCell<F, F>>;
  type AssignedTensor (line 73) | pub type AssignedTensor<F> = Array<CellRc<F>, IxDyn>;
  type Layer (line 76) | pub trait Layer<F: PrimeField> {
    method forward (line 77) | fn forward(
  type GadgetConsumer (line 87) | pub trait GadgetConsumer {
    method used_gadgets (line 88) | fn used_gadgets(&self, layer_params: Vec<i64>) -> Vec<GadgetType>;

FILE: src/layers/logistic.rs
  type LogisticChip (line 14) | pub struct LogisticChip {}
    method forward (line 17) | fn forward(
  method used_gadgets (line 46) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/max_pool_2d.rs
  type MaxPool2DChip (line 16) | pub struct MaxPool2DChip<F: PrimeField> {
  function shape (line 21) | pub fn shape(inp: &AssignedTensor<F>, layer_config: &LayerConfig) -> (us...
  function splat (line 44) | pub fn splat(
  function forward (line 83) | fn forward(
  method used_gadgets (line 121) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<GadgetType> {

FILE: src/layers/mean.rs
  type MeanChip (line 17) | pub struct MeanChip {}
    method get_keep_axis (line 20) | pub fn get_keep_axis(&self, layer_config: &LayerConfig) -> usize {
    method splat (line 56) | fn splat(&self, input: &AssignedTensor<F>, layer_config: &LayerConfig)...
    method get_div_val (line 75) | fn get_div_val(
    method forward (line 111) | fn forward(
  method used_gadgets (line 132) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/noop.rs
  type NoopChip (line 9) | pub struct NoopChip {}
    method forward (line 12) | fn forward(
  method used_gadgets (line 26) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/pow.rs
  type PowChip (line 14) | pub struct PowChip {}
    method forward (line 17) | fn forward(
  method used_gadgets (line 42) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/rsqrt.rs
  type RsqrtChip (line 14) | pub struct RsqrtChip {}
    method forward (line 17) | fn forward(
  method used_gadgets (line 68) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/shape/broadcast.rs
  type BroadcastChip (line 18) | pub struct BroadcastChip {}
    method forward (line 22) | fn forward(
  method used_gadgets (line 68) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/shape/concatenation.rs
  type ConcatenationChip (line 13) | pub struct ConcatenationChip {}
    method forward (line 16) | fn forward(
  method used_gadgets (line 34) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<GadgetType> {

FILE: src/layers/shape/mask_neg_inf.rs
  type MaskNegInfChip (line 13) | pub struct MaskNegInfChip {}
    method forward (line 16) | fn forward(
  method used_gadgets (line 52) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/shape/pack.rs
  type PackChip (line 13) | pub struct PackChip {}
    method forward (line 16) | fn forward(
  method used_gadgets (line 43) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<GadgetType> {

FILE: src/layers/shape/pad.rs
  function pad (line 18) | pub fn pad<G: Clone>(
  type PadChip (line 54) | pub struct PadChip {}
    method param_vec_to_config (line 61) | pub fn param_vec_to_config(layer_params: Vec<i64>) -> PadConfig {
    method forward (line 73) | fn forward(
  type PadConfig (line 56) | pub struct PadConfig {
  method used_gadgets (line 94) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/shape/permute.rs
  type PermuteChip (line 13) | pub struct PermuteChip {}
    method forward (line 16) | fn forward(
  method used_gadgets (line 40) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/shape/reshape.rs
  type ReshapeChip (line 13) | pub struct ReshapeChip {}
    method forward (line 16) | fn forward(
  method used_gadgets (line 35) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/shape/resize_nn.rs
  type ResizeNNChip (line 13) | pub struct ResizeNNChip {}
    method forward (line 17) | fn forward(
  method used_gadgets (line 53) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/shape/rotate.rs
  type RotateChip (line 14) | pub struct RotateChip {}
    method forward (line 26) | fn forward(
  method used_gadgets (line 71) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/shape/slice.rs
  type SliceChip (line 13) | pub struct SliceChip {}
    method forward (line 16) | fn forward(
  method used_gadgets (line 45) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<GadgetType> {

FILE: src/layers/shape/split.rs
  type SplitChip (line 13) | pub struct SplitChip {}
    method forward (line 16) | fn forward(
  method used_gadgets (line 44) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<GadgetType> {

FILE: src/layers/shape/transpose.rs
  type TransposeChip (line 13) | pub struct TransposeChip {}
    method forward (line 16) | fn forward(
  method used_gadgets (line 49) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/softmax.rs
  type SoftmaxChip (line 22) | pub struct SoftmaxChip {}
    method softmax_flat (line 25) | pub fn softmax_flat<F: PrimeField>(
    method forward (line 119) | fn forward(
  method used_gadgets (line 202) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/sqrt.rs
  type SqrtChip (line 14) | pub struct SqrtChip {}
    method forward (line 17) | fn forward(
  method used_gadgets (line 68) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/square.rs
  type SquareChip (line 15) | pub struct SquareChip {}
    method forward (line 18) | fn forward(
  method used_gadgets (line 62) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/squared_diff.rs
  type SquaredDiffChip (line 18) | pub struct SquaredDiffChip {}
    method forward (line 21) | fn forward(
  method used_gadgets (line 70) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/tanh.rs
  type TanhChip (line 14) | pub struct TanhChip {}
    method forward (line 17) | fn forward(
  method used_gadgets (line 42) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/layers/update.rs
  type UpdateChip (line 14) | pub struct UpdateChip {}
    method forward (line 17) | fn forward(
  method used_gadgets (line 48) | fn used_gadgets(&self, _layer_params: Vec<i64>) -> Vec<crate::gadgets::g...

FILE: src/model.rs
  type ModelCircuit (line 82) | pub struct ModelCircuit<F: PrimeField> {
  type ModelConfig (line 95) | pub struct ModelConfig<F: PrimeField + Ord + FromUniformBytes<64>> {
  function assign_tensors_map (line 103) | pub fn assign_tensors_map(
  function tensor_map_to_vec (line 142) | pub fn tensor_map_to_vec(
  function assign_tensors_vec (line 166) | pub fn assign_tensors_vec(
  function assign_constants (line 182) | pub fn assign_constants(
  function assign_constants2 (line 233) | pub fn assign_constants2(
  function generate_from_file (line 292) | pub fn generate_from_file(config_file: &str, inp_file: &str) -> ModelCir...
  function generate_from_msgpack (line 297) | pub fn generate_from_msgpack(config: ModelMsgpack, panic_empty_tensor: b...
  function assign_and_commit (line 482) | pub fn assign_and_commit(
  function copy_and_commit (line 520) | pub fn copy_and_commit(
  type Config (line 560) | type Config = ModelConfig<F>;
  type FloorPlanner (line 561) | type FloorPlanner = SimpleFloorPlanner;
  type Params (line 562) | type Params = ();
  function without_witnesses (line 564) | fn without_witnesses(&self) -> Self {
  function configure (line 568) | fn configure(meta: &mut ConstraintSystem<F>) -> Self::Config {
  function synthesize (line 644) | fn synthesize(&self, config: Self::Config, mut layouter: impl Layouter<F...

FILE: src/utils/helpers.rs
  constant RAND_START_IDX (line 11) | pub const RAND_START_IDX: i64 = i64::MIN;
  constant NUM_RANDOMS (line 12) | pub const NUM_RANDOMS: i64 = 20001;
  function convert_to_bigint (line 15) | pub fn convert_to_bigint<F: PrimeField>(x: Value<F>) -> BigUint {
  function convert_pos_int (line 23) | pub fn convert_pos_int<F: PrimeField>(x: Value<F>) -> i128 {
  function print_pos_int (line 35) | pub fn print_pos_int<F: PrimeField>(prefix: &str, x: Value<F>, scale_fac...
  function print_assigned_arr (line 41) | pub fn print_assigned_arr<F: PrimeField>(
  function get_public_values (line 56) | pub fn get_public_values<F: PrimeField>() -> Vec<F> {
  function shape_dominates (line 66) | fn shape_dominates(s1: &[usize], s2: &[usize]) -> bool {
  function intermediate_shape (line 81) | fn intermediate_shape(s1: &[usize], s2: &[usize]) -> Vec<usize> {
  function final_shape (line 89) | fn final_shape(s1: &[usize], s2: &[usize]) -> Vec<usize> {
  function broadcast (line 97) | pub fn broadcast<G: Clone>(

FILE: src/utils/loader.rs
  type TensorMsgpack (line 6) | pub struct TensorMsgpack {
  type LayerMsgpack (line 13) | pub struct LayerMsgpack {
  type ModelMsgpack (line 24) | pub struct ModelMsgpack {
  function load_config_msgpack (line 39) | pub fn load_config_msgpack(config_path: &str) -> ModelMsgpack {
  function load_model_msgpack (line 48) | pub fn load_model_msgpack(config_path: &str, inp_path: &str) -> ModelMsg...

FILE: src/utils/proving_ipa.rs
  function get_ipa_params (line 28) | pub fn get_ipa_params(params_dir: &str, degree: u32) -> ParamsIPA<EqAffi...
  function time_circuit_ipa (line 48) | pub fn time_circuit_ipa(circuit: ModelCircuit<Fp>) {

FILE: src/utils/proving_kzg.rs
  function get_kzg_params (line 28) | pub fn get_kzg_params(params_dir: &str, degree: u32) -> ParamsKZG<Bn256> {
  function serialize (line 48) | pub fn serialize(data: &Vec<u8>, path: &str) -> u64 {
  function verify_kzg (line 54) | pub fn verify_kzg(
  function time_circuit_kzg (line 74) | pub fn time_circuit_kzg(circuit: ModelCircuit<Fr>) {
  function verify_circuit_kzg (line 171) | pub fn verify_circuit_kzg(

FILE: testing/circuits/last_two_layers.py
  class LastTwoLayers (line 16) | class LastTwoLayers(tf.keras.Model):
    method __init__ (line 17) | def __init__(self, name=None):
    method call (line 40) | def call(self, x):