-
Notifications
You must be signed in to change notification settings - Fork 90
Pull requests: o1-labs/proof-systems
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
poly_commitment: move tests to top-level directory
#2402
opened Jul 8, 2024 by
dannywillems
Loading…
mina_poseidon: move tests at the top-level [master]
#2401
opened Jul 8, 2024 by
dannywillems
Loading…
Manually unroll x^7 for poseidon for a ~50% speedup [master]
#2400
opened Jul 8, 2024 by
dannywillems
Loading…
mina_poseidon: bench poseidon block cipher [master]
#2399
opened Jul 8, 2024 by
dannywillems
Loading…
mina_poseidon: move tests to subdirectory at the top-level [berkeley]
#2398
opened Jul 8, 2024 by
dannywillems
•
Draft
Folding Prover 3: Use slices instead of vecs in folding
#2393
opened Jul 1, 2024 by
volhovm
Loading…
Folding Prover 2: Move IVC folding expresion evaluation into separate module
#2392
opened Jul 1, 2024 by
volhovm
Loading…
Folding Prover 1: Move PlonkishInstance and PlonkishWitness to separate file
#2391
opened Jul 1, 2024 by
volhovm
Loading…
[#2313] Porting IVC+ADD 10: Add joint folding expression validity check
#2386
opened Jun 27, 2024 by
volhovm
Loading…
[#2313] Porting IVC+ADD 7: Remove double column writing for ECAdd
#2385
opened Jun 27, 2024 by
volhovm
Loading…
[#2313] Porting IVC+ADD 9: Add individual expression evaluation
#2384
opened Jun 27, 2024 by
volhovm
Loading…
[#2313] Porting IVC+ADD 6: Add folding expression evaluation
#2381
opened Jun 26, 2024 by
volhovm
Loading…
[#2313] Porting IVC+ADD 5: Add inductive case IVC & second folding call
#2380
opened Jun 26, 2024 by
volhovm
Loading…
IVC: verify that the current design supports the MIPS interpreter
#2368
opened Jun 20, 2024 by
dannywillems
•
Draft
WIP: define a trait that defines IVC properties of an env
#2343
opened Jun 17, 2024 by
dannywillems
•
Draft
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.