Get the latest tech news
Show HN: zkGolf – Competitive optimization of formally verified circuits
A competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4.
None
Or read this on Hacker NewsGet the latest tech news
A competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4.
None
Or read this on Hacker News