Protocol for proving binary trees of fractional additions (LogUp GKR).#1364
Merged
jimpo merged 10 commits intobinius-zk:mainfrom Jan 4, 2026
Merged
Protocol for proving binary trees of fractional additions (LogUp GKR).#1364jimpo merged 10 commits intobinius-zk:mainfrom
jimpo merged 10 commits intobinius-zk:mainfrom
Commits
Commits on Jan 4, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
