├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── rust-toolchain.toml └── src ├── fields ├── fp.rs ├── fp2.rs └── mod.rs ├── hash ├── mod.rs ├── poseidon_bn254 │ ├── chip.rs │ └── mod.rs └── poseidon_fp64 │ ├── chip.rs │ └── mod.rs ├── lib.rs ├── merkle └── mod.rs ├── random └── mod.rs ├── tests.rs └── tests └── winter ├── channel └── mod.rs ├── field ├── bn254 │ ├── mod.rs │ ├── u256.rs │ └── u512.rs └── mod.rs ├── hash ├── mod.rs ├── poseidon_bn254 │ └── mod.rs └── poseidon_fp64 │ └── mod.rs └── mod.rs /.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | .notes/ 3 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/README.md -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly" 3 | -------------------------------------------------------------------------------- /src/fields/fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/fields/fp.rs -------------------------------------------------------------------------------- /src/fields/fp2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/fields/fp2.rs -------------------------------------------------------------------------------- /src/fields/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/fields/mod.rs -------------------------------------------------------------------------------- /src/hash/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/hash/mod.rs -------------------------------------------------------------------------------- /src/hash/poseidon_bn254/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/hash/poseidon_bn254/chip.rs -------------------------------------------------------------------------------- /src/hash/poseidon_bn254/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod chip; 2 | -------------------------------------------------------------------------------- /src/hash/poseidon_fp64/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/hash/poseidon_fp64/chip.rs -------------------------------------------------------------------------------- /src/hash/poseidon_fp64/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/hash/poseidon_fp64/mod.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/merkle/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/merkle/mod.rs -------------------------------------------------------------------------------- /src/random/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/random/mod.rs -------------------------------------------------------------------------------- /src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests.rs -------------------------------------------------------------------------------- /src/tests/winter/channel/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests/winter/channel/mod.rs -------------------------------------------------------------------------------- /src/tests/winter/field/bn254/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests/winter/field/bn254/mod.rs -------------------------------------------------------------------------------- /src/tests/winter/field/bn254/u256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests/winter/field/bn254/u256.rs -------------------------------------------------------------------------------- /src/tests/winter/field/bn254/u512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests/winter/field/bn254/u512.rs -------------------------------------------------------------------------------- /src/tests/winter/field/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests/winter/field/mod.rs -------------------------------------------------------------------------------- /src/tests/winter/hash/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests/winter/hash/mod.rs -------------------------------------------------------------------------------- /src/tests/winter/hash/poseidon_bn254/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests/winter/hash/poseidon_bn254/mod.rs -------------------------------------------------------------------------------- /src/tests/winter/hash/poseidon_fp64/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests/winter/hash/poseidon_fp64/mod.rs -------------------------------------------------------------------------------- /src/tests/winter/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/maxgillett/halo2-fri-gadget/HEAD/src/tests/winter/mod.rs --------------------------------------------------------------------------------