Skip to content

Instantly share code, notes, and snippets.

@huitseeker
Created March 18, 2024 12:19
Show Gist options
  • Save huitseeker/da5fe17613e8cc514a321c64913ce3da to your computer and use it in GitHub Desktop.
Save huitseeker/da5fe17613e8cc514a321c64913ce3da to your computer and use it in GitHub Desktop.
.DS_Store | Bin 6148 -> 0 bytes
.github/workflows/ci.yml | 2 -
Cargo.toml | 3 +-
README.md | 22 +-
air/src/virtual_column.rs | 31 +-
baby-bear/Cargo.toml | 9 +
baby-bear/src/baby_bear.rs | 65 +-
baby-bear/src/lib.rs | 25 +
baby-bear/src/mds.rs | 564 +++++++++
baby-bear/src/poseidon2.rs | 140 +++
baby-bear/src/x86_64_avx2.rs | 10 +-
baby-bear/src/x86_64_avx512.rs | 1350 ++++++++++++++++++++++
blake3/src/lib.rs | 3 -
challenger/Cargo.toml | 1 -
challenger/src/duplex_challenger.rs | 23 +-
challenger/src/serializing_challenger.rs | 101 +-
{multi-stark => circle}/Cargo.toml | 14 +-
circle/src/cfft.rs | 231 ++++
circle/src/domain.rs | 362 ++++++
circle/src/lib.rs | 15 +
circle/src/pcs.rs | 146 +++
circle/src/twiddles.rs | 78 ++
circle/src/util.rs | 167 +++
commit/Cargo.toml | 14 +
commit/src/adapters/mod.rs | 4 -
commit/src/adapters/multi_from_uni_pcs.rs | 21 -
commit/src/adapters/uni_from_multi_pcs.rs | 21 -
commit/src/domain.rs | 163 +++
commit/src/lib.rs | 5 +
commit/src/pcs.rs | 148 +--
commit/src/testing.rs | 173 +++
dft/Cargo.toml | 1 +
dft/src/lib.rs | 1 +
dft/src/radix_2_dit_parallel.rs | 2 +
dft/src/util.rs | 17 +-
field-testing/src/lib.rs | 1 +
field/src/extension/binomial_extension.rs | 6 +
field/src/extension/complex.rs | 10 +-
field/src/field.rs | 27 +-
field/src/helpers.rs | 30 +-
field/src/packed.rs | 5 +
fri/src/lib.rs | 2 +-
fri/src/two_adic_pcs.rs | 344 +++---
fri/tests/fri.rs | 4 +-
fri/tests/pcs.rs | 57 +-
goldilocks/Cargo.toml | 7 +
goldilocks/src/lib.rs | 55 +-
mds/src/goldilocks.rs => goldilocks/src/mds.rs | 168 ++-
goldilocks/src/poseidon2.rs | 294 +++++
keccak-air/Cargo.toml | 6 +
keccak-air/examples/prove_baby_bear_keccak.rs | 20 +-
keccak-air/examples/prove_baby_bear_poseidon2.rs | 22 +-
keccak-air/examples/prove_goldilocks_keccak.rs | 18 +-
keccak-air/examples/prove_goldilocks_poseidon.rs | 84 ++
keccak-air/examples/prove_m31_keccak.rs | 85 ++
keccak-air/src/columns.rs | 4 +-
keccak-air/src/constants.rs | 4 +-
keccak-air/src/lib.rs | 5 +-
matrix/Cargo.toml | 2 +
matrix/src/dense.rs | 17 +-
matrix/src/lib.rs | 44 +
matrix/src/routines.rs | 28 +
mds/Cargo.toml | 7 +-
mds/benches/mds.rs | 19 +-
mds/src/babybear.rs | 290 -----
mds/src/karatsuba_convolution.rs | 388 +++++++
mds/src/lib.rs | 5 +-
mds/src/m4.rs | 54 -
mds/src/util.rs | 147 +--
merkle-tree/benches/merkle_tree.rs | 4 +-
merkle-tree/src/mmcs.rs | 4 +-
mersenne-31/Cargo.toml | 5 +
mersenne-31/src/lib.rs | 23 +
mds/src/mersenne31.rs => mersenne-31/src/mds.rs | 206 +++-
mersenne-31/src/mersenne_31.rs | 52 +-
mersenne-31/src/x86_64_avx2.rs | 2 +-
mersenne-31/src/x86_64_avx512.rs | 1308 +++++++++++++++++++++
monolith/benches/permute.rs | 25 +-
monolith/src/monolith.rs | 5 +
multi-stark/src/config.rs | 65 --
multi-stark/src/folder.rs | 53 -
multi-stark/src/lib.rs | 13 -
multi-stark/src/prover.rs | 21 -
multi-stark/tests/mul_air.rs | 72 --
poseidon/benches/poseidon.rs | 9 +-
poseidon2/Cargo.toml | 11 +-
poseidon2/benches/poseidon2.rs | 8 +-
poseidon2/src/babybear.rs | 40 -
poseidon2/src/diffusion.rs | 8 +-
poseidon2/src/goldilocks.rs | 113 --
poseidon2/src/lib.rs | 244 +---
poseidon2/src/matrix.rs | 24 +
rescue/benches/rescue.rs | 9 +-
rescue/src/rescue.rs | 17 +-
tensor-pcs/Cargo.toml | 14 -
tensor-pcs/src/lib.rs | 11 -
tensor-pcs/src/reshape.rs | 13 -
tensor-pcs/src/tensor_pcs.rs | 66 --
tensor-pcs/src/wrapped_matrix.rs | 85 --
uni-stark/Cargo.toml | 3 +
uni-stark/src/config.rs | 66 +-
uni-stark/src/decompose.rs | 131 ---
uni-stark/src/folder.rs | 32 +-
uni-stark/src/lib.rs | 7 +-
uni-stark/src/proof.rs | 15 +-
uni-stark/src/prover.rs | 160 +--
uni-stark/src/symbolic_builder.rs | 2 +-
uni-stark/src/symbolic_expression.rs | 2 +-
uni-stark/src/symbolic_variable.rs | 10 -
uni-stark/src/verifier.rs | 160 +--
uni-stark/tests/mul_air.rs | 289 ++++-
util/src/linear_map.rs | 5 +-
112 files changed, 7199 insertions(+), 2404 deletions(-)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment