16

Show HN: zkGolf, competitive optimization of formally verified circuits. (zk.golf)

2 hours ago rot256 zk.golf

3

SlopTacker: The AI Streaming Drain (sloptracker.org)

2 weeks ago rot256 sloptracker.org

8

Powers-of-Funbenius (zksecurity.xyz)

a month ago rot256 zksecurity.xyz