├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md ├── gyatt-fryer-cli ├── Cargo.toml └── src │ └── main.rs ├── mini_circuit ├── Nargo.toml ├── Prover.toml └── src │ ├── complex.nr │ └── main.nr ├── prover ├── Cargo.toml ├── circuit_checker │ └── mod.rs └── lib.rs └── scripts └── update-noir.sh /.gitignore: -------------------------------------------------------------------------------- 1 | **/target 2 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/README.md -------------------------------------------------------------------------------- /gyatt-fryer-cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/gyatt-fryer-cli/Cargo.toml -------------------------------------------------------------------------------- /gyatt-fryer-cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/gyatt-fryer-cli/src/main.rs -------------------------------------------------------------------------------- /mini_circuit/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/mini_circuit/Nargo.toml -------------------------------------------------------------------------------- /mini_circuit/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/mini_circuit/Prover.toml -------------------------------------------------------------------------------- /mini_circuit/src/complex.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/mini_circuit/src/complex.nr -------------------------------------------------------------------------------- /mini_circuit/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/mini_circuit/src/main.nr -------------------------------------------------------------------------------- /prover/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/prover/Cargo.toml -------------------------------------------------------------------------------- /prover/circuit_checker/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/prover/circuit_checker/mod.rs -------------------------------------------------------------------------------- /prover/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/prover/lib.rs -------------------------------------------------------------------------------- /scripts/update-noir.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vacekj/air-fried-gyatt/HEAD/scripts/update-noir.sh --------------------------------------------------------------------------------