gitextract_ixvshx2q/

├── .gitignore
├── Cargo.toml
├── LICENSE
├── README.md
├── backwards/
│   ├── README.md
│   └── backward.py
├── python/
│   ├── converter.py
│   ├── input_converter.py
│   └── training_converter.py
├── rustfmt.toml
├── src/
│   ├── bin/
│   │   ├── test_circuit.rs
│   │   ├── time_circuit.rs
│   │   ├── verify_circuit.rs
│   │   └── verify_wav.rs
│   ├── commitments/
│   │   ├── commit.rs
│   │   ├── packer.rs
│   │   └── poseidon_commit.rs
│   ├── commitments.rs
│   ├── gadgets/
│   │   ├── add_pairs.rs
│   │   ├── adder.rs
│   │   ├── bias_div_floor_relu6.rs
│   │   ├── bias_div_round_relu6.rs
│   │   ├── dot_prod.rs
│   │   ├── gadget.rs
│   │   ├── input_lookup.rs
│   │   ├── max.rs
│   │   ├── mul_pairs.rs
│   │   ├── nonlinear/
│   │   │   ├── exp.rs
│   │   │   ├── logistic.rs
│   │   │   ├── non_linearity.rs
│   │   │   ├── pow.rs
│   │   │   ├── relu.rs
│   │   │   ├── rsqrt.rs
│   │   │   ├── sqrt.rs
│   │   │   └── tanh.rs
│   │   ├── nonlinear.rs
│   │   ├── sqrt_big.rs
│   │   ├── square.rs
│   │   ├── squared_diff.rs
│   │   ├── sub_pairs.rs
│   │   ├── update.rs
│   │   ├── var_div.rs
│   │   ├── var_div_big.rs
│   │   └── var_div_big3.rs
│   ├── gadgets.rs
│   ├── layers/
│   │   ├── arithmetic/
│   │   │   ├── add.rs
│   │   │   ├── div_var.rs
│   │   │   ├── mul.rs
│   │   │   └── sub.rs
│   │   ├── arithmetic.rs
│   │   ├── averager.rs
│   │   ├── avg_pool_2d.rs
│   │   ├── batch_mat_mul.rs
│   │   ├── conv2d.rs
│   │   ├── dag.rs
│   │   ├── div_fixed.rs
│   │   ├── fully_connected.rs
│   │   ├── layer.rs
│   │   ├── logistic.rs
│   │   ├── max_pool_2d.rs
│   │   ├── mean.rs
│   │   ├── noop.rs
│   │   ├── pow.rs
│   │   ├── rsqrt.rs
│   │   ├── shape/
│   │   │   ├── broadcast.rs
│   │   │   ├── concatenation.rs
│   │   │   ├── mask_neg_inf.rs
│   │   │   ├── pack.rs
│   │   │   ├── pad.rs
│   │   │   ├── permute.rs
│   │   │   ├── reshape.rs
│   │   │   ├── resize_nn.rs
│   │   │   ├── rotate.rs
│   │   │   ├── slice.rs
│   │   │   ├── split.rs
│   │   │   └── transpose.rs
│   │   ├── shape.rs
│   │   ├── softmax.rs
│   │   ├── sqrt.rs
│   │   ├── square.rs
│   │   ├── squared_diff.rs
│   │   ├── tanh.rs
│   │   └── update.rs
│   ├── layers.rs
│   ├── lib.rs
│   ├── model.rs
│   ├── utils/
│   │   ├── helpers.rs
│   │   ├── loader.rs
│   │   ├── proving_ipa.rs
│   │   └── proving_kzg.rs
│   └── utils.rs
└── testing/
    └── circuits/
        ├── last_two_layers.py
        └── v2_1.0_224.tflite