Javascript is not enabled. This site can still works but it'll be more interactive when javascript is enabled.
loading...
Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
Show HN: zkGolf, competitive optimization of formally verified circuits.
https://zk.golf/
22
rot256
|
2 hours ago
|
1
|
HN
loading story #48763466
Hacker News new | past | comments | ask | show | jobs | submit Hacker News new | past | comments | ask | show | jobs | submit