├── .github └── workflows │ └── rust.yml ├── .gitignore ├── .vscode └── settings.json ├── Cargo.toml ├── README.md ├── prints ├── inclusion-check-1-layout.png ├── merkle-sum-tree-layout.png ├── merkle-tree-1-layout.png ├── merkle-tree-2-layout.png ├── merkle-tree-3-layout.png └── poseidon-layout.png └── src ├── chips.rs ├── chips ├── add_carry_v1.rs ├── add_carry_v2.rs ├── hash_v1.rs ├── hash_v2.rs ├── inclusion_check.rs ├── inclusion_check_v2.rs ├── is_zero.rs ├── less_than.rs ├── lookup.rs ├── merkle_sum_tree.rs ├── merkle_v1.rs ├── merkle_v2.rs ├── merkle_v3.rs ├── overflow_check.rs ├── overflow_check_v2.rs ├── poseidon │ ├── hash.rs │ ├── hash_with_instance.rs │ ├── mod.rs │ └── spec.rs ├── safe_accumulator.rs ├── util.rs └── utils.rs ├── circuits.rs ├── circuits ├── add_carry_v1.rs ├── add_carry_v2.rs ├── hash_v1.rs ├── hash_v2.rs ├── inclusion_check.rs ├── inclusion_check_v2.rs ├── less_than.rs ├── less_than_v2.rs ├── less_than_v3.rs ├── merkle_sum_tree.rs ├── merkle_v1.rs ├── merkle_v2.rs ├── merkle_v3.rs ├── overflow_check.rs ├── overflow_check_v2.rs ├── poseidon.rs ├── safe_accumulator.rs └── utils.rs ├── decompose_bigInt.rs └── lib.rs /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/README.md -------------------------------------------------------------------------------- /prints/inclusion-check-1-layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/prints/inclusion-check-1-layout.png -------------------------------------------------------------------------------- /prints/merkle-sum-tree-layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/prints/merkle-sum-tree-layout.png -------------------------------------------------------------------------------- /prints/merkle-tree-1-layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/prints/merkle-tree-1-layout.png -------------------------------------------------------------------------------- /prints/merkle-tree-2-layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/prints/merkle-tree-2-layout.png -------------------------------------------------------------------------------- /prints/merkle-tree-3-layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/prints/merkle-tree-3-layout.png -------------------------------------------------------------------------------- /prints/poseidon-layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/prints/poseidon-layout.png -------------------------------------------------------------------------------- /src/chips.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips.rs -------------------------------------------------------------------------------- /src/chips/add_carry_v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/add_carry_v1.rs -------------------------------------------------------------------------------- /src/chips/add_carry_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/add_carry_v2.rs -------------------------------------------------------------------------------- /src/chips/hash_v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/hash_v1.rs -------------------------------------------------------------------------------- /src/chips/hash_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/hash_v2.rs -------------------------------------------------------------------------------- /src/chips/inclusion_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/inclusion_check.rs -------------------------------------------------------------------------------- /src/chips/inclusion_check_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/inclusion_check_v2.rs -------------------------------------------------------------------------------- /src/chips/is_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/is_zero.rs -------------------------------------------------------------------------------- /src/chips/less_than.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/less_than.rs -------------------------------------------------------------------------------- /src/chips/lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/lookup.rs -------------------------------------------------------------------------------- /src/chips/merkle_sum_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/merkle_sum_tree.rs -------------------------------------------------------------------------------- /src/chips/merkle_v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/merkle_v1.rs -------------------------------------------------------------------------------- /src/chips/merkle_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/merkle_v2.rs -------------------------------------------------------------------------------- /src/chips/merkle_v3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/merkle_v3.rs -------------------------------------------------------------------------------- /src/chips/overflow_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/overflow_check.rs -------------------------------------------------------------------------------- /src/chips/overflow_check_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/overflow_check_v2.rs -------------------------------------------------------------------------------- /src/chips/poseidon/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/poseidon/hash.rs -------------------------------------------------------------------------------- /src/chips/poseidon/hash_with_instance.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/poseidon/hash_with_instance.rs -------------------------------------------------------------------------------- /src/chips/poseidon/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/poseidon/mod.rs -------------------------------------------------------------------------------- /src/chips/poseidon/spec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/poseidon/spec.rs -------------------------------------------------------------------------------- /src/chips/safe_accumulator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/safe_accumulator.rs -------------------------------------------------------------------------------- /src/chips/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/util.rs -------------------------------------------------------------------------------- /src/chips/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/chips/utils.rs -------------------------------------------------------------------------------- /src/circuits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits.rs -------------------------------------------------------------------------------- /src/circuits/add_carry_v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/add_carry_v1.rs -------------------------------------------------------------------------------- /src/circuits/add_carry_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/add_carry_v2.rs -------------------------------------------------------------------------------- /src/circuits/hash_v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/hash_v1.rs -------------------------------------------------------------------------------- /src/circuits/hash_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/hash_v2.rs -------------------------------------------------------------------------------- /src/circuits/inclusion_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/inclusion_check.rs -------------------------------------------------------------------------------- /src/circuits/inclusion_check_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/inclusion_check_v2.rs -------------------------------------------------------------------------------- /src/circuits/less_than.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/less_than.rs -------------------------------------------------------------------------------- /src/circuits/less_than_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/less_than_v2.rs -------------------------------------------------------------------------------- /src/circuits/less_than_v3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/less_than_v3.rs -------------------------------------------------------------------------------- /src/circuits/merkle_sum_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/merkle_sum_tree.rs -------------------------------------------------------------------------------- /src/circuits/merkle_v1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/merkle_v1.rs -------------------------------------------------------------------------------- /src/circuits/merkle_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/merkle_v2.rs -------------------------------------------------------------------------------- /src/circuits/merkle_v3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/merkle_v3.rs -------------------------------------------------------------------------------- /src/circuits/overflow_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/overflow_check.rs -------------------------------------------------------------------------------- /src/circuits/overflow_check_v2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/overflow_check_v2.rs -------------------------------------------------------------------------------- /src/circuits/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/poseidon.rs -------------------------------------------------------------------------------- /src/circuits/safe_accumulator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/safe_accumulator.rs -------------------------------------------------------------------------------- /src/circuits/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/circuits/utils.rs -------------------------------------------------------------------------------- /src/decompose_bigInt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/decompose_bigInt.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/summa-dev/halo2-experiments/HEAD/src/lib.rs --------------------------------------------------------------------------------