Commit a98a8b7
File tree
45 files changed
+2153
-92
lines changed- circuit_defs
- bigint_with_control
- generated
- verifier/src
- generated
- blake2_with_compression
- generated
- verifier/src
- generated
- final_reduced_risc_v_machine
- generated
- verifier/src
- generated
- opcode_tests
- prover_examples/src
- reduced_risc_v_machine
- generated
- verifier/src
- generated
- risc_v_cycles
- generated
- verifier/src
- generated
- cs
- src
- cs
- witness_placer/graph_description
- machine
- fft/src
- grinded_fft
- prover
- src/tests
- tools/generator/src
- verifier/src
- witness_eval_generator/src
- derive_from_ssa
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
45 files changed
+2153
-92
lines changedLines changed: 180 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 180 additions & 0 deletions
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
145 | 145 | | |
146 | 146 | | |
147 | 147 | | |
| 148 | + | |
148 | 149 | | |
149 | 150 | | |
150 | 151 | | |
| |||
189 | 190 | | |
190 | 191 | | |
191 | 192 | | |
| 193 | + | |
192 | 194 | | |
193 | 195 | | |
194 | 196 | | |
| |||
0 commit comments