├── .cargo └── config.toml ├── .clippy.toml ├── .editorconfig ├── .github └── workflows │ ├── benchmark.yml │ ├── ci.yml │ ├── mirror.yml │ └── nightly-benchmark.yml ├── .gitignore ├── .pre-commit-config.yaml ├── .rustfmt.toml ├── CONTRIBUTING.md ├── Cargo.toml ├── LICENSE.txt ├── README.md ├── crates ├── compute │ ├── Cargo.toml │ ├── src │ │ ├── alloc.rs │ │ ├── cpu │ │ │ ├── alloc.rs │ │ │ ├── layer.rs │ │ │ ├── memory.rs │ │ │ ├── mod.rs │ │ │ └── tower_macro.rs │ │ ├── layer.rs │ │ ├── lib.rs │ │ ├── memory.rs │ │ └── ops.rs │ └── tests │ │ └── layer.rs ├── compute_test_utils │ ├── Cargo.toml │ └── src │ │ ├── bivariate_sumcheck.rs │ │ ├── layer.rs │ │ ├── lib.rs │ │ ├── piop.rs │ │ └── ring_switch.rs ├── core │ ├── Cargo.toml │ ├── benches │ │ ├── arith_circuit_poly.rs │ │ ├── binary_merkle_tree.rs │ │ ├── multilinear_query.rs │ │ ├── poly_commit.rs │ │ ├── prodcheck.rs │ │ └── sumcheck.rs │ ├── src │ │ ├── composition │ │ │ ├── index.rs │ │ │ ├── mod.rs │ │ │ └── product_composition.rs │ │ ├── constraint_system │ │ │ ├── channel.rs │ │ │ ├── common.rs │ │ │ ├── error.rs │ │ │ ├── exp.rs │ │ │ ├── mod.rs │ │ │ ├── prove.rs │ │ │ ├── tests.rs │ │ │ ├── validate.rs │ │ │ └── verify.rs │ │ ├── fiat_shamir │ │ │ ├── hasher_challenger.rs │ │ │ ├── mod.rs │ │ │ └── sampling.rs │ │ ├── lib.rs │ │ ├── merkle_tree │ │ │ ├── binary_merkle_tree.rs │ │ │ ├── errors.rs │ │ │ ├── merkle_tree_vcs.rs │ │ │ ├── mod.rs │ │ │ ├── prover.rs │ │ │ ├── scheme.rs │ │ │ └── tests.rs │ │ ├── oracle │ │ │ ├── composite.rs │ │ │ ├── constraint.rs │ │ │ ├── error.rs │ │ │ ├── mod.rs │ │ │ ├── multilinear.rs │ │ │ ├── oracle_id.rs │ │ │ └── symbolic.rs │ │ ├── piop │ │ │ ├── commit.rs │ │ │ ├── error.rs │ │ │ ├── logging.rs │ │ │ ├── mod.rs │ │ │ ├── prove.rs │ │ │ ├── tests.rs │ │ │ ├── util.rs │ │ │ └── verify.rs │ │ ├── polynomial │ │ │ ├── error.rs │ │ │ ├── mod.rs │ │ │ ├── multivariate.rs │ │ │ └── test_utils.rs │ │ ├── protocols │ │ │ ├── evalcheck │ │ │ │ ├── error.rs │ │ │ │ ├── evalcheck.rs │ │ │ │ ├── logging.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── prove.rs │ │ │ │ ├── subclaims.rs │ │ │ │ ├── tests.rs │ │ │ │ └── verify.rs │ │ │ ├── fri │ │ │ │ ├── common.rs │ │ │ │ ├── error.rs │ │ │ │ ├── logging.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── prove.rs │ │ │ │ ├── tests.rs │ │ │ │ └── verify.rs │ │ │ ├── gkr_exp │ │ │ │ ├── batch_prove.rs │ │ │ │ ├── batch_verify.rs │ │ │ │ ├── common.rs │ │ │ │ ├── compositions.rs │ │ │ │ ├── error.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── oracles.rs │ │ │ │ ├── provers.rs │ │ │ │ ├── tests.rs │ │ │ │ ├── utils.rs │ │ │ │ ├── verifiers.rs │ │ │ │ └── witness.rs │ │ │ ├── gkr_gpa │ │ │ │ ├── error.rs │ │ │ │ ├── gkr_gpa.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── oracles.rs │ │ │ │ ├── prove.rs │ │ │ │ ├── tests.rs │ │ │ │ └── verify.rs │ │ │ ├── greedy_evalcheck │ │ │ │ ├── error.rs │ │ │ │ ├── logging.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── prove.rs │ │ │ │ ├── tests.rs │ │ │ │ └── verify.rs │ │ │ ├── mod.rs │ │ │ ├── prodcheck │ │ │ │ ├── common.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── prove.rs │ │ │ │ └── tests.rs │ │ │ ├── sumcheck │ │ │ │ ├── common.rs │ │ │ │ ├── eq_ind.rs │ │ │ │ ├── error.rs │ │ │ │ ├── front_loaded.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── oracles.rs │ │ │ │ ├── prove │ │ │ │ │ ├── batch_sumcheck.rs │ │ │ │ │ ├── batch_zerocheck.rs │ │ │ │ │ ├── common.rs │ │ │ │ │ ├── eq_ind.rs │ │ │ │ │ ├── front_loaded.rs │ │ │ │ │ ├── logging.rs │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── oracles.rs │ │ │ │ │ ├── prover_state.rs │ │ │ │ │ ├── regular_sumcheck.rs │ │ │ │ │ ├── univariate.rs │ │ │ │ │ └── zerocheck.rs │ │ │ │ ├── tests.rs │ │ │ │ ├── v3 │ │ │ │ │ ├── bivariate_mlecheck.rs │ │ │ │ │ ├── bivariate_product.rs │ │ │ │ │ ├── error.rs │ │ │ │ │ └── mod.rs │ │ │ │ ├── verify_sumcheck.rs │ │ │ │ ├── verify_zerocheck.rs │ │ │ │ └── zerocheck.rs │ │ │ └── test_utils.rs │ │ ├── reed_solomon │ │ │ ├── error.rs │ │ │ ├── mod.rs │ │ │ └── reed_solomon.rs │ │ ├── ring_switch │ │ │ ├── common.rs │ │ │ ├── eq_ind.rs │ │ │ ├── error.rs │ │ │ ├── logging.rs │ │ │ ├── mod.rs │ │ │ ├── prove.rs │ │ │ ├── tower_tensor_algebra.rs │ │ │ └── verify.rs │ │ ├── tensor_algebra.rs │ │ ├── transcript │ │ │ ├── error.rs │ │ │ └── mod.rs │ │ ├── transparent │ │ │ ├── constant.rs │ │ │ ├── disjoint_product.rs │ │ │ ├── eq_ind.rs │ │ │ ├── mod.rs │ │ │ ├── multilinear_extension.rs │ │ │ ├── powers.rs │ │ │ ├── select_row.rs │ │ │ ├── serialization.rs │ │ │ ├── shift_ind.rs │ │ │ ├── step_down.rs │ │ │ ├── step_up.rs │ │ │ └── tower_basis.rs │ │ └── witness.rs │ └── tests │ │ ├── piop.rs │ │ └── ring_switch.rs ├── fast_compute │ ├── Cargo.toml │ ├── src │ │ ├── arith_circuit.rs │ │ ├── layer.rs │ │ ├── lib.rs │ │ └── memory.rs │ └── tests │ │ └── layer.rs ├── field │ ├── Cargo.toml │ ├── benches │ │ ├── binary_field.rs │ │ ├── binary_field_util.rs │ │ ├── byte_iteration.rs │ │ ├── byte_sliced.rs │ │ ├── main_field_binary_ops.rs │ │ ├── main_field_unary_ops.rs │ │ ├── packed_extension_mul.rs │ │ ├── packed_field_element_access.rs │ │ ├── packed_field_init.rs │ │ ├── packed_field_invert.rs │ │ ├── packed_field_iter.rs │ │ ├── packed_field_linear_transform.rs │ │ ├── packed_field_mul_alpha.rs │ │ ├── packed_field_multiply.rs │ │ ├── packed_field_slice_iter.rs │ │ ├── packed_field_spread.rs │ │ ├── packed_field_square.rs │ │ ├── packed_field_subfield_ops.rs │ │ └── packed_field_utils.rs │ └── src │ │ ├── aes_field.rs │ │ ├── arch │ │ ├── aarch64 │ │ │ ├── m128.rs │ │ │ ├── mod.rs │ │ │ ├── packed_128.rs │ │ │ ├── packed_aes_128.rs │ │ │ ├── packed_macros.rs │ │ │ ├── packed_polyval_128.rs │ │ │ └── simd_arithmetic.rs │ │ ├── arch_optimal.rs │ │ ├── binary_utils.rs │ │ ├── mod.rs │ │ ├── portable │ │ │ ├── byte_sliced │ │ │ │ ├── invert.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── multiply.rs │ │ │ │ ├── packed_byte_sliced.rs │ │ │ │ ├── square.rs │ │ │ │ └── underlier.rs │ │ │ ├── hybrid_recursive_arithmetics.rs │ │ │ ├── mod.rs │ │ │ ├── packed.rs │ │ │ ├── packed_1.rs │ │ │ ├── packed_128.rs │ │ │ ├── packed_16.rs │ │ │ ├── packed_2.rs │ │ │ ├── packed_256.rs │ │ │ ├── packed_32.rs │ │ │ ├── packed_4.rs │ │ │ ├── packed_512.rs │ │ │ ├── packed_64.rs │ │ │ ├── packed_8.rs │ │ │ ├── packed_aes_128.rs │ │ │ ├── packed_aes_16.rs │ │ │ ├── packed_aes_256.rs │ │ │ ├── packed_aes_32.rs │ │ │ ├── packed_aes_512.rs │ │ │ ├── packed_aes_64.rs │ │ │ ├── packed_aes_8.rs │ │ │ ├── packed_arithmetic.rs │ │ │ ├── packed_macros.rs │ │ │ ├── packed_polyval_128.rs │ │ │ ├── packed_polyval_256.rs │ │ │ ├── packed_polyval_512.rs │ │ │ ├── packed_scaled.rs │ │ │ ├── pairwise_arithmetic.rs │ │ │ ├── pairwise_recursive_arithmetic.rs │ │ │ ├── pairwise_table_arithmetic.rs │ │ │ ├── reuse_multiply_arithmetic.rs │ │ │ └── underlier_constants.rs │ │ ├── strategies.rs │ │ └── x86_64 │ │ │ ├── gfni │ │ │ ├── aes_isomorphic.rs │ │ │ ├── gfni_arithmetics.rs │ │ │ ├── m128.rs │ │ │ ├── m256.rs │ │ │ ├── m512.rs │ │ │ └── mod.rs │ │ │ ├── m128.rs │ │ │ ├── m256.rs │ │ │ ├── m512.rs │ │ │ ├── mod.rs │ │ │ ├── packed_128.rs │ │ │ ├── packed_256.rs │ │ │ ├── packed_512.rs │ │ │ ├── packed_aes_128.rs │ │ │ ├── packed_aes_256.rs │ │ │ ├── packed_aes_512.rs │ │ │ ├── packed_macros.rs │ │ │ ├── packed_polyval_128.rs │ │ │ ├── packed_polyval_256.rs │ │ │ ├── packed_polyval_512.rs │ │ │ ├── pclmul │ │ │ ├── m128.rs │ │ │ ├── m256.rs │ │ │ ├── m512.rs │ │ │ ├── mod.rs │ │ │ └── montgomery_mul.rs │ │ │ └── simd │ │ │ ├── m128.rs │ │ │ ├── m256.rs │ │ │ ├── m512.rs │ │ │ ├── mod.rs │ │ │ └── simd_arithmetic.rs │ │ ├── arithmetic_traits.rs │ │ ├── as_packed_field.rs │ │ ├── binary_field.rs │ │ ├── binary_field_arithmetic.rs │ │ ├── byte_iteration.rs │ │ ├── error.rs │ │ ├── extension.rs │ │ ├── field.rs │ │ ├── lib.rs │ │ ├── linear_transformation.rs │ │ ├── macros.rs │ │ ├── packed.rs │ │ ├── packed_aes_field.rs │ │ ├── packed_binary_field.rs │ │ ├── packed_extension.rs │ │ ├── packed_extension_ops.rs │ │ ├── packed_polyval.rs │ │ ├── polyval.rs │ │ ├── tests.rs │ │ ├── tower.rs │ │ ├── tower_levels.rs │ │ ├── tracing.rs │ │ ├── transpose.rs │ │ ├── underlier │ │ ├── divisible.rs │ │ ├── iteration.rs │ │ ├── mod.rs │ │ ├── scaled.rs │ │ ├── small_uint.rs │ │ ├── underlier_impls.rs │ │ ├── underlier_type.rs │ │ └── underlier_with_bit_ops.rs │ │ └── util.rs ├── hal │ ├── Cargo.toml │ └── src │ │ ├── backend.rs │ │ ├── common.rs │ │ ├── cpu.rs │ │ ├── error.rs │ │ ├── lib.rs │ │ ├── sumcheck_evaluator.rs │ │ ├── sumcheck_folding.rs │ │ ├── sumcheck_multilinear.rs │ │ └── sumcheck_round_calculation.rs ├── hash │ ├── Cargo.toml │ ├── benches │ │ └── hash.rs │ └── src │ │ ├── compression.rs │ │ ├── groestl │ │ ├── arch │ │ │ ├── groestl_avx512.rs │ │ │ ├── groestl_multi_avx2.rs │ │ │ ├── mod.rs │ │ │ └── portable │ │ │ │ ├── compress512.rs │ │ │ │ ├── mod.rs │ │ │ │ └── table.rs │ │ ├── compression.rs │ │ ├── digest.rs │ │ ├── mod.rs │ │ └── tests.rs │ │ ├── lib.rs │ │ ├── multi_digest.rs │ │ ├── permutation.rs │ │ ├── serialization.rs │ │ ├── sha2.rs │ │ └── vision │ │ ├── compression.rs │ │ ├── constants.rs │ │ ├── digest.rs │ │ ├── mod.rs │ │ └── permutation.rs ├── m3 │ ├── Cargo.toml │ ├── src │ │ ├── builder │ │ │ ├── channel.rs │ │ │ ├── column.rs │ │ │ ├── constraint_system.rs │ │ │ ├── error.rs │ │ │ ├── expr.rs │ │ │ ├── indexed_lookup.rs │ │ │ ├── mod.rs │ │ │ ├── multi_iter.rs │ │ │ ├── stat.rs │ │ │ ├── structured.rs │ │ │ ├── table.rs │ │ │ ├── test_utils.rs │ │ │ ├── types.rs │ │ │ └── witness.rs │ │ ├── emulate.rs │ │ ├── gadgets │ │ │ ├── add.rs │ │ │ ├── barrel_shifter.rs │ │ │ ├── div.rs │ │ │ ├── hash │ │ │ │ ├── groestl.rs │ │ │ │ ├── keccak │ │ │ │ │ ├── lookedup.rs │ │ │ │ │ ├── mod.rs │ │ │ │ │ ├── stacked.rs │ │ │ │ │ ├── state.rs │ │ │ │ │ ├── test_vector.rs │ │ │ │ │ └── trace.rs │ │ │ │ ├── mod.rs │ │ │ │ └── sha256.rs │ │ │ ├── indexed_lookup │ │ │ │ ├── and.rs │ │ │ │ ├── incr.rs │ │ │ │ └── mod.rs │ │ │ ├── lookup.rs │ │ │ ├── merkle_tree │ │ │ │ ├── mod.rs │ │ │ │ └── trace.rs │ │ │ ├── mod.rs │ │ │ ├── mul.rs │ │ │ ├── structured.rs │ │ │ ├── sub.rs │ │ │ └── util.rs │ │ └── lib.rs │ └── tests │ │ ├── collatz.rs │ │ ├── computed.rs │ │ ├── fibonacci.rs │ │ ├── flush_multiple_selectors.rs │ │ ├── groestl_hash.rs │ │ └── mul_div_tests.rs ├── macros │ ├── Cargo.toml │ └── src │ │ ├── deserialize_bytes.rs │ │ ├── deserialize_bytes │ │ ├── parse.rs │ │ └── quote.rs │ │ └── lib.rs ├── math │ ├── Cargo.toml │ ├── benches │ │ ├── fold.rs │ │ └── tensor_prod_eq_ind.rs │ └── src │ │ ├── arith_expr.rs │ │ ├── binary_subspace.rs │ │ ├── composition_poly.rs │ │ ├── error.rs │ │ ├── evaluation_order.rs │ │ ├── fold.rs │ │ ├── lib.rs │ │ ├── matrix.rs │ │ ├── mle_adapters.rs │ │ ├── multilinear.rs │ │ ├── multilinear_extension.rs │ │ ├── multilinear_query.rs │ │ ├── packing_deref.rs │ │ ├── piecewise_multilinear.rs │ │ ├── rows_batch.rs │ │ ├── tensor_prod_eq_ind.rs │ │ ├── tower.rs │ │ └── univariate.rs ├── maybe_rayon │ ├── Cargo.toml │ └── src │ │ ├── iter │ │ ├── from_parallel_iterator.rs │ │ ├── indexed_parallel_iterator.rs │ │ ├── into_parallel_iterator.rs │ │ ├── mod.rs │ │ ├── par_bridge.rs │ │ ├── parallel_iterator.rs │ │ └── parallel_wrapper.rs │ │ ├── lib.rs │ │ └── slice │ │ ├── mod.rs │ │ ├── parallel_slice.rs │ │ └── parallel_slice_mut.rs ├── ntt │ ├── Cargo.toml │ ├── benches │ │ ├── additive_ntt.rs │ │ └── large_transform.rs │ └── src │ │ ├── additive_ntt.rs │ │ ├── dynamic_dispatch.rs │ │ ├── error.rs │ │ ├── fri.rs │ │ ├── lib.rs │ │ ├── multithreaded.rs │ │ ├── odd_interpolate.rs │ │ ├── single_threaded.rs │ │ ├── tests │ │ ├── mod.rs │ │ ├── ntt_tests.rs │ │ └── reference.rs │ │ └── twiddle.rs └── utils │ ├── Cargo.toml │ └── src │ ├── array_2d.rs │ ├── checked_arithmetics.rs │ ├── env.rs │ ├── error_utils.rs │ ├── felts.rs │ ├── formatting.rs │ ├── graph.rs │ ├── iter.rs │ ├── lib.rs │ ├── mem.rs │ ├── random_access_sequence.rs │ ├── rayon.rs │ ├── serialization.rs │ ├── sorting.rs │ ├── sparse_index.rs │ └── strided_array.rs ├── doc ├── Logo.png └── katex-header.html ├── examples ├── Cargo.toml ├── b32_mul.rs ├── bitwise_ops.rs ├── groestl.rs ├── keccak.rs ├── keccak_lookups.rs ├── merkle_tree.rs ├── sha256.rs ├── u32_add.rs └── u32_mul_gkr.rs ├── rust-toolchain.toml ├── scripts ├── check_copyright_notice.sh ├── check_cpu_extensions_sets.sh ├── convert_to_bencher.py ├── run_benchmark.py └── run_tests_and_examples.sh └── testgen └── field └── polyval.sage /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.clippy.toml: -------------------------------------------------------------------------------- 1 | allow-private-module-inception = true -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/workflows/benchmark.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/.github/workflows/benchmark.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/mirror.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/.github/workflows/mirror.yml -------------------------------------------------------------------------------- /.github/workflows/nightly-benchmark.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/.github/workflows/nightly-benchmark.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/.gitignore -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/.rustfmt.toml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/README.md -------------------------------------------------------------------------------- /crates/compute/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/Cargo.toml -------------------------------------------------------------------------------- /crates/compute/src/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/alloc.rs -------------------------------------------------------------------------------- /crates/compute/src/cpu/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/cpu/alloc.rs -------------------------------------------------------------------------------- /crates/compute/src/cpu/layer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/cpu/layer.rs -------------------------------------------------------------------------------- /crates/compute/src/cpu/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/cpu/memory.rs -------------------------------------------------------------------------------- /crates/compute/src/cpu/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/cpu/mod.rs -------------------------------------------------------------------------------- /crates/compute/src/cpu/tower_macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/cpu/tower_macro.rs -------------------------------------------------------------------------------- /crates/compute/src/layer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/layer.rs -------------------------------------------------------------------------------- /crates/compute/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/lib.rs -------------------------------------------------------------------------------- /crates/compute/src/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/memory.rs -------------------------------------------------------------------------------- /crates/compute/src/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/src/ops.rs -------------------------------------------------------------------------------- /crates/compute/tests/layer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute/tests/layer.rs -------------------------------------------------------------------------------- /crates/compute_test_utils/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute_test_utils/Cargo.toml -------------------------------------------------------------------------------- /crates/compute_test_utils/src/bivariate_sumcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute_test_utils/src/bivariate_sumcheck.rs -------------------------------------------------------------------------------- /crates/compute_test_utils/src/layer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute_test_utils/src/layer.rs -------------------------------------------------------------------------------- /crates/compute_test_utils/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute_test_utils/src/lib.rs -------------------------------------------------------------------------------- /crates/compute_test_utils/src/piop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute_test_utils/src/piop.rs -------------------------------------------------------------------------------- /crates/compute_test_utils/src/ring_switch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/compute_test_utils/src/ring_switch.rs -------------------------------------------------------------------------------- /crates/core/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/Cargo.toml -------------------------------------------------------------------------------- /crates/core/benches/arith_circuit_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/benches/arith_circuit_poly.rs -------------------------------------------------------------------------------- /crates/core/benches/binary_merkle_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/benches/binary_merkle_tree.rs -------------------------------------------------------------------------------- /crates/core/benches/multilinear_query.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/benches/multilinear_query.rs -------------------------------------------------------------------------------- /crates/core/benches/poly_commit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/benches/poly_commit.rs -------------------------------------------------------------------------------- /crates/core/benches/prodcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/benches/prodcheck.rs -------------------------------------------------------------------------------- /crates/core/benches/sumcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/benches/sumcheck.rs -------------------------------------------------------------------------------- /crates/core/src/composition/index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/composition/index.rs -------------------------------------------------------------------------------- /crates/core/src/composition/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/composition/mod.rs -------------------------------------------------------------------------------- /crates/core/src/composition/product_composition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/composition/product_composition.rs -------------------------------------------------------------------------------- /crates/core/src/constraint_system/channel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/constraint_system/channel.rs -------------------------------------------------------------------------------- /crates/core/src/constraint_system/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/constraint_system/common.rs -------------------------------------------------------------------------------- /crates/core/src/constraint_system/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/constraint_system/error.rs -------------------------------------------------------------------------------- /crates/core/src/constraint_system/exp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/constraint_system/exp.rs -------------------------------------------------------------------------------- /crates/core/src/constraint_system/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/constraint_system/mod.rs -------------------------------------------------------------------------------- /crates/core/src/constraint_system/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/constraint_system/prove.rs -------------------------------------------------------------------------------- /crates/core/src/constraint_system/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/constraint_system/tests.rs -------------------------------------------------------------------------------- /crates/core/src/constraint_system/validate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/constraint_system/validate.rs -------------------------------------------------------------------------------- /crates/core/src/constraint_system/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/constraint_system/verify.rs -------------------------------------------------------------------------------- /crates/core/src/fiat_shamir/hasher_challenger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/fiat_shamir/hasher_challenger.rs -------------------------------------------------------------------------------- /crates/core/src/fiat_shamir/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/fiat_shamir/mod.rs -------------------------------------------------------------------------------- /crates/core/src/fiat_shamir/sampling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/fiat_shamir/sampling.rs -------------------------------------------------------------------------------- /crates/core/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/lib.rs -------------------------------------------------------------------------------- /crates/core/src/merkle_tree/binary_merkle_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/merkle_tree/binary_merkle_tree.rs -------------------------------------------------------------------------------- /crates/core/src/merkle_tree/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/merkle_tree/errors.rs -------------------------------------------------------------------------------- /crates/core/src/merkle_tree/merkle_tree_vcs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/merkle_tree/merkle_tree_vcs.rs -------------------------------------------------------------------------------- /crates/core/src/merkle_tree/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/merkle_tree/mod.rs -------------------------------------------------------------------------------- /crates/core/src/merkle_tree/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/merkle_tree/prover.rs -------------------------------------------------------------------------------- /crates/core/src/merkle_tree/scheme.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/merkle_tree/scheme.rs -------------------------------------------------------------------------------- /crates/core/src/merkle_tree/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/merkle_tree/tests.rs -------------------------------------------------------------------------------- /crates/core/src/oracle/composite.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/oracle/composite.rs -------------------------------------------------------------------------------- /crates/core/src/oracle/constraint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/oracle/constraint.rs -------------------------------------------------------------------------------- /crates/core/src/oracle/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/oracle/error.rs -------------------------------------------------------------------------------- /crates/core/src/oracle/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/oracle/mod.rs -------------------------------------------------------------------------------- /crates/core/src/oracle/multilinear.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/oracle/multilinear.rs -------------------------------------------------------------------------------- /crates/core/src/oracle/oracle_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/oracle/oracle_id.rs -------------------------------------------------------------------------------- /crates/core/src/oracle/symbolic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/oracle/symbolic.rs -------------------------------------------------------------------------------- /crates/core/src/piop/commit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/piop/commit.rs -------------------------------------------------------------------------------- /crates/core/src/piop/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/piop/error.rs -------------------------------------------------------------------------------- /crates/core/src/piop/logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/piop/logging.rs -------------------------------------------------------------------------------- /crates/core/src/piop/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/piop/mod.rs -------------------------------------------------------------------------------- /crates/core/src/piop/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/piop/prove.rs -------------------------------------------------------------------------------- /crates/core/src/piop/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/piop/tests.rs -------------------------------------------------------------------------------- /crates/core/src/piop/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/piop/util.rs -------------------------------------------------------------------------------- /crates/core/src/piop/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/piop/verify.rs -------------------------------------------------------------------------------- /crates/core/src/polynomial/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/polynomial/error.rs -------------------------------------------------------------------------------- /crates/core/src/polynomial/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/polynomial/mod.rs -------------------------------------------------------------------------------- /crates/core/src/polynomial/multivariate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/polynomial/multivariate.rs -------------------------------------------------------------------------------- /crates/core/src/polynomial/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/polynomial/test_utils.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/evalcheck/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/evalcheck/error.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/evalcheck/evalcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/evalcheck/evalcheck.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/evalcheck/logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/evalcheck/logging.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/evalcheck/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/evalcheck/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/evalcheck/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/evalcheck/prove.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/evalcheck/subclaims.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/evalcheck/subclaims.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/evalcheck/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/evalcheck/tests.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/evalcheck/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/evalcheck/verify.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/fri/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/fri/common.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/fri/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/fri/error.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/fri/logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/fri/logging.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/fri/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/fri/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/fri/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/fri/prove.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/fri/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/fri/tests.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/fri/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/fri/verify.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/batch_prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/batch_prove.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/batch_verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/batch_verify.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/common.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/compositions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/compositions.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/error.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/oracles.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/oracles.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/provers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/provers.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/tests.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/utils.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/verifiers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/verifiers.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_exp/witness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_exp/witness.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_gpa/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_gpa/error.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_gpa/gkr_gpa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_gpa/gkr_gpa.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_gpa/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_gpa/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_gpa/oracles.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_gpa/oracles.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_gpa/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_gpa/prove.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_gpa/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_gpa/tests.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/gkr_gpa/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/gkr_gpa/verify.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/greedy_evalcheck/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/greedy_evalcheck/error.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/greedy_evalcheck/logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/greedy_evalcheck/logging.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/greedy_evalcheck/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/greedy_evalcheck/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/greedy_evalcheck/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/greedy_evalcheck/prove.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/greedy_evalcheck/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/greedy_evalcheck/tests.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/greedy_evalcheck/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/greedy_evalcheck/verify.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/prodcheck/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/prodcheck/common.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/prodcheck/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/prodcheck/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/prodcheck/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/prodcheck/prove.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/prodcheck/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/prodcheck/tests.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/common.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/eq_ind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/eq_ind.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/error.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/front_loaded.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/front_loaded.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/oracles.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/oracles.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/batch_sumcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/batch_sumcheck.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/batch_zerocheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/batch_zerocheck.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/common.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/eq_ind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/eq_ind.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/front_loaded.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/front_loaded.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/logging.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/oracles.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/oracles.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/prover_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/prover_state.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/regular_sumcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/regular_sumcheck.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/univariate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/univariate.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/prove/zerocheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/prove/zerocheck.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/tests.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/v3/bivariate_mlecheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/v3/bivariate_mlecheck.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/v3/bivariate_product.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/v3/bivariate_product.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/v3/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/v3/error.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/v3/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/v3/mod.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/verify_sumcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/verify_sumcheck.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/verify_zerocheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/verify_zerocheck.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/sumcheck/zerocheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/sumcheck/zerocheck.rs -------------------------------------------------------------------------------- /crates/core/src/protocols/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/protocols/test_utils.rs -------------------------------------------------------------------------------- /crates/core/src/reed_solomon/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/reed_solomon/error.rs -------------------------------------------------------------------------------- /crates/core/src/reed_solomon/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/reed_solomon/mod.rs -------------------------------------------------------------------------------- /crates/core/src/reed_solomon/reed_solomon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/reed_solomon/reed_solomon.rs -------------------------------------------------------------------------------- /crates/core/src/ring_switch/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/ring_switch/common.rs -------------------------------------------------------------------------------- /crates/core/src/ring_switch/eq_ind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/ring_switch/eq_ind.rs -------------------------------------------------------------------------------- /crates/core/src/ring_switch/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/ring_switch/error.rs -------------------------------------------------------------------------------- /crates/core/src/ring_switch/logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/ring_switch/logging.rs -------------------------------------------------------------------------------- /crates/core/src/ring_switch/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/ring_switch/mod.rs -------------------------------------------------------------------------------- /crates/core/src/ring_switch/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/ring_switch/prove.rs -------------------------------------------------------------------------------- /crates/core/src/ring_switch/tower_tensor_algebra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/ring_switch/tower_tensor_algebra.rs -------------------------------------------------------------------------------- /crates/core/src/ring_switch/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/ring_switch/verify.rs -------------------------------------------------------------------------------- /crates/core/src/tensor_algebra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/tensor_algebra.rs -------------------------------------------------------------------------------- /crates/core/src/transcript/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transcript/error.rs -------------------------------------------------------------------------------- /crates/core/src/transcript/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transcript/mod.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/constant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/constant.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/disjoint_product.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/disjoint_product.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/eq_ind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/eq_ind.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/mod.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/multilinear_extension.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/multilinear_extension.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/powers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/powers.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/select_row.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/select_row.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/serialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/serialization.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/shift_ind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/shift_ind.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/step_down.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/step_down.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/step_up.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/step_up.rs -------------------------------------------------------------------------------- /crates/core/src/transparent/tower_basis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/transparent/tower_basis.rs -------------------------------------------------------------------------------- /crates/core/src/witness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/src/witness.rs -------------------------------------------------------------------------------- /crates/core/tests/piop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/tests/piop.rs -------------------------------------------------------------------------------- /crates/core/tests/ring_switch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/core/tests/ring_switch.rs -------------------------------------------------------------------------------- /crates/fast_compute/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/fast_compute/Cargo.toml -------------------------------------------------------------------------------- /crates/fast_compute/src/arith_circuit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/fast_compute/src/arith_circuit.rs -------------------------------------------------------------------------------- /crates/fast_compute/src/layer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/fast_compute/src/layer.rs -------------------------------------------------------------------------------- /crates/fast_compute/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/fast_compute/src/lib.rs -------------------------------------------------------------------------------- /crates/fast_compute/src/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/fast_compute/src/memory.rs -------------------------------------------------------------------------------- /crates/fast_compute/tests/layer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/fast_compute/tests/layer.rs -------------------------------------------------------------------------------- /crates/field/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/Cargo.toml -------------------------------------------------------------------------------- /crates/field/benches/binary_field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/binary_field.rs -------------------------------------------------------------------------------- /crates/field/benches/binary_field_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/binary_field_util.rs -------------------------------------------------------------------------------- /crates/field/benches/byte_iteration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/byte_iteration.rs -------------------------------------------------------------------------------- /crates/field/benches/byte_sliced.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/byte_sliced.rs -------------------------------------------------------------------------------- /crates/field/benches/main_field_binary_ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/main_field_binary_ops.rs -------------------------------------------------------------------------------- /crates/field/benches/main_field_unary_ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/main_field_unary_ops.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_extension_mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_extension_mul.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_element_access.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_element_access.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_init.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_invert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_invert.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_iter.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_linear_transform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_linear_transform.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_mul_alpha.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_mul_alpha.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_multiply.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_multiply.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_slice_iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_slice_iter.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_spread.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_spread.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_square.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_square.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_subfield_ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_subfield_ops.rs -------------------------------------------------------------------------------- /crates/field/benches/packed_field_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/benches/packed_field_utils.rs -------------------------------------------------------------------------------- /crates/field/src/aes_field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/aes_field.rs -------------------------------------------------------------------------------- /crates/field/src/arch/aarch64/m128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/aarch64/m128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/aarch64/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/aarch64/mod.rs -------------------------------------------------------------------------------- /crates/field/src/arch/aarch64/packed_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/aarch64/packed_128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/aarch64/packed_aes_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/aarch64/packed_aes_128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/aarch64/packed_macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/aarch64/packed_macros.rs -------------------------------------------------------------------------------- /crates/field/src/arch/aarch64/packed_polyval_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/aarch64/packed_polyval_128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/aarch64/simd_arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/aarch64/simd_arithmetic.rs -------------------------------------------------------------------------------- /crates/field/src/arch/arch_optimal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/arch_optimal.rs -------------------------------------------------------------------------------- /crates/field/src/arch/binary_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/binary_utils.rs -------------------------------------------------------------------------------- /crates/field/src/arch/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/mod.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/byte_sliced/invert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/byte_sliced/invert.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/byte_sliced/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/byte_sliced/mod.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/byte_sliced/multiply.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/byte_sliced/multiply.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/byte_sliced/packed_byte_sliced.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/byte_sliced/packed_byte_sliced.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/byte_sliced/square.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/byte_sliced/square.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/byte_sliced/underlier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/byte_sliced/underlier.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/hybrid_recursive_arithmetics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/hybrid_recursive_arithmetics.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/mod.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_1.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_16.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_2.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_32.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_4.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_4.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_64.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_8.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_8.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_aes_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_aes_128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_aes_16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_aes_16.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_aes_256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_aes_256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_aes_32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_aes_32.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_aes_512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_aes_512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_aes_64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_aes_64.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_aes_8.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_aes_8.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_arithmetic.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_macros.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_polyval_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_polyval_128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_polyval_256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_polyval_256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_polyval_512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_polyval_512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/packed_scaled.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/packed_scaled.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/pairwise_arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/pairwise_arithmetic.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/pairwise_recursive_arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/pairwise_recursive_arithmetic.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/pairwise_table_arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/pairwise_table_arithmetic.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/reuse_multiply_arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/reuse_multiply_arithmetic.rs -------------------------------------------------------------------------------- /crates/field/src/arch/portable/underlier_constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/portable/underlier_constants.rs -------------------------------------------------------------------------------- /crates/field/src/arch/strategies.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/strategies.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/gfni/aes_isomorphic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/gfni/aes_isomorphic.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/gfni/gfni_arithmetics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/gfni/gfni_arithmetics.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/gfni/m128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/gfni/m128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/gfni/m256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/gfni/m256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/gfni/m512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/gfni/m512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/gfni/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/gfni/mod.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/m128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/m128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/m256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/m256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/m512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/m512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/mod.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_aes_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_aes_128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_aes_256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_aes_256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_aes_512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_aes_512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_macros.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_polyval_128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_polyval_128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_polyval_256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_polyval_256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/packed_polyval_512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/packed_polyval_512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/pclmul/m128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/pclmul/m128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/pclmul/m256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/pclmul/m256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/pclmul/m512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/pclmul/m512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/pclmul/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/pclmul/mod.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/pclmul/montgomery_mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/pclmul/montgomery_mul.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/simd/m128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/simd/m128.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/simd/m256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/simd/m256.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/simd/m512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/simd/m512.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/simd/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/simd/mod.rs -------------------------------------------------------------------------------- /crates/field/src/arch/x86_64/simd/simd_arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arch/x86_64/simd/simd_arithmetic.rs -------------------------------------------------------------------------------- /crates/field/src/arithmetic_traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/arithmetic_traits.rs -------------------------------------------------------------------------------- /crates/field/src/as_packed_field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/as_packed_field.rs -------------------------------------------------------------------------------- /crates/field/src/binary_field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/binary_field.rs -------------------------------------------------------------------------------- /crates/field/src/binary_field_arithmetic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/binary_field_arithmetic.rs -------------------------------------------------------------------------------- /crates/field/src/byte_iteration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/byte_iteration.rs -------------------------------------------------------------------------------- /crates/field/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/error.rs -------------------------------------------------------------------------------- /crates/field/src/extension.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/extension.rs -------------------------------------------------------------------------------- /crates/field/src/field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/field.rs -------------------------------------------------------------------------------- /crates/field/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/lib.rs -------------------------------------------------------------------------------- /crates/field/src/linear_transformation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/linear_transformation.rs -------------------------------------------------------------------------------- /crates/field/src/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/macros.rs -------------------------------------------------------------------------------- /crates/field/src/packed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/packed.rs -------------------------------------------------------------------------------- /crates/field/src/packed_aes_field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/packed_aes_field.rs -------------------------------------------------------------------------------- /crates/field/src/packed_binary_field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/packed_binary_field.rs -------------------------------------------------------------------------------- /crates/field/src/packed_extension.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/packed_extension.rs -------------------------------------------------------------------------------- /crates/field/src/packed_extension_ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/packed_extension_ops.rs -------------------------------------------------------------------------------- /crates/field/src/packed_polyval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/packed_polyval.rs -------------------------------------------------------------------------------- /crates/field/src/polyval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/polyval.rs -------------------------------------------------------------------------------- /crates/field/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/tests.rs -------------------------------------------------------------------------------- /crates/field/src/tower.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/tower.rs -------------------------------------------------------------------------------- /crates/field/src/tower_levels.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/tower_levels.rs -------------------------------------------------------------------------------- /crates/field/src/tracing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/tracing.rs -------------------------------------------------------------------------------- /crates/field/src/transpose.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/transpose.rs -------------------------------------------------------------------------------- /crates/field/src/underlier/divisible.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/underlier/divisible.rs -------------------------------------------------------------------------------- /crates/field/src/underlier/iteration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/underlier/iteration.rs -------------------------------------------------------------------------------- /crates/field/src/underlier/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/underlier/mod.rs -------------------------------------------------------------------------------- /crates/field/src/underlier/scaled.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/underlier/scaled.rs -------------------------------------------------------------------------------- /crates/field/src/underlier/small_uint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/underlier/small_uint.rs -------------------------------------------------------------------------------- /crates/field/src/underlier/underlier_impls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/underlier/underlier_impls.rs -------------------------------------------------------------------------------- /crates/field/src/underlier/underlier_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/underlier/underlier_type.rs -------------------------------------------------------------------------------- /crates/field/src/underlier/underlier_with_bit_ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/underlier/underlier_with_bit_ops.rs -------------------------------------------------------------------------------- /crates/field/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/field/src/util.rs -------------------------------------------------------------------------------- /crates/hal/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/Cargo.toml -------------------------------------------------------------------------------- /crates/hal/src/backend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/src/backend.rs -------------------------------------------------------------------------------- /crates/hal/src/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/src/common.rs -------------------------------------------------------------------------------- /crates/hal/src/cpu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/src/cpu.rs -------------------------------------------------------------------------------- /crates/hal/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/src/error.rs -------------------------------------------------------------------------------- /crates/hal/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/src/lib.rs -------------------------------------------------------------------------------- /crates/hal/src/sumcheck_evaluator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/src/sumcheck_evaluator.rs -------------------------------------------------------------------------------- /crates/hal/src/sumcheck_folding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/src/sumcheck_folding.rs -------------------------------------------------------------------------------- /crates/hal/src/sumcheck_multilinear.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/src/sumcheck_multilinear.rs -------------------------------------------------------------------------------- /crates/hal/src/sumcheck_round_calculation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hal/src/sumcheck_round_calculation.rs -------------------------------------------------------------------------------- /crates/hash/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/Cargo.toml -------------------------------------------------------------------------------- /crates/hash/benches/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/benches/hash.rs -------------------------------------------------------------------------------- /crates/hash/src/compression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/compression.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/arch/groestl_avx512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/arch/groestl_avx512.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/arch/groestl_multi_avx2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/arch/groestl_multi_avx2.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/arch/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/arch/mod.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/arch/portable/compress512.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/arch/portable/compress512.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/arch/portable/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/arch/portable/mod.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/arch/portable/table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/arch/portable/table.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/compression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/compression.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/digest.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/mod.rs -------------------------------------------------------------------------------- /crates/hash/src/groestl/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/groestl/tests.rs -------------------------------------------------------------------------------- /crates/hash/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/lib.rs -------------------------------------------------------------------------------- /crates/hash/src/multi_digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/multi_digest.rs -------------------------------------------------------------------------------- /crates/hash/src/permutation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/permutation.rs -------------------------------------------------------------------------------- /crates/hash/src/serialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/serialization.rs -------------------------------------------------------------------------------- /crates/hash/src/sha2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/sha2.rs -------------------------------------------------------------------------------- /crates/hash/src/vision/compression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/vision/compression.rs -------------------------------------------------------------------------------- /crates/hash/src/vision/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/vision/constants.rs -------------------------------------------------------------------------------- /crates/hash/src/vision/digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/vision/digest.rs -------------------------------------------------------------------------------- /crates/hash/src/vision/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/vision/mod.rs -------------------------------------------------------------------------------- /crates/hash/src/vision/permutation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/hash/src/vision/permutation.rs -------------------------------------------------------------------------------- /crates/m3/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/Cargo.toml -------------------------------------------------------------------------------- /crates/m3/src/builder/channel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/channel.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/column.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/column.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/constraint_system.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/constraint_system.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/error.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/expr.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/indexed_lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/indexed_lookup.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/mod.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/multi_iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/multi_iter.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/stat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/stat.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/structured.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/structured.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/table.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/test_utils.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/types.rs -------------------------------------------------------------------------------- /crates/m3/src/builder/witness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/builder/witness.rs -------------------------------------------------------------------------------- /crates/m3/src/emulate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/emulate.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/add.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/barrel_shifter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/barrel_shifter.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/div.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/div.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/hash/groestl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/hash/groestl.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/hash/keccak/lookedup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/hash/keccak/lookedup.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/hash/keccak/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/hash/keccak/mod.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/hash/keccak/stacked.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/hash/keccak/stacked.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/hash/keccak/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/hash/keccak/state.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/hash/keccak/test_vector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/hash/keccak/test_vector.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/hash/keccak/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/hash/keccak/trace.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/hash/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/hash/mod.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/hash/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/hash/sha256.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/indexed_lookup/and.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/indexed_lookup/and.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/indexed_lookup/incr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/indexed_lookup/incr.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/indexed_lookup/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/indexed_lookup/mod.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/lookup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/lookup.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/merkle_tree/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/merkle_tree/mod.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/merkle_tree/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/merkle_tree/trace.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/mod.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/mul.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/structured.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/structured.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/sub.rs -------------------------------------------------------------------------------- /crates/m3/src/gadgets/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/gadgets/util.rs -------------------------------------------------------------------------------- /crates/m3/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/src/lib.rs -------------------------------------------------------------------------------- /crates/m3/tests/collatz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/tests/collatz.rs -------------------------------------------------------------------------------- /crates/m3/tests/computed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/tests/computed.rs -------------------------------------------------------------------------------- /crates/m3/tests/fibonacci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/tests/fibonacci.rs -------------------------------------------------------------------------------- /crates/m3/tests/flush_multiple_selectors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/tests/flush_multiple_selectors.rs -------------------------------------------------------------------------------- /crates/m3/tests/groestl_hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/tests/groestl_hash.rs -------------------------------------------------------------------------------- /crates/m3/tests/mul_div_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/m3/tests/mul_div_tests.rs -------------------------------------------------------------------------------- /crates/macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/macros/Cargo.toml -------------------------------------------------------------------------------- /crates/macros/src/deserialize_bytes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/macros/src/deserialize_bytes.rs -------------------------------------------------------------------------------- /crates/macros/src/deserialize_bytes/parse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/macros/src/deserialize_bytes/parse.rs -------------------------------------------------------------------------------- /crates/macros/src/deserialize_bytes/quote.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/macros/src/deserialize_bytes/quote.rs -------------------------------------------------------------------------------- /crates/macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/macros/src/lib.rs -------------------------------------------------------------------------------- /crates/math/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/Cargo.toml -------------------------------------------------------------------------------- /crates/math/benches/fold.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/benches/fold.rs -------------------------------------------------------------------------------- /crates/math/benches/tensor_prod_eq_ind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/benches/tensor_prod_eq_ind.rs -------------------------------------------------------------------------------- /crates/math/src/arith_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/arith_expr.rs -------------------------------------------------------------------------------- /crates/math/src/binary_subspace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/binary_subspace.rs -------------------------------------------------------------------------------- /crates/math/src/composition_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/composition_poly.rs -------------------------------------------------------------------------------- /crates/math/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/error.rs -------------------------------------------------------------------------------- /crates/math/src/evaluation_order.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/evaluation_order.rs -------------------------------------------------------------------------------- /crates/math/src/fold.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/fold.rs -------------------------------------------------------------------------------- /crates/math/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/lib.rs -------------------------------------------------------------------------------- /crates/math/src/matrix.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/matrix.rs -------------------------------------------------------------------------------- /crates/math/src/mle_adapters.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/mle_adapters.rs -------------------------------------------------------------------------------- /crates/math/src/multilinear.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/multilinear.rs -------------------------------------------------------------------------------- /crates/math/src/multilinear_extension.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/multilinear_extension.rs -------------------------------------------------------------------------------- /crates/math/src/multilinear_query.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/multilinear_query.rs -------------------------------------------------------------------------------- /crates/math/src/packing_deref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/packing_deref.rs -------------------------------------------------------------------------------- /crates/math/src/piecewise_multilinear.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/piecewise_multilinear.rs -------------------------------------------------------------------------------- /crates/math/src/rows_batch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/rows_batch.rs -------------------------------------------------------------------------------- /crates/math/src/tensor_prod_eq_ind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/tensor_prod_eq_ind.rs -------------------------------------------------------------------------------- /crates/math/src/tower.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/tower.rs -------------------------------------------------------------------------------- /crates/math/src/univariate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/math/src/univariate.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/Cargo.toml -------------------------------------------------------------------------------- /crates/maybe_rayon/src/iter/from_parallel_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/iter/from_parallel_iterator.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/iter/indexed_parallel_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/iter/indexed_parallel_iterator.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/iter/into_parallel_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/iter/into_parallel_iterator.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/iter/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/iter/mod.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/iter/par_bridge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/iter/par_bridge.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/iter/parallel_iterator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/iter/parallel_iterator.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/iter/parallel_wrapper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/iter/parallel_wrapper.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/lib.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/slice/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/slice/mod.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/slice/parallel_slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/slice/parallel_slice.rs -------------------------------------------------------------------------------- /crates/maybe_rayon/src/slice/parallel_slice_mut.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/maybe_rayon/src/slice/parallel_slice_mut.rs -------------------------------------------------------------------------------- /crates/ntt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/Cargo.toml -------------------------------------------------------------------------------- /crates/ntt/benches/additive_ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/benches/additive_ntt.rs -------------------------------------------------------------------------------- /crates/ntt/benches/large_transform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/benches/large_transform.rs -------------------------------------------------------------------------------- /crates/ntt/src/additive_ntt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/additive_ntt.rs -------------------------------------------------------------------------------- /crates/ntt/src/dynamic_dispatch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/dynamic_dispatch.rs -------------------------------------------------------------------------------- /crates/ntt/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/error.rs -------------------------------------------------------------------------------- /crates/ntt/src/fri.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/fri.rs -------------------------------------------------------------------------------- /crates/ntt/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/lib.rs -------------------------------------------------------------------------------- /crates/ntt/src/multithreaded.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/multithreaded.rs -------------------------------------------------------------------------------- /crates/ntt/src/odd_interpolate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/odd_interpolate.rs -------------------------------------------------------------------------------- /crates/ntt/src/single_threaded.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/single_threaded.rs -------------------------------------------------------------------------------- /crates/ntt/src/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/tests/mod.rs -------------------------------------------------------------------------------- /crates/ntt/src/tests/ntt_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/tests/ntt_tests.rs -------------------------------------------------------------------------------- /crates/ntt/src/tests/reference.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/tests/reference.rs -------------------------------------------------------------------------------- /crates/ntt/src/twiddle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/ntt/src/twiddle.rs -------------------------------------------------------------------------------- /crates/utils/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/Cargo.toml -------------------------------------------------------------------------------- /crates/utils/src/array_2d.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/array_2d.rs -------------------------------------------------------------------------------- /crates/utils/src/checked_arithmetics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/checked_arithmetics.rs -------------------------------------------------------------------------------- /crates/utils/src/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/env.rs -------------------------------------------------------------------------------- /crates/utils/src/error_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/error_utils.rs -------------------------------------------------------------------------------- /crates/utils/src/felts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/felts.rs -------------------------------------------------------------------------------- /crates/utils/src/formatting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/formatting.rs -------------------------------------------------------------------------------- /crates/utils/src/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/graph.rs -------------------------------------------------------------------------------- /crates/utils/src/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/iter.rs -------------------------------------------------------------------------------- /crates/utils/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/lib.rs -------------------------------------------------------------------------------- /crates/utils/src/mem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/mem.rs -------------------------------------------------------------------------------- /crates/utils/src/random_access_sequence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/random_access_sequence.rs -------------------------------------------------------------------------------- /crates/utils/src/rayon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/rayon.rs -------------------------------------------------------------------------------- /crates/utils/src/serialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/serialization.rs -------------------------------------------------------------------------------- /crates/utils/src/sorting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/sorting.rs -------------------------------------------------------------------------------- /crates/utils/src/sparse_index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/sparse_index.rs -------------------------------------------------------------------------------- /crates/utils/src/strided_array.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/crates/utils/src/strided_array.rs -------------------------------------------------------------------------------- /doc/Logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/doc/Logo.png -------------------------------------------------------------------------------- /doc/katex-header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/doc/katex-header.html -------------------------------------------------------------------------------- /examples/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/Cargo.toml -------------------------------------------------------------------------------- /examples/b32_mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/b32_mul.rs -------------------------------------------------------------------------------- /examples/bitwise_ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/bitwise_ops.rs -------------------------------------------------------------------------------- /examples/groestl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/groestl.rs -------------------------------------------------------------------------------- /examples/keccak.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/keccak.rs -------------------------------------------------------------------------------- /examples/keccak_lookups.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/keccak_lookups.rs -------------------------------------------------------------------------------- /examples/merkle_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/merkle_tree.rs -------------------------------------------------------------------------------- /examples/sha256.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/sha256.rs -------------------------------------------------------------------------------- /examples/u32_add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/u32_add.rs -------------------------------------------------------------------------------- /examples/u32_mul_gkr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/examples/u32_mul_gkr.rs -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly-2025-04-24" 3 | -------------------------------------------------------------------------------- /scripts/check_copyright_notice.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/scripts/check_copyright_notice.sh -------------------------------------------------------------------------------- /scripts/check_cpu_extensions_sets.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/scripts/check_cpu_extensions_sets.sh -------------------------------------------------------------------------------- /scripts/convert_to_bencher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/scripts/convert_to_bencher.py -------------------------------------------------------------------------------- /scripts/run_benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/scripts/run_benchmark.py -------------------------------------------------------------------------------- /scripts/run_tests_and_examples.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/scripts/run_tests_and_examples.sh -------------------------------------------------------------------------------- /testgen/field/polyval.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IrreducibleOSS/binius/HEAD/testgen/field/polyval.sage --------------------------------------------------------------------------------