Experiments with multivariate snarks. Just for personal learning.
gkr with a multiplication-only binary tree
(Used in Spartan and Lasso. Proposed in Time-Optimal Interactive Proofs for Circuit Evaluation 5.3.1 Proposition 2)
-
Notifications
You must be signed in to change notification settings - Fork 0
timgestson/hypercube
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
My Experiments with Multivariate-based Snarks
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published