├── .devcontainer ├── Dockerfile └── devcontainer.json ├── .firebaserc ├── .gitattributes ├── .github └── workflows │ ├── arch-tests.yml │ ├── ci-bench.yml │ ├── deploy-mdbook.yml │ └── rust.yml ├── .gitignore ├── .gitmodules ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── Makefile ├── README.md ├── book ├── .gitignore ├── README.md ├── book.toml ├── src │ ├── SUMMARY.md │ ├── how │ │ ├── appendix │ │ │ ├── appendix.md │ │ │ ├── eq-polynomial.md │ │ │ ├── jolt-classic.md │ │ │ ├── memory-checking.md │ │ │ ├── multilinear-extensions.md │ │ │ ├── pcs.md │ │ │ ├── resources.md │ │ │ ├── risc-v.md │ │ │ ├── sumcheck.md │ │ │ └── terminology.md │ │ ├── architecture │ │ │ ├── architecture.md │ │ │ ├── bytecode.md │ │ │ ├── emulation.md │ │ │ ├── instruction_execution.md │ │ │ ├── opening-proof.md │ │ │ ├── r1cs_constraints.md │ │ │ ├── ram.md │ │ │ ├── registers.md │ │ │ └── spartan.md │ │ ├── dory.md │ │ ├── how-it-works.md │ │ ├── optimizations │ │ │ ├── batched-openings.md │ │ │ ├── batched-sumcheck.md │ │ │ ├── compression.md │ │ │ ├── eq.md │ │ │ ├── inlines.md │ │ │ ├── optimizations.md │ │ │ └── small-value.md │ │ └── twist-shout.md │ ├── imgs │ │ ├── allocative.png │ │ ├── bytecode.png │ │ ├── compilation_to_riscv.png │ │ ├── end_to_end.png │ │ ├── figure2.png │ │ ├── final_memory_state.png │ │ ├── initial_memory_state.png │ │ ├── jolt_alpha.png │ │ ├── jolt_as_cpu.png │ │ ├── jolt_dag.png │ │ ├── memory_layout.png │ │ ├── metrics-monitor.png │ │ ├── perfetto.png │ │ ├── pprof-flamegraph.png │ │ ├── pprof-top.png │ │ ├── twist_read_write_checking.png │ │ └── twist_val_evaluation.png │ ├── intro.md │ ├── roadmap │ │ ├── on-chain-verifier.md │ │ ├── precompiles.md │ │ ├── recursion.md │ │ ├── roadmap.md │ │ ├── streaming.md │ │ └── zk.md │ └── usage │ │ ├── guests_hosts │ │ ├── guests.md │ │ ├── guests_hosts.md │ │ └── hosts.md │ │ ├── profiling │ │ ├── guest_profiling.md │ │ ├── profiling.md │ │ └── zkvm_profiling.md │ │ ├── quickstart.md │ │ ├── troubleshooting.md │ │ └── usage.md └── theme │ └── favicon.png ├── common ├── Cargo.toml └── src │ ├── attributes.rs │ ├── constants.rs │ ├── jolt_device.rs │ └── lib.rs ├── docker ├── Dockerfile.spike ├── README.md └── build.sh ├── examples ├── alloc │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── btreemap │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── host │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── collatz │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── fibonacci │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── hash-bench │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── malloc │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ │ ├── lib.rs │ │ │ ├── main.rs │ │ │ └── malloc.c │ └── src │ │ └── main.rs ├── memory-ops │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── merkle-tree │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── muldiv │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── multi-function │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── overflow │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── random │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── recover-ecdsa │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── recursion │ ├── Cargo.toml │ ├── README.md │ ├── guest │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ ├── build.rs │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── run_ci_benchmarks.sh ├── sha2-chain │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── sha2-ex │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── sha3-chain │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── sha3-ex │ ├── Cargo.toml │ ├── guest │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── lib.rs │ │ │ └── main.rs │ └── src │ │ └── main.rs └── stdlib │ ├── Cargo.toml │ ├── guest │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── main.rs │ └── src │ └── main.rs ├── firebase.json ├── guest-toolchain-tag ├── imgs └── jolt_alpha.png ├── jolt-core ├── Cargo.toml ├── benches │ ├── binding.rs │ ├── challenge_mult_performance.rs │ ├── commit.rs │ ├── e2e_profiling.rs │ ├── iai.rs │ ├── mles_product_sum.rs │ ├── poly_bench.rs │ └── polynomial_evaluation.rs └── src │ ├── bin │ └── jolt_core.rs │ ├── field │ ├── ark.rs │ ├── challenge │ │ ├── macros.rs │ │ ├── mod.rs │ │ ├── mont_ark_u128.rs │ │ └── mont_ark_u254.rs │ ├── mod.rs │ └── tracked_ark.rs │ ├── guest │ ├── mod.rs │ ├── program.rs │ ├── prover.rs │ └── verifier.rs │ ├── host │ ├── analyze.rs │ ├── mod.rs │ ├── program.rs │ └── toolchain.rs │ ├── lib.rs │ ├── msm │ ├── NOTICE.md │ └── mod.rs │ ├── poly │ ├── commitment │ │ ├── commitment_scheme.rs │ │ ├── dory │ │ │ ├── commitment_scheme.rs │ │ │ ├── dory_globals.rs │ │ │ ├── jolt_dory_routines.rs │ │ │ ├── mod.rs │ │ │ ├── tests.rs │ │ │ └── wrappers.rs │ │ ├── hyperkzg.rs │ │ ├── kzg.rs │ │ ├── mock.rs │ │ └── mod.rs │ ├── compact_polynomial.rs │ ├── dense_mlpoly.rs │ ├── eq_plus_one_poly.rs │ ├── eq_poly.rs │ ├── identity_poly.rs │ ├── lagrange_poly.rs │ ├── lt_poly.rs │ ├── mod.rs │ ├── multilinear_polynomial.rs │ ├── one_hot_polynomial.rs │ ├── opening_proof.rs │ ├── prefix_suffix.rs │ ├── program_io_polynomial.rs │ ├── ra_poly.rs │ ├── range_mask_polynomial.rs │ ├── rlc_polynomial.rs │ ├── split_eq_poly.rs │ └── unipoly.rs │ ├── subprotocols │ ├── booleanity.rs │ ├── hamming_weight.rs │ ├── mles_product_sum.rs │ ├── mod.rs │ ├── sumcheck.rs │ ├── sumcheck_prover.rs │ ├── sumcheck_verifier.rs │ └── univariate_skip.rs │ ├── transcripts │ ├── blake2b.rs │ ├── keccak.rs │ ├── mod.rs │ └── transcript.rs │ ├── utils │ ├── accumulation.rs │ ├── counters.rs │ ├── errors.rs │ ├── expanding_table.rs │ ├── gaussian_elimination.rs │ ├── lookup_bits.rs │ ├── math.rs │ ├── mod.rs │ ├── monitor.rs │ ├── profiling.rs │ ├── small_scalar.rs │ └── thread.rs │ └── zkvm │ ├── bytecode │ ├── mod.rs │ └── read_raf_checking.rs │ ├── config.rs │ ├── instruction │ ├── add.rs │ ├── addi.rs │ ├── and.rs │ ├── andi.rs │ ├── andn.rs │ ├── auipc.rs │ ├── beq.rs │ ├── bge.rs │ ├── bgeu.rs │ ├── blt.rs │ ├── bltu.rs │ ├── bne.rs │ ├── ecall.rs │ ├── fence.rs │ ├── jal.rs │ ├── jalr.rs │ ├── ld.rs │ ├── lui.rs │ ├── mod.rs │ ├── mul.rs │ ├── mulhu.rs │ ├── or.rs │ ├── ori.rs │ ├── sd.rs │ ├── slt.rs │ ├── slti.rs │ ├── sltiu.rs │ ├── sltu.rs │ ├── sub.rs │ ├── test.rs │ ├── virtual_advice.rs │ ├── virtual_assert_eq.rs │ ├── virtual_assert_halfword_alignment.rs │ ├── virtual_assert_lte.rs │ ├── virtual_assert_mulu_no_overflow.rs │ ├── virtual_assert_valid_div0.rs │ ├── virtual_assert_valid_unsigned_remainder.rs │ ├── virtual_assert_word_alignment.rs │ ├── virtual_change_divisor.rs │ ├── virtual_change_divisor_w.rs │ ├── virtual_movsign.rs │ ├── virtual_muli.rs │ ├── virtual_pow2.rs │ ├── virtual_pow2i.rs │ ├── virtual_pow2iw.rs │ ├── virtual_pow2w.rs │ ├── virtual_rev8w.rs │ ├── virtual_rotri.rs │ ├── virtual_rotriw.rs │ ├── virtual_shift_right_bitmask.rs │ ├── virtual_shift_right_bitmaski.rs │ ├── virtual_sign_extend_word.rs │ ├── virtual_sra.rs │ ├── virtual_srai.rs │ ├── virtual_srl.rs │ ├── virtual_srli.rs │ ├── virtual_xor_rot.rs │ ├── virtual_xor_rotw.rs │ ├── virtual_zero_extend_word.rs │ ├── xor.rs │ └── xori.rs │ ├── instruction_lookups │ ├── mod.rs │ ├── ra_virtual.rs │ └── read_raf_checking.rs │ ├── lookup_table │ ├── and.rs │ ├── andn.rs │ ├── equal.rs │ ├── halfword_alignment.rs │ ├── lower_half_word.rs │ ├── mod.rs │ ├── movsign.rs │ ├── mulu_no_overflow.rs │ ├── not_equal.rs │ ├── or.rs │ ├── pow2.rs │ ├── pow2_w.rs │ ├── prefixes │ │ ├── and.rs │ │ ├── andn.rs │ │ ├── change_divisor.rs │ │ ├── change_divisor_w.rs │ │ ├── div_by_zero.rs │ │ ├── eq.rs │ │ ├── left_is_zero.rs │ │ ├── left_msb.rs │ │ ├── left_shift.rs │ │ ├── left_shift_helper.rs │ │ ├── left_shift_w.rs │ │ ├── left_shift_w_helper.rs │ │ ├── lower_half_word.rs │ │ ├── lower_word.rs │ │ ├── lsb.rs │ │ ├── lt.rs │ │ ├── mod.rs │ │ ├── negative_divisor_equals_remainder.rs │ │ ├── negative_divisor_greater_than_remainder.rs │ │ ├── negative_divisor_zero_remainder.rs │ │ ├── or.rs │ │ ├── overflow_bits_zero.rs │ │ ├── positive_remainder_equals_divisor.rs │ │ ├── positive_remainder_less_than_divisor.rs │ │ ├── pow2.rs │ │ ├── pow2_w.rs │ │ ├── rev8w.rs │ │ ├── right_is_zero.rs │ │ ├── right_msb.rs │ │ ├── right_operand.rs │ │ ├── right_operand_w.rs │ │ ├── right_shift.rs │ │ ├── right_shift_w.rs │ │ ├── sign_extension.rs │ │ ├── sign_extension_right_operand.rs │ │ ├── sign_extension_upper_half.rs │ │ ├── two_lsb.rs │ │ ├── upper_word.rs │ │ ├── xor.rs │ │ ├── xor_rot.rs │ │ └── xor_rotw.rs │ ├── range_check.rs │ ├── range_check_aligned.rs │ ├── shift_right_bitmask.rs │ ├── sign_extend_half_word.rs │ ├── signed_greater_than_equal.rs │ ├── signed_less_than.rs │ ├── sub.rs │ ├── suffixes │ │ ├── and.rs │ │ ├── change_divisor.rs │ │ ├── change_divisor_w.rs │ │ ├── div_by_zero.rs │ │ ├── eq.rs │ │ ├── gt.rs │ │ ├── left_is_zero.rs │ │ ├── left_shift.rs │ │ ├── left_shift_w.rs │ │ ├── left_shift_w_helper.rs │ │ ├── lower_half_word.rs │ │ ├── lower_word.rs │ │ ├── lsb.rs │ │ ├── lt.rs │ │ ├── mod.rs │ │ ├── notand.rs │ │ ├── one.rs │ │ ├── or.rs │ │ ├── overflow_bits_zero.rs │ │ ├── pow2.rs │ │ ├── pow2_w.rs │ │ ├── rev8w.rs │ │ ├── right_is_zero.rs │ │ ├── right_operand.rs │ │ ├── right_operand_w.rs │ │ ├── right_shift.rs │ │ ├── right_shift_helper.rs │ │ ├── right_shift_padding.rs │ │ ├── right_shift_w.rs │ │ ├── right_shift_w_helper.rs │ │ ├── sign_extension.rs │ │ ├── sign_extension_right_operand.rs │ │ ├── sign_extension_upper_half.rs │ │ ├── two_lsb.rs │ │ ├── upper_word.rs │ │ ├── xor.rs │ │ ├── xor_rot.rs │ │ └── xor_rotw.rs │ ├── test.rs │ ├── unsigned_greater_than_equal.rs │ ├── unsigned_less_than.rs │ ├── unsigned_less_than_equal.rs │ ├── upper_word.rs │ ├── valid_div0.rs │ ├── valid_signed_remainder.rs │ ├── valid_unsigned_remainder.rs │ ├── virtual_change_divisor.rs │ ├── virtual_change_divisor_w.rs │ ├── virtual_rev8w.rs │ ├── virtual_rotr.rs │ ├── virtual_rotrw.rs │ ├── virtual_sra.rs │ ├── virtual_srl.rs │ ├── virtual_xor_rot.rs │ ├── virtual_xor_rotw.rs │ ├── word_alignment.rs │ └── xor.rs │ ├── mod.rs │ ├── proof_serialization.rs │ ├── prover.rs │ ├── r1cs │ ├── constraints.rs │ ├── evaluation.rs │ ├── inputs.rs │ ├── key.rs │ ├── mod.rs │ └── ops.rs │ ├── ram │ ├── hamming_booleanity.rs │ ├── mod.rs │ ├── output_check.rs │ ├── ra_virtual.rs │ ├── raf_evaluation.rs │ ├── read_write_checking.rs │ ├── sparse_matrix_poly.rs │ └── val_evaluation.rs │ ├── registers │ ├── mod.rs │ ├── read_write_checking.rs │ └── val_evaluation.rs │ ├── spartan │ ├── NOTICE.md │ ├── claim_reductions.rs │ ├── instruction_input.rs │ ├── mod.rs │ ├── outer.rs │ ├── product.rs │ └── shift.rs │ ├── verifier.rs │ └── witness.rs ├── jolt-inlines ├── bigint │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── multiplication │ │ ├── exec.rs │ │ ├── mod.rs │ │ ├── sdk.rs │ │ ├── sequence_builder.rs │ │ ├── test_utils.rs │ │ └── tests.rs ├── blake2 │ ├── Cargo.toml │ └── src │ │ ├── exec.rs │ │ ├── host.rs │ │ ├── lib.rs │ │ ├── sdk.rs │ │ ├── sequence_builder.rs │ │ └── test_utils.rs ├── blake3 │ ├── Cargo.toml │ └── src │ │ ├── exec.rs │ │ ├── host.rs │ │ ├── lib.rs │ │ ├── sdk.rs │ │ ├── sequence_builder.rs │ │ └── test_utils.rs ├── keccak256 │ ├── Cargo.toml │ └── src │ │ ├── exec.rs │ │ ├── host.rs │ │ ├── lib.rs │ │ ├── sdk.rs │ │ ├── sequence_builder.rs │ │ ├── test_constants.rs │ │ ├── test_utils.rs │ │ └── tests.rs └── sha2 │ ├── Cargo.toml │ └── src │ ├── exec.rs │ ├── host.rs │ ├── lib.rs │ ├── sdk.rs │ ├── sequence_builder.rs │ ├── test_constants.rs │ └── tests.rs ├── jolt-platform ├── Cargo.toml └── src │ ├── alloc.rs │ ├── cycle_tracking.rs │ ├── lib.rs │ ├── malloc_shim.rs │ ├── print.rs │ └── random.rs ├── jolt-sdk ├── Cargo.toml ├── macros │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── src │ ├── host_utils.rs │ └── lib.rs └── tests │ ├── README.md │ ├── gen-fixtures.sh │ └── verifier_api.rs ├── patches ├── fix-c-extension-privilege-tests.patch └── fix-isa-regex.patch ├── rust-toolchain.toml ├── rustfmt.toml ├── scripts ├── apply-patches ├── benchmark_summary.py ├── bootstrap ├── jolt_benchmarks.sh ├── optimize_machine.sh ├── plot_benchmarks.py ├── plot_memory_usage.py ├── postprocess_trace.py └── setup_machine.sh ├── src ├── ascii │ └── jolt_ascii.ans ├── build_wasm.rs ├── lib.rs └── main.rs ├── tests └── arch-tests │ ├── .gitignore │ ├── jolt-32gc.ini │ ├── jolt-32im.ini │ ├── jolt-32imac.ini │ ├── jolt-64gc.ini │ ├── jolt-64im.ini │ ├── jolt-64imac.ini │ ├── jolt │ ├── env │ │ ├── link.ld │ │ └── model_test.h │ ├── jolt_isa_32gc.yaml │ ├── jolt_isa_32im.yaml │ ├── jolt_isa_32imac.yaml │ ├── jolt_isa_64gc.yaml │ ├── jolt_isa_64im.yaml │ ├── jolt_isa_64imac.yaml │ ├── jolt_platform.yaml │ └── riscof_jolt.py │ └── spike │ ├── env │ ├── link.ld │ └── model_test.h │ └── riscof_spike.py ├── tracer ├── Cargo.toml ├── LICENSE ├── README.md └── src │ ├── emulator │ ├── cpu.rs │ ├── default_terminal.rs │ ├── elf_analyzer.rs │ ├── memory.rs │ ├── mmu.rs │ ├── mod.rs │ └── terminal.rs │ ├── instruction │ ├── add.rs │ ├── addi.rs │ ├── addiw.rs │ ├── addw.rs │ ├── amo.rs │ ├── amoaddd.rs │ ├── amoaddw.rs │ ├── amoandd.rs │ ├── amoandw.rs │ ├── amomaxd.rs │ ├── amomaxud.rs │ ├── amomaxuw.rs │ ├── amomaxw.rs │ ├── amomind.rs │ ├── amominud.rs │ ├── amominuw.rs │ ├── amominw.rs │ ├── amoord.rs │ ├── amoorw.rs │ ├── amoswapd.rs │ ├── amoswapw.rs │ ├── amoxord.rs │ ├── amoxorw.rs │ ├── and.rs │ ├── andi.rs │ ├── andn.rs │ ├── auipc.rs │ ├── beq.rs │ ├── bge.rs │ ├── bgeu.rs │ ├── blt.rs │ ├── bltu.rs │ ├── bne.rs │ ├── div.rs │ ├── divu.rs │ ├── divuw.rs │ ├── divw.rs │ ├── ecall.rs │ ├── fence.rs │ ├── format │ │ ├── format_amo.rs │ │ ├── format_assert_align.rs │ │ ├── format_b.rs │ │ ├── format_i.rs │ │ ├── format_inline.rs │ │ ├── format_j.rs │ │ ├── format_load.rs │ │ ├── format_r.rs │ │ ├── format_s.rs │ │ ├── format_u.rs │ │ ├── format_virtual_right_shift_i.rs │ │ ├── format_virtual_right_shift_r.rs │ │ └── mod.rs │ ├── inline.rs │ ├── jal.rs │ ├── jalr.rs │ ├── lb.rs │ ├── lbu.rs │ ├── ld.rs │ ├── lh.rs │ ├── lhu.rs │ ├── lrd.rs │ ├── lrw.rs │ ├── lui.rs │ ├── lw.rs │ ├── lwu.rs │ ├── mod.rs │ ├── mul.rs │ ├── mulh.rs │ ├── mulhsu.rs │ ├── mulhu.rs │ ├── mulw.rs │ ├── or.rs │ ├── ori.rs │ ├── rem.rs │ ├── remu.rs │ ├── remuw.rs │ ├── remw.rs │ ├── sb.rs │ ├── scd.rs │ ├── scw.rs │ ├── sd.rs │ ├── sh.rs │ ├── sll.rs │ ├── slli.rs │ ├── slliw.rs │ ├── sllw.rs │ ├── slt.rs │ ├── slti.rs │ ├── sltiu.rs │ ├── sltu.rs │ ├── sra.rs │ ├── srai.rs │ ├── sraiw.rs │ ├── sraw.rs │ ├── srl.rs │ ├── srli.rs │ ├── srliw.rs │ ├── srlw.rs │ ├── sub.rs │ ├── subw.rs │ ├── sw.rs │ ├── test.rs │ ├── virtual_advice.rs │ ├── virtual_assert_eq.rs │ ├── virtual_assert_halfword_alignment.rs │ ├── virtual_assert_lte.rs │ ├── virtual_assert_mulu_no_overflow.rs │ ├── virtual_assert_valid_div0.rs │ ├── virtual_assert_valid_unsigned_remainder.rs │ ├── virtual_assert_word_alignment.rs │ ├── virtual_change_divisor.rs │ ├── virtual_change_divisor_w.rs │ ├── virtual_lw.rs │ ├── virtual_movsign.rs │ ├── virtual_muli.rs │ ├── virtual_pow2.rs │ ├── virtual_pow2_w.rs │ ├── virtual_pow2i.rs │ ├── virtual_pow2i_w.rs │ ├── virtual_rev8w.rs │ ├── virtual_rotri.rs │ ├── virtual_rotriw.rs │ ├── virtual_shift_right_bitmask.rs │ ├── virtual_shift_right_bitmaski.rs │ ├── virtual_sign_extend_word.rs │ ├── virtual_sra.rs │ ├── virtual_srai.rs │ ├── virtual_srl.rs │ ├── virtual_srli.rs │ ├── virtual_sw.rs │ ├── virtual_xor_rot.rs │ ├── virtual_xor_rotw.rs │ ├── virtual_zero_extend_word.rs │ ├── xor.rs │ └── xori.rs │ ├── lib.rs │ ├── main.rs │ └── utils │ ├── inline_helpers.rs │ ├── inline_sequence_writer.rs │ ├── inline_test_harness.rs │ ├── instruction_macros.rs │ ├── mod.rs │ ├── panic.rs │ ├── trace_writer.rs │ └── virtual_registers.rs ├── typos.toml ├── z3-verifier ├── Cargo.toml ├── README.md └── src │ ├── cpu_constraints.rs │ ├── lib.rs │ └── virtual_sequences.rs └── zklean-extractor ├── Cargo.toml ├── LICENSE ├── README.md ├── build.rs ├── package-template ├── ArkLib.lean ├── Jolt.lean ├── Jolt │ └── MemOps.lean ├── Tests.lean ├── lake-manifest.json ├── lakefile.toml └── lean-toolchain └── src ├── constants.rs ├── instruction.rs ├── lean_tests.rs ├── lookups.rs ├── main.rs ├── mle_ast.rs ├── modules ├── mod.rs └── util.rs ├── r1cs.rs └── util.rs /.devcontainer/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.devcontainer/Dockerfile -------------------------------------------------------------------------------- /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.firebaserc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.firebaserc -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/arch-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.github/workflows/arch-tests.yml -------------------------------------------------------------------------------- /.github/workflows/ci-bench.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.github/workflows/ci-bench.yml -------------------------------------------------------------------------------- /.github/workflows/deploy-mdbook.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.github/workflows/deploy-mdbook.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/.gitmodules -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/README.md -------------------------------------------------------------------------------- /book/.gitignore: -------------------------------------------------------------------------------- 1 | book 2 | -------------------------------------------------------------------------------- /book/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/README.md -------------------------------------------------------------------------------- /book/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/book.toml -------------------------------------------------------------------------------- /book/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/SUMMARY.md -------------------------------------------------------------------------------- /book/src/how/appendix/appendix.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/appendix.md -------------------------------------------------------------------------------- /book/src/how/appendix/eq-polynomial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/eq-polynomial.md -------------------------------------------------------------------------------- /book/src/how/appendix/jolt-classic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/jolt-classic.md -------------------------------------------------------------------------------- /book/src/how/appendix/memory-checking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/memory-checking.md -------------------------------------------------------------------------------- /book/src/how/appendix/multilinear-extensions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/multilinear-extensions.md -------------------------------------------------------------------------------- /book/src/how/appendix/pcs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/pcs.md -------------------------------------------------------------------------------- /book/src/how/appendix/resources.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/resources.md -------------------------------------------------------------------------------- /book/src/how/appendix/risc-v.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/risc-v.md -------------------------------------------------------------------------------- /book/src/how/appendix/sumcheck.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/sumcheck.md -------------------------------------------------------------------------------- /book/src/how/appendix/terminology.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/appendix/terminology.md -------------------------------------------------------------------------------- /book/src/how/architecture/architecture.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/architecture/architecture.md -------------------------------------------------------------------------------- /book/src/how/architecture/bytecode.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/architecture/bytecode.md -------------------------------------------------------------------------------- /book/src/how/architecture/emulation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/architecture/emulation.md -------------------------------------------------------------------------------- /book/src/how/architecture/instruction_execution.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/architecture/instruction_execution.md -------------------------------------------------------------------------------- /book/src/how/architecture/opening-proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/architecture/opening-proof.md -------------------------------------------------------------------------------- /book/src/how/architecture/r1cs_constraints.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/architecture/r1cs_constraints.md -------------------------------------------------------------------------------- /book/src/how/architecture/ram.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/architecture/ram.md -------------------------------------------------------------------------------- /book/src/how/architecture/registers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/architecture/registers.md -------------------------------------------------------------------------------- /book/src/how/architecture/spartan.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/architecture/spartan.md -------------------------------------------------------------------------------- /book/src/how/dory.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/dory.md -------------------------------------------------------------------------------- /book/src/how/how-it-works.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/how-it-works.md -------------------------------------------------------------------------------- /book/src/how/optimizations/batched-openings.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/optimizations/batched-openings.md -------------------------------------------------------------------------------- /book/src/how/optimizations/batched-sumcheck.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/optimizations/batched-sumcheck.md -------------------------------------------------------------------------------- /book/src/how/optimizations/compression.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/optimizations/compression.md -------------------------------------------------------------------------------- /book/src/how/optimizations/eq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/optimizations/eq.md -------------------------------------------------------------------------------- /book/src/how/optimizations/inlines.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/optimizations/inlines.md -------------------------------------------------------------------------------- /book/src/how/optimizations/optimizations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/optimizations/optimizations.md -------------------------------------------------------------------------------- /book/src/how/optimizations/small-value.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/optimizations/small-value.md -------------------------------------------------------------------------------- /book/src/how/twist-shout.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/how/twist-shout.md -------------------------------------------------------------------------------- /book/src/imgs/allocative.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/allocative.png -------------------------------------------------------------------------------- /book/src/imgs/bytecode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/bytecode.png -------------------------------------------------------------------------------- /book/src/imgs/compilation_to_riscv.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/compilation_to_riscv.png -------------------------------------------------------------------------------- /book/src/imgs/end_to_end.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/end_to_end.png -------------------------------------------------------------------------------- /book/src/imgs/figure2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/figure2.png -------------------------------------------------------------------------------- /book/src/imgs/final_memory_state.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/final_memory_state.png -------------------------------------------------------------------------------- /book/src/imgs/initial_memory_state.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/initial_memory_state.png -------------------------------------------------------------------------------- /book/src/imgs/jolt_alpha.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/jolt_alpha.png -------------------------------------------------------------------------------- /book/src/imgs/jolt_as_cpu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/jolt_as_cpu.png -------------------------------------------------------------------------------- /book/src/imgs/jolt_dag.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/jolt_dag.png -------------------------------------------------------------------------------- /book/src/imgs/memory_layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/memory_layout.png -------------------------------------------------------------------------------- /book/src/imgs/metrics-monitor.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/metrics-monitor.png -------------------------------------------------------------------------------- /book/src/imgs/perfetto.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/perfetto.png -------------------------------------------------------------------------------- /book/src/imgs/pprof-flamegraph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/pprof-flamegraph.png -------------------------------------------------------------------------------- /book/src/imgs/pprof-top.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/pprof-top.png -------------------------------------------------------------------------------- /book/src/imgs/twist_read_write_checking.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/twist_read_write_checking.png -------------------------------------------------------------------------------- /book/src/imgs/twist_val_evaluation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/imgs/twist_val_evaluation.png -------------------------------------------------------------------------------- /book/src/intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/intro.md -------------------------------------------------------------------------------- /book/src/roadmap/on-chain-verifier.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/roadmap/on-chain-verifier.md -------------------------------------------------------------------------------- /book/src/roadmap/precompiles.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/roadmap/precompiles.md -------------------------------------------------------------------------------- /book/src/roadmap/recursion.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/roadmap/recursion.md -------------------------------------------------------------------------------- /book/src/roadmap/roadmap.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/roadmap/roadmap.md -------------------------------------------------------------------------------- /book/src/roadmap/streaming.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/roadmap/streaming.md -------------------------------------------------------------------------------- /book/src/roadmap/zk.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/roadmap/zk.md -------------------------------------------------------------------------------- /book/src/usage/guests_hosts/guests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/usage/guests_hosts/guests.md -------------------------------------------------------------------------------- /book/src/usage/guests_hosts/guests_hosts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/usage/guests_hosts/guests_hosts.md -------------------------------------------------------------------------------- /book/src/usage/guests_hosts/hosts.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/usage/guests_hosts/hosts.md -------------------------------------------------------------------------------- /book/src/usage/profiling/guest_profiling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/usage/profiling/guest_profiling.md -------------------------------------------------------------------------------- /book/src/usage/profiling/profiling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/usage/profiling/profiling.md -------------------------------------------------------------------------------- /book/src/usage/profiling/zkvm_profiling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/usage/profiling/zkvm_profiling.md -------------------------------------------------------------------------------- /book/src/usage/quickstart.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/usage/quickstart.md -------------------------------------------------------------------------------- /book/src/usage/troubleshooting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/usage/troubleshooting.md -------------------------------------------------------------------------------- /book/src/usage/usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/src/usage/usage.md -------------------------------------------------------------------------------- /book/theme/favicon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/book/theme/favicon.png -------------------------------------------------------------------------------- /common/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/common/Cargo.toml -------------------------------------------------------------------------------- /common/src/attributes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/common/src/attributes.rs -------------------------------------------------------------------------------- /common/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/common/src/constants.rs -------------------------------------------------------------------------------- /common/src/jolt_device.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/common/src/jolt_device.rs -------------------------------------------------------------------------------- /common/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/common/src/lib.rs -------------------------------------------------------------------------------- /docker/Dockerfile.spike: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/docker/Dockerfile.spike -------------------------------------------------------------------------------- /docker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/docker/README.md -------------------------------------------------------------------------------- /docker/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/docker/build.sh -------------------------------------------------------------------------------- /examples/alloc/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/alloc/Cargo.toml -------------------------------------------------------------------------------- /examples/alloc/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/alloc/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/alloc/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/alloc/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/alloc/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/alloc/guest/src/main.rs -------------------------------------------------------------------------------- /examples/alloc/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/alloc/src/main.rs -------------------------------------------------------------------------------- /examples/btreemap/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/btreemap/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/btreemap/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/btreemap/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/btreemap/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/btreemap/guest/src/main.rs -------------------------------------------------------------------------------- /examples/btreemap/host/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/btreemap/host/Cargo.toml -------------------------------------------------------------------------------- /examples/btreemap/host/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/btreemap/host/src/main.rs -------------------------------------------------------------------------------- /examples/collatz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/collatz/Cargo.toml -------------------------------------------------------------------------------- /examples/collatz/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/collatz/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/collatz/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/collatz/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/collatz/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/collatz/guest/src/main.rs -------------------------------------------------------------------------------- /examples/collatz/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/collatz/src/main.rs -------------------------------------------------------------------------------- /examples/fibonacci/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/fibonacci/Cargo.toml -------------------------------------------------------------------------------- /examples/fibonacci/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/fibonacci/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/fibonacci/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/fibonacci/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/fibonacci/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/fibonacci/guest/src/main.rs -------------------------------------------------------------------------------- /examples/fibonacci/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/fibonacci/src/main.rs -------------------------------------------------------------------------------- /examples/hash-bench/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/hash-bench/Cargo.toml -------------------------------------------------------------------------------- /examples/hash-bench/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/hash-bench/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/hash-bench/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/hash-bench/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/hash-bench/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/hash-bench/guest/src/main.rs -------------------------------------------------------------------------------- /examples/hash-bench/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/hash-bench/src/main.rs -------------------------------------------------------------------------------- /examples/malloc/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/malloc/Cargo.toml -------------------------------------------------------------------------------- /examples/malloc/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/malloc/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/malloc/guest/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/malloc/guest/build.rs -------------------------------------------------------------------------------- /examples/malloc/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/malloc/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/malloc/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/malloc/guest/src/main.rs -------------------------------------------------------------------------------- /examples/malloc/guest/src/malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/malloc/guest/src/malloc.c -------------------------------------------------------------------------------- /examples/malloc/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/malloc/src/main.rs -------------------------------------------------------------------------------- /examples/memory-ops/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/memory-ops/Cargo.toml -------------------------------------------------------------------------------- /examples/memory-ops/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/memory-ops/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/memory-ops/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/memory-ops/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/memory-ops/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/memory-ops/guest/src/main.rs -------------------------------------------------------------------------------- /examples/memory-ops/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/memory-ops/src/main.rs -------------------------------------------------------------------------------- /examples/merkle-tree/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/merkle-tree/Cargo.toml -------------------------------------------------------------------------------- /examples/merkle-tree/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/merkle-tree/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/merkle-tree/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/merkle-tree/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/merkle-tree/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/merkle-tree/guest/src/main.rs -------------------------------------------------------------------------------- /examples/merkle-tree/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/merkle-tree/src/main.rs -------------------------------------------------------------------------------- /examples/muldiv/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/muldiv/Cargo.toml -------------------------------------------------------------------------------- /examples/muldiv/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/muldiv/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/muldiv/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/muldiv/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/muldiv/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/muldiv/guest/src/main.rs -------------------------------------------------------------------------------- /examples/muldiv/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/muldiv/src/main.rs -------------------------------------------------------------------------------- /examples/multi-function/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/multi-function/Cargo.toml -------------------------------------------------------------------------------- /examples/multi-function/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/multi-function/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/multi-function/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/multi-function/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/multi-function/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/multi-function/guest/src/main.rs -------------------------------------------------------------------------------- /examples/multi-function/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/multi-function/src/main.rs -------------------------------------------------------------------------------- /examples/overflow/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/overflow/Cargo.toml -------------------------------------------------------------------------------- /examples/overflow/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/overflow/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/overflow/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/overflow/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/overflow/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/overflow/guest/src/main.rs -------------------------------------------------------------------------------- /examples/overflow/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/overflow/src/main.rs -------------------------------------------------------------------------------- /examples/random/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/random/Cargo.toml -------------------------------------------------------------------------------- /examples/random/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/random/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/random/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/random/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/random/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/random/guest/src/main.rs -------------------------------------------------------------------------------- /examples/random/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/random/src/main.rs -------------------------------------------------------------------------------- /examples/recover-ecdsa/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recover-ecdsa/Cargo.toml -------------------------------------------------------------------------------- /examples/recover-ecdsa/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recover-ecdsa/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/recover-ecdsa/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recover-ecdsa/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/recover-ecdsa/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recover-ecdsa/guest/src/main.rs -------------------------------------------------------------------------------- /examples/recover-ecdsa/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recover-ecdsa/src/main.rs -------------------------------------------------------------------------------- /examples/recursion/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recursion/Cargo.toml -------------------------------------------------------------------------------- /examples/recursion/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recursion/README.md -------------------------------------------------------------------------------- /examples/recursion/guest/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recursion/guest/.gitignore -------------------------------------------------------------------------------- /examples/recursion/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recursion/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/recursion/guest/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recursion/guest/build.rs -------------------------------------------------------------------------------- /examples/recursion/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recursion/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/recursion/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recursion/guest/src/main.rs -------------------------------------------------------------------------------- /examples/recursion/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/recursion/src/main.rs -------------------------------------------------------------------------------- /examples/run_ci_benchmarks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/run_ci_benchmarks.sh -------------------------------------------------------------------------------- /examples/sha2-chain/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-chain/Cargo.toml -------------------------------------------------------------------------------- /examples/sha2-chain/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-chain/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/sha2-chain/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-chain/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/sha2-chain/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-chain/guest/src/main.rs -------------------------------------------------------------------------------- /examples/sha2-chain/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-chain/src/main.rs -------------------------------------------------------------------------------- /examples/sha2-ex/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-ex/Cargo.toml -------------------------------------------------------------------------------- /examples/sha2-ex/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-ex/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/sha2-ex/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-ex/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/sha2-ex/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-ex/guest/src/main.rs -------------------------------------------------------------------------------- /examples/sha2-ex/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha2-ex/src/main.rs -------------------------------------------------------------------------------- /examples/sha3-chain/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-chain/Cargo.toml -------------------------------------------------------------------------------- /examples/sha3-chain/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-chain/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/sha3-chain/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-chain/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/sha3-chain/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-chain/guest/src/main.rs -------------------------------------------------------------------------------- /examples/sha3-chain/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-chain/src/main.rs -------------------------------------------------------------------------------- /examples/sha3-ex/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-ex/Cargo.toml -------------------------------------------------------------------------------- /examples/sha3-ex/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-ex/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/sha3-ex/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-ex/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/sha3-ex/guest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-ex/guest/src/main.rs -------------------------------------------------------------------------------- /examples/sha3-ex/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/sha3-ex/src/main.rs -------------------------------------------------------------------------------- /examples/stdlib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/stdlib/Cargo.toml -------------------------------------------------------------------------------- /examples/stdlib/guest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/stdlib/guest/Cargo.toml -------------------------------------------------------------------------------- /examples/stdlib/guest/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/stdlib/guest/src/lib.rs -------------------------------------------------------------------------------- /examples/stdlib/guest/src/main.rs: -------------------------------------------------------------------------------- 1 | #![no_main] 2 | 3 | #[allow(unused_imports)] 4 | use stdlib_guest::*; 5 | -------------------------------------------------------------------------------- /examples/stdlib/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/examples/stdlib/src/main.rs -------------------------------------------------------------------------------- /firebase.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/firebase.json -------------------------------------------------------------------------------- /guest-toolchain-tag: -------------------------------------------------------------------------------- 1 | 7ba2e54e0c36fd25a93ad77afd5272e9d4001912 2 | -------------------------------------------------------------------------------- /imgs/jolt_alpha.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/imgs/jolt_alpha.png -------------------------------------------------------------------------------- /jolt-core/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/Cargo.toml -------------------------------------------------------------------------------- /jolt-core/benches/binding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/benches/binding.rs -------------------------------------------------------------------------------- /jolt-core/benches/challenge_mult_performance.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/benches/challenge_mult_performance.rs -------------------------------------------------------------------------------- /jolt-core/benches/commit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/benches/commit.rs -------------------------------------------------------------------------------- /jolt-core/benches/e2e_profiling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/benches/e2e_profiling.rs -------------------------------------------------------------------------------- /jolt-core/benches/iai.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/benches/iai.rs -------------------------------------------------------------------------------- /jolt-core/benches/mles_product_sum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/benches/mles_product_sum.rs -------------------------------------------------------------------------------- /jolt-core/benches/poly_bench.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/benches/poly_bench.rs -------------------------------------------------------------------------------- /jolt-core/benches/polynomial_evaluation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/benches/polynomial_evaluation.rs -------------------------------------------------------------------------------- /jolt-core/src/bin/jolt_core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/bin/jolt_core.rs -------------------------------------------------------------------------------- /jolt-core/src/field/ark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/field/ark.rs -------------------------------------------------------------------------------- /jolt-core/src/field/challenge/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/field/challenge/macros.rs -------------------------------------------------------------------------------- /jolt-core/src/field/challenge/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/field/challenge/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/field/challenge/mont_ark_u128.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/field/challenge/mont_ark_u128.rs -------------------------------------------------------------------------------- /jolt-core/src/field/challenge/mont_ark_u254.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/field/challenge/mont_ark_u254.rs -------------------------------------------------------------------------------- /jolt-core/src/field/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/field/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/field/tracked_ark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/field/tracked_ark.rs -------------------------------------------------------------------------------- /jolt-core/src/guest/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/guest/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/guest/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/guest/program.rs -------------------------------------------------------------------------------- /jolt-core/src/guest/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/guest/prover.rs -------------------------------------------------------------------------------- /jolt-core/src/guest/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/guest/verifier.rs -------------------------------------------------------------------------------- /jolt-core/src/host/analyze.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/host/analyze.rs -------------------------------------------------------------------------------- /jolt-core/src/host/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/host/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/host/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/host/program.rs -------------------------------------------------------------------------------- /jolt-core/src/host/toolchain.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/host/toolchain.rs -------------------------------------------------------------------------------- /jolt-core/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/lib.rs -------------------------------------------------------------------------------- /jolt-core/src/msm/NOTICE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/msm/NOTICE.md -------------------------------------------------------------------------------- /jolt-core/src/msm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/msm/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/commitment_scheme.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/commitment_scheme.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/dory/commitment_scheme.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/dory/commitment_scheme.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/dory/dory_globals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/dory/dory_globals.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/dory/jolt_dory_routines.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/dory/jolt_dory_routines.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/dory/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/dory/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/dory/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/dory/tests.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/dory/wrappers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/dory/wrappers.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/hyperkzg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/hyperkzg.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/kzg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/kzg.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/mock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/mock.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/commitment/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/commitment/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/compact_polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/compact_polynomial.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/dense_mlpoly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/dense_mlpoly.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/eq_plus_one_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/eq_plus_one_poly.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/eq_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/eq_poly.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/identity_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/identity_poly.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/lagrange_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/lagrange_poly.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/lt_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/lt_poly.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/multilinear_polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/multilinear_polynomial.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/one_hot_polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/one_hot_polynomial.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/opening_proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/opening_proof.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/prefix_suffix.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/prefix_suffix.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/program_io_polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/program_io_polynomial.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/ra_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/ra_poly.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/range_mask_polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/range_mask_polynomial.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/rlc_polynomial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/rlc_polynomial.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/split_eq_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/split_eq_poly.rs -------------------------------------------------------------------------------- /jolt-core/src/poly/unipoly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/poly/unipoly.rs -------------------------------------------------------------------------------- /jolt-core/src/subprotocols/booleanity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/subprotocols/booleanity.rs -------------------------------------------------------------------------------- /jolt-core/src/subprotocols/hamming_weight.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/subprotocols/hamming_weight.rs -------------------------------------------------------------------------------- /jolt-core/src/subprotocols/mles_product_sum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/subprotocols/mles_product_sum.rs -------------------------------------------------------------------------------- /jolt-core/src/subprotocols/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/subprotocols/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/subprotocols/sumcheck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/subprotocols/sumcheck.rs -------------------------------------------------------------------------------- /jolt-core/src/subprotocols/sumcheck_prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/subprotocols/sumcheck_prover.rs -------------------------------------------------------------------------------- /jolt-core/src/subprotocols/sumcheck_verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/subprotocols/sumcheck_verifier.rs -------------------------------------------------------------------------------- /jolt-core/src/subprotocols/univariate_skip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/subprotocols/univariate_skip.rs -------------------------------------------------------------------------------- /jolt-core/src/transcripts/blake2b.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/transcripts/blake2b.rs -------------------------------------------------------------------------------- /jolt-core/src/transcripts/keccak.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/transcripts/keccak.rs -------------------------------------------------------------------------------- /jolt-core/src/transcripts/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/transcripts/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/transcripts/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/transcripts/transcript.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/accumulation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/accumulation.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/counters.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/counters.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/errors.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/expanding_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/expanding_table.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/gaussian_elimination.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/gaussian_elimination.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/lookup_bits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/lookup_bits.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/math.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/math.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/monitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/monitor.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/profiling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/profiling.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/small_scalar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/small_scalar.rs -------------------------------------------------------------------------------- /jolt-core/src/utils/thread.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/utils/thread.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/bytecode/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/bytecode/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/bytecode/read_raf_checking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/bytecode/read_raf_checking.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/config.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/add.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/addi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/addi.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/and.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/and.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/andi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/andi.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/andn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/andn.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/auipc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/auipc.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/beq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/beq.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/bge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/bge.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/bgeu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/bgeu.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/blt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/blt.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/bltu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/bltu.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/bne.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/bne.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/ecall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/ecall.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/fence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/fence.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/jal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/jal.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/jalr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/jalr.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/ld.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/ld.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/lui.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/lui.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/mul.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/mulhu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/mulhu.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/or.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/or.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/ori.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/ori.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/sd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/sd.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/slt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/slt.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/slti.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/slti.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/sltiu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/sltiu.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/sltu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/sltu.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/sub.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/test.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_advice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_advice.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_assert_eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_assert_eq.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_assert_halfword_alignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_assert_halfword_alignment.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_assert_lte.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_assert_lte.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_assert_mulu_no_overflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_assert_mulu_no_overflow.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_assert_valid_div0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_assert_valid_div0.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_assert_valid_unsigned_remainder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_assert_valid_unsigned_remainder.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_assert_word_alignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_assert_word_alignment.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_change_divisor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_change_divisor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_change_divisor_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_change_divisor_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_movsign.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_movsign.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_muli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_muli.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_pow2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_pow2.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_pow2i.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_pow2i.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_pow2iw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_pow2iw.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_pow2w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_pow2w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_rev8w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_rev8w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_rotri.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_rotri.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_rotriw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_rotriw.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_shift_right_bitmask.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_shift_right_bitmask.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_shift_right_bitmaski.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_shift_right_bitmaski.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_sign_extend_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_sign_extend_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_sra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_sra.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_srai.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_srai.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_srl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_srl.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_srli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_srli.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_xor_rot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_xor_rot.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_xor_rotw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_xor_rotw.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/virtual_zero_extend_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/virtual_zero_extend_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/xor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/xor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction/xori.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction/xori.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction_lookups/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction_lookups/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction_lookups/ra_virtual.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction_lookups/ra_virtual.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/instruction_lookups/read_raf_checking.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/and.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/and.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/andn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/andn.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/equal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/equal.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/halfword_alignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/halfword_alignment.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/lower_half_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/lower_half_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/movsign.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/movsign.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/mulu_no_overflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/mulu_no_overflow.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/not_equal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/not_equal.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/or.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/or.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/pow2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/pow2.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/pow2_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/pow2_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/and.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/and.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/andn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/andn.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/change_divisor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/change_divisor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/change_divisor_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/change_divisor_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/div_by_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/div_by_zero.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/eq.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/left_is_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/left_is_zero.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/left_msb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/left_msb.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/left_shift.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/left_shift.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/left_shift_helper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/left_shift_helper.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/left_shift_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/left_shift_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/left_shift_w_helper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/left_shift_w_helper.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/lower_half_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/lower_half_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/lower_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/lower_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/lsb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/lsb.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/lt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/lt.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_equals_remainder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_equals_remainder.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_greater_than_remainder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_greater_than_remainder.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_zero_remainder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/negative_divisor_zero_remainder.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/or.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/or.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/overflow_bits_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/overflow_bits_zero.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/positive_remainder_equals_divisor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/positive_remainder_equals_divisor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/positive_remainder_less_than_divisor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/positive_remainder_less_than_divisor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/pow2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/pow2.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/pow2_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/pow2_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/rev8w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/rev8w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/right_is_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/right_is_zero.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/right_msb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/right_msb.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/right_operand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/right_operand.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/right_operand_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/right_operand_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/right_shift.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/right_shift.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/right_shift_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/right_shift_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/sign_extension.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/sign_extension.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/sign_extension_right_operand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/sign_extension_right_operand.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/sign_extension_upper_half.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/sign_extension_upper_half.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/two_lsb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/two_lsb.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/upper_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/upper_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/xor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/xor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/xor_rot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/xor_rot.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/prefixes/xor_rotw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/prefixes/xor_rotw.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/range_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/range_check.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/range_check_aligned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/range_check_aligned.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/shift_right_bitmask.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/shift_right_bitmask.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/sign_extend_half_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/sign_extend_half_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/signed_greater_than_equal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/signed_greater_than_equal.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/signed_less_than.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/signed_less_than.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/sub.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/and.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/and.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/change_divisor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/change_divisor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/change_divisor_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/change_divisor_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/div_by_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/div_by_zero.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/eq.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/gt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/gt.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/left_is_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/left_is_zero.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/left_shift.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/left_shift.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/left_shift_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/left_shift_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/left_shift_w_helper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/left_shift_w_helper.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/lower_half_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/lower_half_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/lower_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/lower_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/lsb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/lsb.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/lt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/lt.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/notand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/notand.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/one.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/one.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/or.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/or.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/overflow_bits_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/overflow_bits_zero.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/pow2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/pow2.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/pow2_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/pow2_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/rev8w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/rev8w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/right_is_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/right_is_zero.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/right_operand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/right_operand.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/right_operand_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/right_operand_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/right_shift.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/right_shift.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/right_shift_helper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/right_shift_helper.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/right_shift_padding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/right_shift_padding.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/right_shift_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/right_shift_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/right_shift_w_helper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/right_shift_w_helper.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/sign_extension.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/sign_extension.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/sign_extension_right_operand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/sign_extension_right_operand.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/sign_extension_upper_half.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/sign_extension_upper_half.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/two_lsb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/two_lsb.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/upper_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/upper_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/xor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/xor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/xor_rot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/xor_rot.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/suffixes/xor_rotw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/suffixes/xor_rotw.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/test.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/unsigned_greater_than_equal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/unsigned_greater_than_equal.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/unsigned_less_than.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/unsigned_less_than.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/unsigned_less_than_equal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/unsigned_less_than_equal.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/upper_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/upper_word.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/valid_div0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/valid_div0.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/valid_signed_remainder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/valid_signed_remainder.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/valid_unsigned_remainder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/valid_unsigned_remainder.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/virtual_change_divisor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/virtual_change_divisor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/virtual_change_divisor_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/virtual_change_divisor_w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/virtual_rev8w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/virtual_rev8w.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/virtual_rotr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/virtual_rotr.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/virtual_rotrw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/virtual_rotrw.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/virtual_sra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/virtual_sra.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/virtual_srl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/virtual_srl.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/virtual_xor_rot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/virtual_xor_rot.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/virtual_xor_rotw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/virtual_xor_rotw.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/word_alignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/word_alignment.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/lookup_table/xor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/lookup_table/xor.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/proof_serialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/proof_serialization.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/prover.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/r1cs/constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/r1cs/constraints.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/r1cs/evaluation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/r1cs/evaluation.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/r1cs/inputs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/r1cs/inputs.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/r1cs/key.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/r1cs/key.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/r1cs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/r1cs/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/r1cs/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/r1cs/ops.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/ram/hamming_booleanity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/ram/hamming_booleanity.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/ram/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/ram/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/ram/output_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/ram/output_check.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/ram/ra_virtual.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/ram/ra_virtual.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/ram/raf_evaluation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/ram/raf_evaluation.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/ram/read_write_checking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/ram/read_write_checking.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/ram/sparse_matrix_poly.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/ram/sparse_matrix_poly.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/ram/val_evaluation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/ram/val_evaluation.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/registers/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/registers/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/registers/read_write_checking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/registers/read_write_checking.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/registers/val_evaluation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/registers/val_evaluation.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/spartan/NOTICE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/spartan/NOTICE.md -------------------------------------------------------------------------------- /jolt-core/src/zkvm/spartan/claim_reductions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/spartan/claim_reductions.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/spartan/instruction_input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/spartan/instruction_input.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/spartan/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/spartan/mod.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/spartan/outer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/spartan/outer.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/spartan/product.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/spartan/product.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/spartan/shift.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/spartan/shift.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/verifier.rs -------------------------------------------------------------------------------- /jolt-core/src/zkvm/witness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-core/src/zkvm/witness.rs -------------------------------------------------------------------------------- /jolt-inlines/bigint/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/bigint/Cargo.toml -------------------------------------------------------------------------------- /jolt-inlines/bigint/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/bigint/src/lib.rs -------------------------------------------------------------------------------- /jolt-inlines/bigint/src/multiplication/exec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/bigint/src/multiplication/exec.rs -------------------------------------------------------------------------------- /jolt-inlines/bigint/src/multiplication/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/bigint/src/multiplication/mod.rs -------------------------------------------------------------------------------- /jolt-inlines/bigint/src/multiplication/sdk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/bigint/src/multiplication/sdk.rs -------------------------------------------------------------------------------- /jolt-inlines/bigint/src/multiplication/sequence_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/bigint/src/multiplication/sequence_builder.rs -------------------------------------------------------------------------------- /jolt-inlines/bigint/src/multiplication/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/bigint/src/multiplication/test_utils.rs -------------------------------------------------------------------------------- /jolt-inlines/bigint/src/multiplication/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/bigint/src/multiplication/tests.rs -------------------------------------------------------------------------------- /jolt-inlines/blake2/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake2/Cargo.toml -------------------------------------------------------------------------------- /jolt-inlines/blake2/src/exec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake2/src/exec.rs -------------------------------------------------------------------------------- /jolt-inlines/blake2/src/host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake2/src/host.rs -------------------------------------------------------------------------------- /jolt-inlines/blake2/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake2/src/lib.rs -------------------------------------------------------------------------------- /jolt-inlines/blake2/src/sdk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake2/src/sdk.rs -------------------------------------------------------------------------------- /jolt-inlines/blake2/src/sequence_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake2/src/sequence_builder.rs -------------------------------------------------------------------------------- /jolt-inlines/blake2/src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake2/src/test_utils.rs -------------------------------------------------------------------------------- /jolt-inlines/blake3/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake3/Cargo.toml -------------------------------------------------------------------------------- /jolt-inlines/blake3/src/exec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake3/src/exec.rs -------------------------------------------------------------------------------- /jolt-inlines/blake3/src/host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake3/src/host.rs -------------------------------------------------------------------------------- /jolt-inlines/blake3/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake3/src/lib.rs -------------------------------------------------------------------------------- /jolt-inlines/blake3/src/sdk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake3/src/sdk.rs -------------------------------------------------------------------------------- /jolt-inlines/blake3/src/sequence_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake3/src/sequence_builder.rs -------------------------------------------------------------------------------- /jolt-inlines/blake3/src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/blake3/src/test_utils.rs -------------------------------------------------------------------------------- /jolt-inlines/keccak256/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/keccak256/Cargo.toml -------------------------------------------------------------------------------- /jolt-inlines/keccak256/src/exec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/keccak256/src/exec.rs -------------------------------------------------------------------------------- /jolt-inlines/keccak256/src/host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/keccak256/src/host.rs -------------------------------------------------------------------------------- /jolt-inlines/keccak256/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/keccak256/src/lib.rs -------------------------------------------------------------------------------- /jolt-inlines/keccak256/src/sdk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/keccak256/src/sdk.rs -------------------------------------------------------------------------------- /jolt-inlines/keccak256/src/sequence_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/keccak256/src/sequence_builder.rs -------------------------------------------------------------------------------- /jolt-inlines/keccak256/src/test_constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/keccak256/src/test_constants.rs -------------------------------------------------------------------------------- /jolt-inlines/keccak256/src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/keccak256/src/test_utils.rs -------------------------------------------------------------------------------- /jolt-inlines/keccak256/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/keccak256/src/tests.rs -------------------------------------------------------------------------------- /jolt-inlines/sha2/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/sha2/Cargo.toml -------------------------------------------------------------------------------- /jolt-inlines/sha2/src/exec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/sha2/src/exec.rs -------------------------------------------------------------------------------- /jolt-inlines/sha2/src/host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/sha2/src/host.rs -------------------------------------------------------------------------------- /jolt-inlines/sha2/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/sha2/src/lib.rs -------------------------------------------------------------------------------- /jolt-inlines/sha2/src/sdk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/sha2/src/sdk.rs -------------------------------------------------------------------------------- /jolt-inlines/sha2/src/sequence_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/sha2/src/sequence_builder.rs -------------------------------------------------------------------------------- /jolt-inlines/sha2/src/test_constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/sha2/src/test_constants.rs -------------------------------------------------------------------------------- /jolt-inlines/sha2/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-inlines/sha2/src/tests.rs -------------------------------------------------------------------------------- /jolt-platform/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-platform/Cargo.toml -------------------------------------------------------------------------------- /jolt-platform/src/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-platform/src/alloc.rs -------------------------------------------------------------------------------- /jolt-platform/src/cycle_tracking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-platform/src/cycle_tracking.rs -------------------------------------------------------------------------------- /jolt-platform/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-platform/src/lib.rs -------------------------------------------------------------------------------- /jolt-platform/src/malloc_shim.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-platform/src/malloc_shim.rs -------------------------------------------------------------------------------- /jolt-platform/src/print.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-platform/src/print.rs -------------------------------------------------------------------------------- /jolt-platform/src/random.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-platform/src/random.rs -------------------------------------------------------------------------------- /jolt-sdk/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-sdk/Cargo.toml -------------------------------------------------------------------------------- /jolt-sdk/macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-sdk/macros/Cargo.toml -------------------------------------------------------------------------------- /jolt-sdk/macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-sdk/macros/src/lib.rs -------------------------------------------------------------------------------- /jolt-sdk/src/host_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-sdk/src/host_utils.rs -------------------------------------------------------------------------------- /jolt-sdk/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-sdk/src/lib.rs -------------------------------------------------------------------------------- /jolt-sdk/tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-sdk/tests/README.md -------------------------------------------------------------------------------- /jolt-sdk/tests/gen-fixtures.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-sdk/tests/gen-fixtures.sh -------------------------------------------------------------------------------- /jolt-sdk/tests/verifier_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/jolt-sdk/tests/verifier_api.rs -------------------------------------------------------------------------------- /patches/fix-c-extension-privilege-tests.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/patches/fix-c-extension-privilege-tests.patch -------------------------------------------------------------------------------- /patches/fix-isa-regex.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/patches/fix-isa-regex.patch -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /scripts/apply-patches: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/scripts/apply-patches -------------------------------------------------------------------------------- /scripts/benchmark_summary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/scripts/benchmark_summary.py -------------------------------------------------------------------------------- /scripts/bootstrap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/scripts/bootstrap -------------------------------------------------------------------------------- /scripts/jolt_benchmarks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/scripts/jolt_benchmarks.sh -------------------------------------------------------------------------------- /scripts/optimize_machine.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/scripts/optimize_machine.sh -------------------------------------------------------------------------------- /scripts/plot_benchmarks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/scripts/plot_benchmarks.py -------------------------------------------------------------------------------- /scripts/plot_memory_usage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/scripts/plot_memory_usage.py -------------------------------------------------------------------------------- /scripts/postprocess_trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/scripts/postprocess_trace.py -------------------------------------------------------------------------------- /scripts/setup_machine.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/scripts/setup_machine.sh -------------------------------------------------------------------------------- /src/ascii/jolt_ascii.ans: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/src/ascii/jolt_ascii.ans -------------------------------------------------------------------------------- /src/build_wasm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/src/build_wasm.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/src/main.rs -------------------------------------------------------------------------------- /tests/arch-tests/.gitignore: -------------------------------------------------------------------------------- 1 | riscof_work/ 2 | *.pyc 3 | -------------------------------------------------------------------------------- /tests/arch-tests/jolt-32gc.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt-32gc.ini -------------------------------------------------------------------------------- /tests/arch-tests/jolt-32im.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt-32im.ini -------------------------------------------------------------------------------- /tests/arch-tests/jolt-32imac.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt-32imac.ini -------------------------------------------------------------------------------- /tests/arch-tests/jolt-64gc.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt-64gc.ini -------------------------------------------------------------------------------- /tests/arch-tests/jolt-64im.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt-64im.ini -------------------------------------------------------------------------------- /tests/arch-tests/jolt-64imac.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt-64imac.ini -------------------------------------------------------------------------------- /tests/arch-tests/jolt/env/link.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/env/link.ld -------------------------------------------------------------------------------- /tests/arch-tests/jolt/env/model_test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/env/model_test.h -------------------------------------------------------------------------------- /tests/arch-tests/jolt/jolt_isa_32gc.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/jolt_isa_32gc.yaml -------------------------------------------------------------------------------- /tests/arch-tests/jolt/jolt_isa_32im.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/jolt_isa_32im.yaml -------------------------------------------------------------------------------- /tests/arch-tests/jolt/jolt_isa_32imac.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/jolt_isa_32imac.yaml -------------------------------------------------------------------------------- /tests/arch-tests/jolt/jolt_isa_64gc.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/jolt_isa_64gc.yaml -------------------------------------------------------------------------------- /tests/arch-tests/jolt/jolt_isa_64im.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/jolt_isa_64im.yaml -------------------------------------------------------------------------------- /tests/arch-tests/jolt/jolt_isa_64imac.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/jolt_isa_64imac.yaml -------------------------------------------------------------------------------- /tests/arch-tests/jolt/jolt_platform.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/jolt_platform.yaml -------------------------------------------------------------------------------- /tests/arch-tests/jolt/riscof_jolt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/jolt/riscof_jolt.py -------------------------------------------------------------------------------- /tests/arch-tests/spike/env/link.ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/spike/env/link.ld -------------------------------------------------------------------------------- /tests/arch-tests/spike/env/model_test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/spike/env/model_test.h -------------------------------------------------------------------------------- /tests/arch-tests/spike/riscof_spike.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tests/arch-tests/spike/riscof_spike.py -------------------------------------------------------------------------------- /tracer/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/Cargo.toml -------------------------------------------------------------------------------- /tracer/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/LICENSE -------------------------------------------------------------------------------- /tracer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/README.md -------------------------------------------------------------------------------- /tracer/src/emulator/cpu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/emulator/cpu.rs -------------------------------------------------------------------------------- /tracer/src/emulator/default_terminal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/emulator/default_terminal.rs -------------------------------------------------------------------------------- /tracer/src/emulator/elf_analyzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/emulator/elf_analyzer.rs -------------------------------------------------------------------------------- /tracer/src/emulator/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/emulator/memory.rs -------------------------------------------------------------------------------- /tracer/src/emulator/mmu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/emulator/mmu.rs -------------------------------------------------------------------------------- /tracer/src/emulator/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/emulator/mod.rs -------------------------------------------------------------------------------- /tracer/src/emulator/terminal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/emulator/terminal.rs -------------------------------------------------------------------------------- /tracer/src/instruction/add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/add.rs -------------------------------------------------------------------------------- /tracer/src/instruction/addi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/addi.rs -------------------------------------------------------------------------------- /tracer/src/instruction/addiw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/addiw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/addw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/addw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amo.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amo.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoaddd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoaddd.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoaddw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoaddw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoandd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoandd.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoandw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoandw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amomaxd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amomaxd.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amomaxud.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amomaxud.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amomaxuw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amomaxuw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amomaxw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amomaxw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amomind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amomind.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amominud.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amominud.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amominuw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amominuw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amominw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amominw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoord.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoord.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoorw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoorw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoswapd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoswapd.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoswapw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoswapw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoxord.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoxord.rs -------------------------------------------------------------------------------- /tracer/src/instruction/amoxorw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/amoxorw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/and.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/and.rs -------------------------------------------------------------------------------- /tracer/src/instruction/andi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/andi.rs -------------------------------------------------------------------------------- /tracer/src/instruction/andn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/andn.rs -------------------------------------------------------------------------------- /tracer/src/instruction/auipc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/auipc.rs -------------------------------------------------------------------------------- /tracer/src/instruction/beq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/beq.rs -------------------------------------------------------------------------------- /tracer/src/instruction/bge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/bge.rs -------------------------------------------------------------------------------- /tracer/src/instruction/bgeu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/bgeu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/blt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/blt.rs -------------------------------------------------------------------------------- /tracer/src/instruction/bltu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/bltu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/bne.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/bne.rs -------------------------------------------------------------------------------- /tracer/src/instruction/div.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/div.rs -------------------------------------------------------------------------------- /tracer/src/instruction/divu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/divu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/divuw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/divuw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/divw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/divw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/ecall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/ecall.rs -------------------------------------------------------------------------------- /tracer/src/instruction/fence.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/fence.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_amo.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_amo.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_assert_align.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_assert_align.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_b.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_b.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_i.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_i.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_inline.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_inline.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_j.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_j.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_load.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_load.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_r.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_r.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_s.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_s.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_u.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_u.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_virtual_right_shift_i.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_virtual_right_shift_i.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/format_virtual_right_shift_r.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/format_virtual_right_shift_r.rs -------------------------------------------------------------------------------- /tracer/src/instruction/format/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/format/mod.rs -------------------------------------------------------------------------------- /tracer/src/instruction/inline.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/inline.rs -------------------------------------------------------------------------------- /tracer/src/instruction/jal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/jal.rs -------------------------------------------------------------------------------- /tracer/src/instruction/jalr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/jalr.rs -------------------------------------------------------------------------------- /tracer/src/instruction/lb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/lb.rs -------------------------------------------------------------------------------- /tracer/src/instruction/lbu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/lbu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/ld.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/ld.rs -------------------------------------------------------------------------------- /tracer/src/instruction/lh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/lh.rs -------------------------------------------------------------------------------- /tracer/src/instruction/lhu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/lhu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/lrd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/lrd.rs -------------------------------------------------------------------------------- /tracer/src/instruction/lrw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/lrw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/lui.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/lui.rs -------------------------------------------------------------------------------- /tracer/src/instruction/lw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/lw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/lwu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/lwu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/mod.rs -------------------------------------------------------------------------------- /tracer/src/instruction/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/mul.rs -------------------------------------------------------------------------------- /tracer/src/instruction/mulh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/mulh.rs -------------------------------------------------------------------------------- /tracer/src/instruction/mulhsu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/mulhsu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/mulhu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/mulhu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/mulw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/mulw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/or.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/or.rs -------------------------------------------------------------------------------- /tracer/src/instruction/ori.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/ori.rs -------------------------------------------------------------------------------- /tracer/src/instruction/rem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/rem.rs -------------------------------------------------------------------------------- /tracer/src/instruction/remu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/remu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/remuw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/remuw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/remw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/remw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sb.rs -------------------------------------------------------------------------------- /tracer/src/instruction/scd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/scd.rs -------------------------------------------------------------------------------- /tracer/src/instruction/scw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/scw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sd.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sh.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sh.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sll.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sll.rs -------------------------------------------------------------------------------- /tracer/src/instruction/slli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/slli.rs -------------------------------------------------------------------------------- /tracer/src/instruction/slliw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/slliw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sllw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sllw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/slt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/slt.rs -------------------------------------------------------------------------------- /tracer/src/instruction/slti.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/slti.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sltiu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sltiu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sltu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sltu.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sra.rs -------------------------------------------------------------------------------- /tracer/src/instruction/srai.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/srai.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sraiw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sraiw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sraw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sraw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/srl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/srl.rs -------------------------------------------------------------------------------- /tracer/src/instruction/srli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/srli.rs -------------------------------------------------------------------------------- /tracer/src/instruction/srliw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/srliw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/srlw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/srlw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sub.rs -------------------------------------------------------------------------------- /tracer/src/instruction/subw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/subw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/sw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/sw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/test.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_advice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_advice.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_assert_eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_assert_eq.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_assert_halfword_alignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_assert_halfword_alignment.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_assert_lte.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_assert_lte.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_assert_mulu_no_overflow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_assert_mulu_no_overflow.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_assert_valid_div0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_assert_valid_div0.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_assert_valid_unsigned_remainder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_assert_valid_unsigned_remainder.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_assert_word_alignment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_assert_word_alignment.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_change_divisor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_change_divisor.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_change_divisor_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_change_divisor_w.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_lw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_lw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_movsign.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_movsign.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_muli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_muli.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_pow2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_pow2.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_pow2_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_pow2_w.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_pow2i.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_pow2i.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_pow2i_w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_pow2i_w.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_rev8w.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_rev8w.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_rotri.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_rotri.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_rotriw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_rotriw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_shift_right_bitmask.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_shift_right_bitmask.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_shift_right_bitmaski.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_shift_right_bitmaski.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_sign_extend_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_sign_extend_word.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_sra.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_sra.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_srai.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_srai.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_srl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_srl.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_srli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_srli.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_sw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_sw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_xor_rot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_xor_rot.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_xor_rotw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_xor_rotw.rs -------------------------------------------------------------------------------- /tracer/src/instruction/virtual_zero_extend_word.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/virtual_zero_extend_word.rs -------------------------------------------------------------------------------- /tracer/src/instruction/xor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/xor.rs -------------------------------------------------------------------------------- /tracer/src/instruction/xori.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/instruction/xori.rs -------------------------------------------------------------------------------- /tracer/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/lib.rs -------------------------------------------------------------------------------- /tracer/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/main.rs -------------------------------------------------------------------------------- /tracer/src/utils/inline_helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/utils/inline_helpers.rs -------------------------------------------------------------------------------- /tracer/src/utils/inline_sequence_writer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/utils/inline_sequence_writer.rs -------------------------------------------------------------------------------- /tracer/src/utils/inline_test_harness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/utils/inline_test_harness.rs -------------------------------------------------------------------------------- /tracer/src/utils/instruction_macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/utils/instruction_macros.rs -------------------------------------------------------------------------------- /tracer/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/utils/mod.rs -------------------------------------------------------------------------------- /tracer/src/utils/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/utils/panic.rs -------------------------------------------------------------------------------- /tracer/src/utils/trace_writer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/utils/trace_writer.rs -------------------------------------------------------------------------------- /tracer/src/utils/virtual_registers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/tracer/src/utils/virtual_registers.rs -------------------------------------------------------------------------------- /typos.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/typos.toml -------------------------------------------------------------------------------- /z3-verifier/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/z3-verifier/Cargo.toml -------------------------------------------------------------------------------- /z3-verifier/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/z3-verifier/README.md -------------------------------------------------------------------------------- /z3-verifier/src/cpu_constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/z3-verifier/src/cpu_constraints.rs -------------------------------------------------------------------------------- /z3-verifier/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/z3-verifier/src/lib.rs -------------------------------------------------------------------------------- /z3-verifier/src/virtual_sequences.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/z3-verifier/src/virtual_sequences.rs -------------------------------------------------------------------------------- /zklean-extractor/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/Cargo.toml -------------------------------------------------------------------------------- /zklean-extractor/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/LICENSE -------------------------------------------------------------------------------- /zklean-extractor/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/README.md -------------------------------------------------------------------------------- /zklean-extractor/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/build.rs -------------------------------------------------------------------------------- /zklean-extractor/package-template/ArkLib.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/package-template/ArkLib.lean -------------------------------------------------------------------------------- /zklean-extractor/package-template/Jolt.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/package-template/Jolt.lean -------------------------------------------------------------------------------- /zklean-extractor/package-template/Jolt/MemOps.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/package-template/Jolt/MemOps.lean -------------------------------------------------------------------------------- /zklean-extractor/package-template/Tests.lean: -------------------------------------------------------------------------------- 1 | import Jolt.Tests 2 | -------------------------------------------------------------------------------- /zklean-extractor/package-template/lake-manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/package-template/lake-manifest.json -------------------------------------------------------------------------------- /zklean-extractor/package-template/lakefile.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/package-template/lakefile.toml -------------------------------------------------------------------------------- /zklean-extractor/package-template/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.23.0 -------------------------------------------------------------------------------- /zklean-extractor/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/constants.rs -------------------------------------------------------------------------------- /zklean-extractor/src/instruction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/instruction.rs -------------------------------------------------------------------------------- /zklean-extractor/src/lean_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/lean_tests.rs -------------------------------------------------------------------------------- /zklean-extractor/src/lookups.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/lookups.rs -------------------------------------------------------------------------------- /zklean-extractor/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/main.rs -------------------------------------------------------------------------------- /zklean-extractor/src/mle_ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/mle_ast.rs -------------------------------------------------------------------------------- /zklean-extractor/src/modules/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/modules/mod.rs -------------------------------------------------------------------------------- /zklean-extractor/src/modules/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/modules/util.rs -------------------------------------------------------------------------------- /zklean-extractor/src/r1cs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/r1cs.rs -------------------------------------------------------------------------------- /zklean-extractor/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/a16z/jolt/HEAD/zklean-extractor/src/util.rs --------------------------------------------------------------------------------