← Back to Feed

Cluster1 sources· last seen 3h ago· first seen 3h ago

Show HN: zkGolf, competitive optimization of formally verified circuits.

Lead: Hacker NewsBigness: 23zkgolfcompetitiveoptimizationformallyverified

Open primary source

📡 Coverage

10

1 news source

🟠 Hacker News

53

26 pts, 1 comments

🔴 Reddit

0

📈 Google Trends

0

Full methodology: How scoring works

Receipts (all sources)

Show HN: zkGolf, competitive optimization of formally verified circuits.

HACKERNEWS · Hacker News · 3h ago · ▲ 26 · 💬 1

score 175