A rewrite of protocol API from GKR-MSM, with verifier IR features.
Eventually, plan is to prototype various reference implementations for V-SPARK / GKR stuff here.
-
Notifications
You must be signed in to change notification settings - Fork 0
morgana-proofs/protocol-lib
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
sumcheck-related protocols library
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published