-
Notifications
You must be signed in to change notification settings - Fork 90
Insights: o1-labs/proof-systems
Overview
Loading
Could not load contribution data
Please try again later
Loading
5 Pull requests merged by 3 people
-
Update README.md
#2471 merged
Aug 14, 2024 -
Dependency graph o1vm
#2470 merged
Aug 14, 2024 -
Remove duplicated code op program shell script
#2469 merged
Aug 14, 2024 -
Lookups: Add support for multiple reads in runtime tables
#2467 merged
Aug 14, 2024 -
o1vm: additional instruction for compiling the project
#2468 merged
Aug 14, 2024
2 Pull requests opened by 2 people
-
Bump toolchain version to `1.80` and dependencies upgrade.
#2473 opened
Aug 15, 2024 -
Upgrade to arkworks 0.4.2 (mina compatible / p-s develop)
#2474 opened
Aug 16, 2024
3 Issues closed by 1 person
-
Runtime logup tables support
#2427 closed
Aug 14, 2024 -
Folding Prover: also prove native statement
#2428 closed
Aug 12, 2024 -
MSM Serialization: Use lookups for multi-row communication
#2089 closed
Aug 12, 2024
1 Issue opened by 1 person
-
Clean up & resurrect existing benchmarks
#2472 opened
Aug 15, 2024
4 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Selector-controlled lookups
#2440 commented on
Aug 13, 2024 • 0 new comments -
Arkworks Package Upgrade Investigation
#1692 commented on
Aug 15, 2024 • 0 new comments -
[berkeley] Update curves to arkworks 0.4.2
#1670 commented on
Aug 13, 2024 • 0 new comments -
WIP: Arrabiata
#2433 commented on
Aug 13, 2024 • 0 new comments