Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
Show HN: zkGolf – Competitive optimization of formally verified circuits (news.ycombinator.com)
2026-07-02 | tags: zkgolf, zero-knowledge circuits, lean 4
2.
Show HN: zkGolf, competitive optimization of formally verified circuits. (news.ycombinator.com)
2026-07-02 | tags: zkgolf, zero-knowledge circuits, lean 4
3.
Opening up 'Zero-Knowledge Proof' technology to promote privacy in age assurance (news.ycombinator.com)
2026-07-01 | by Alan Stapelberg | get Zero-Knowledge Proofs Book → | tags: zero-knowledge proof, sparkasse, eidas regulation
4.
Unknowable Math Can Help Hide Secrets (news.ycombinator.com)
2026-05-13 | by Ben Brubaker | get Quantum Encryption Device → | tags: zero-knowledge proofs, oded goldreich, yair oren
5.
I Tried Internxt, an Encrypted, Secure Cloud Storage Built for the Post-Quantum Era (cnet.com)
2026-03-18 | by See Full Bio | get Internxt Cloud Storage → | tags: internxt, post-quantum encryption, zero-knowledge
Today's top topics: apple
View all today's topics →

© 2026 GoKawiil | 5 articles displayed

About | Editorial Policy | Contact