Commit 1c1ed46

authored

Merge branch 'main' into oo_opcode_tests

2 parents d910174 + 72b4d0c commit 1c1ed46Copy full SHA for 1c1ed46

42 files changed

+3967

-55

lines changed

.gitignore
Cargo.lock
blake2s_u32
- Cargo.toml
circuit_defs
- bigint_with_control
  - Cargo.toml
  - verifier
    - Cargo.toml
- blake2_with_compression
  - Cargo.toml
  - verifier
    - Cargo.toml
- final_reduced_risc_v_machine
  - Cargo.toml
  - verifier
    - Cargo.toml
- machine_without_signed_mul_div
  - Cargo.toml
  - generated
    - witness_generation_fn.cuh
    - witness_generation_fn.rs
  - verifier
    - Cargo.toml
    - src/generated
      - witness_generation_fn.cuh
      - witness_generation_fn.rs
- prover_examples
  - Cargo.toml
- reduced_risc_v_log_23_machine
  - Cargo.toml
  - verifier
    - Cargo.toml
- reduced_risc_v_machine
  - Cargo.toml
  - verifier
    - Cargo.toml
- risc_v_cycles
  - Cargo.toml
  - verifier
    - Cargo.toml
- setups
  - Cargo.toml
- trace_and_split
  - Cargo.toml
cs
- Cargo.toml
- src/machine
  - decoder
    - decode_optimized_must_handle_csr.rs
  - ops
    - mul_div.rs
docs
- delegation_circuits.md
execution_utils
- Cargo.toml
fft
- Cargo.toml
gpu_prover/src/prover
- arg_utils.rs
prover
- Cargo.toml
risc_v_simulator
- Cargo.toml
riscv_common
- Cargo.toml
tools
- cli
  - Cargo.toml
  - README.md
- generator
  - Cargo.toml
  - output
    - machine_without_signed_mul_div_witness_generation_fn.cuh
- zksmith
  - Cargo.toml
verifier_generator
- Cargo.toml
verifier
- Cargo.toml
witness_eval_generator
- Cargo.toml

42 files changed

+3967

-55

lines changed

`‎.gitignore‎`

-Original file line number
+Diff line change
@@ @@ -1,6 +1,5 @@ @@
 /.idea
 /target
 -/Cargo.lock
 /output
 rustc-ice-*.*
 .DS_Store

Comments

(0)