Get the latest tech news
Show HN: ZkGolf
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