HN
Hacker News
Top
New
Best
Ask
Show
Jobs
rot256
245 karma · joined May 30, 2023
submissions
comments
Show HN: zkGolf – Competitive optimization of formally verified circuits
zk.golf
·
69 pts
·
rot256
·
12
SlopTacker: The AI Streaming Drain
sloptracker.org
·
4 pts
·
rot256
·
0
Powers-of-Funbenius
blog.zksecurity.xyz
·
10 pts
·
rot256
·
0