LICENSE
README.md
pyproject.toml
sp1_zorch/__init__.py
sp1_zorch.egg-info/PKG-INFO
sp1_zorch.egg-info/SOURCES.txt
sp1_zorch.egg-info/dependency_links.txt
sp1_zorch.egg-info/requires.txt
sp1_zorch.egg-info/top_level.txt
sp1_zorch/logup_gkr/__init__.py
sp1_zorch/logup_gkr/circuit.py
sp1_zorch/logup_gkr/circuit_test.py
sp1_zorch/logup_gkr/head.py
sp1_zorch/logup_gkr/head_test.py
sp1_zorch/logup_gkr/prover.py
sp1_zorch/logup_gkr/prover_test.py
sp1_zorch/logup_gkr/public_values.py
sp1_zorch/logup_gkr/public_values_test.py
sp1_zorch/logup_gkr/verifier.py
sp1_zorch/logup_gkr/verifier_test.py
sp1_zorch/logup_gkr/verify_first_layer.py
sp1_zorch/logup_gkr/verify_gkr_prove.py
sp1_zorch/logup_gkr/verify_gkr_recompile.py
sp1_zorch/poseidon2/__init__.py
sp1_zorch/poseidon2/koalabear16.py
sp1_zorch/shard_prover/__init__.py
sp1_zorch/shard_prover/chain_testkit.py
sp1_zorch/shard_prover/chip_loader.py
sp1_zorch/shard_prover/fixture_loader.py
sp1_zorch/shard_prover/fixture_loader_test.py
sp1_zorch/shard_prover/producer_loader.py
sp1_zorch/shard_prover/producer_loader_test.py
sp1_zorch/shard_prover/prove_shard.py
sp1_zorch/shard_prover/prove_shard_test.py
sp1_zorch/shard_prover/replay.py
sp1_zorch/shard_prover/serialize.py
sp1_zorch/shard_prover/serialize_test.py
sp1_zorch/shard_prover/sp1_ffi.py
sp1_zorch/shard_prover/types.py
sp1_zorch/shard_prover/verify_prove_shard.py
sp1_zorch/shard_prover/verify_shard.py
sp1_zorch/shard_prover/verify_shard_fixture.py
sp1_zorch/shard_prover/verify_shard_test.py
sp1_zorch/shard_prover/warm_shard_cache.py
sp1_zorch/shard_prover/warm_worker.py
sp1_zorch/zerocheck/__init__.py
sp1_zorch/zerocheck/_round_composite.py
sp1_zorch/zerocheck/_round_composite_test.py
sp1_zorch/zerocheck/coeffs.py
sp1_zorch/zerocheck/coeffs_test.py
sp1_zorch/zerocheck/jagged.py
sp1_zorch/zerocheck/jagged_byte_match_test.py
sp1_zorch/zerocheck/jagged_test.py
sp1_zorch/zerocheck/prover.py
sp1_zorch/zerocheck/prover_test.py
sp1_zorch/zerocheck/verifier.py
sp1_zorch/zerocheck/verifier_test.py
sp1_zorch/zerocheck/verify_zerocheck.py
sp1_zorch/zerocheck/verify_zerocheck_recompile.py
sp1_zorch/zerocheck/verify_zerocheck_test.py