Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
rot256 | Dark Hacker News
user:
rot256
created:
May 30, 2023
karma:
22
submissions
comments
1.
Show HN: zkGolf, competitive optimization of formally verified circuits.
(zk.golf)
26 points
by
rot256
3 hours ago
|
1 comment
2.
SlopTacker: The AI Streaming Drain
(sloptracker.org)
4 points
by
rot256
14 days ago
|
0 comments
3.
Powers-of-Funbenius
(blog.zksecurity.xyz)
10 points
by
rot256
58 days ago
|
0 comments