Commit 34efd85
File tree
32 files changed
+3950
-46
lines changed- blake2s_u32
- circuit_defs
- bigint_with_control
- verifier
- blake2_with_compression
- verifier
- final_reduced_risc_v_machine
- verifier
- machine_without_signed_mul_div
- verifier
- prover_examples
- reduced_risc_v_log_23_machine
- verifier
- reduced_risc_v_machine
- verifier
- risc_v_cycles
- verifier
- setups
- trace_and_split
- cs
- execution_utils
- fft
- prover
- risc_v_simulator
- riscv_common
- tools
- cli
- generator
- zksmith
- verifier_generator
- verifier
- witness_eval_generator
32 files changed
+3950
-46
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
4 | 3 | | |
5 | 4 | | |
6 | 5 | | |
| |||
0 commit comments