gistfile1.txt

 .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(-)