zkGolf
A platform for competitive optimization of formally verified zero knowledge circuits.
Why it made the shelf
zkGolf is a specialized developer tool for optimizing and verifying circuits used in zero knowledge cryptography.
On 4 boards
- First seen
- 3 months ago
- Best score
- 69 points · 12 comments
Public trail
Where it showed up
7 references from 5 publishers.
- First trace
- Hacker News3 months ago
- Strongest thread
- Hacker News12 comments
- 01Hacker NewsFirst traceStrongest discussion
Competitive optimization of formally verified circuits
- 02
