├── .gitignore ├── Cargo.toml ├── README.md ├── data ├── fixed_len_keccak-1.in ├── fixed_len_keccak.in ├── halo2_lib.0.in ├── halo2_lib.in ├── poseidon.in ├── range.in ├── var_len_keccak.1.in └── var_len_keccak.in ├── examples ├── builder.rs ├── halo2_lib.rs ├── poseidon.rs └── range.rs ├── rust-toolchain ├── rustfmt.toml └── src ├── lib.rs ├── scaffold ├── cmd.rs └── mod.rs └── vanilla_circuits ├── is_zero.rs ├── mod.rs ├── or.rs └── standard_plonk.rs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/README.md -------------------------------------------------------------------------------- /data/fixed_len_keccak-1.in: -------------------------------------------------------------------------------- 1 | { 2 | "bytes": [0,1,2] 3 | } -------------------------------------------------------------------------------- /data/fixed_len_keccak.in: -------------------------------------------------------------------------------- 1 | { 2 | "bytes": [] 3 | } -------------------------------------------------------------------------------- /data/halo2_lib.0.in: -------------------------------------------------------------------------------- 1 | { 2 | "x": "0" 3 | } 4 | -------------------------------------------------------------------------------- /data/halo2_lib.in: -------------------------------------------------------------------------------- 1 | { 2 | "x": "12" 3 | } 4 | -------------------------------------------------------------------------------- /data/poseidon.in: -------------------------------------------------------------------------------- 1 | { 2 | "inputs": ["6","100"] 3 | } 4 | -------------------------------------------------------------------------------- /data/range.in: -------------------------------------------------------------------------------- 1 | { 2 | "x": "18446744073709551615" 3 | } 4 | -------------------------------------------------------------------------------- /data/var_len_keccak.1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/data/var_len_keccak.1.in -------------------------------------------------------------------------------- /data/var_len_keccak.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/data/var_len_keccak.in -------------------------------------------------------------------------------- /examples/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/examples/builder.rs -------------------------------------------------------------------------------- /examples/halo2_lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/examples/halo2_lib.rs -------------------------------------------------------------------------------- /examples/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/examples/poseidon.rs -------------------------------------------------------------------------------- /examples/range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/examples/range.rs -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly-2023-12-21 2 | -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | max_width = 100 2 | use_small_heuristics = "Max" -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/scaffold/cmd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/src/scaffold/cmd.rs -------------------------------------------------------------------------------- /src/scaffold/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/src/scaffold/mod.rs -------------------------------------------------------------------------------- /src/vanilla_circuits/is_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/src/vanilla_circuits/is_zero.rs -------------------------------------------------------------------------------- /src/vanilla_circuits/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/src/vanilla_circuits/mod.rs -------------------------------------------------------------------------------- /src/vanilla_circuits/or.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/src/vanilla_circuits/or.rs -------------------------------------------------------------------------------- /src/vanilla_circuits/standard_plonk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-scaffold/HEAD/src/vanilla_circuits/standard_plonk.rs --------------------------------------------------------------------------------