HN Explorer

rot256

↗ HN profile [ 359 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: zkGolf – Competitive optimization of formally verified circuits (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…

    69 points 11
  2. SlopTacker: The AI Streaming Drain (sloptracker.org)
    4 points 0
  3. Powers-of-Funbenius (blog.zksecurity.xyz)
    10 points 0