├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── README.md └── src ├── fibonacci.rs ├── fibonacci ├── example1.rs ├── example2.rs ├── example3.rs └── example4.rs ├── is_zero.rs ├── lib.rs ├── range_check.rs └── range_check ├── example1.rs ├── example2.rs ├── example2 └── table.rs ├── example3_broken.rs └── example3_broken └── table.rs /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/README.md -------------------------------------------------------------------------------- /src/fibonacci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/fibonacci.rs -------------------------------------------------------------------------------- /src/fibonacci/example1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/fibonacci/example1.rs -------------------------------------------------------------------------------- /src/fibonacci/example2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/fibonacci/example2.rs -------------------------------------------------------------------------------- /src/fibonacci/example3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/fibonacci/example3.rs -------------------------------------------------------------------------------- /src/fibonacci/example4.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/fibonacci/example4.rs -------------------------------------------------------------------------------- /src/is_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/is_zero.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/range_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/range_check.rs -------------------------------------------------------------------------------- /src/range_check/example1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/range_check/example1.rs -------------------------------------------------------------------------------- /src/range_check/example2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/range_check/example2.rs -------------------------------------------------------------------------------- /src/range_check/example2/table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/range_check/example2/table.rs -------------------------------------------------------------------------------- /src/range_check/example3_broken.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/range_check/example3_broken.rs -------------------------------------------------------------------------------- /src/range_check/example3_broken/table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icemelon/halo2-examples/HEAD/src/range_check/example3_broken/table.rs --------------------------------------------------------------------------------