Show HN: zkGolf, competitive optimization of formally verified circuits.
By rot256 · 2026-07-02 · 23 points · 1 comments
https://zk.golf/
Zero-Knowledge Proofs (ZKPs) let an untrusted proved show that computation was executed correctly without revealing the inputs to the verifier. However to prove anything, the computation first has to be expressed as a circuit: a system of polynomial equations (constraints) over…
Open the full discussion on BetterNews