zknews

trending5

filtered: blog.zksecurity.xyz

01▲
AI meets Cryptography 1: What AI Found in Cloudflare's CIRCL blog.zksecurity.xyz
AI audit found 7 bugs in Cloudflare's CIRCL, from threshold RSA math to HPKE PSK bypass; models now do cryptobugs too.
blockchain cryptanalysis hash mastodon mpc pqc privacy signatures zksecurity
2 pts/ben88/2 days ago/discuss
02▲
zk.golf: Fearless and Collaborative Optimization of Circuits blog.zksecurity.xyz
zk.golf turns circuit golf into a competition, with Lean proofs and a Clean-based submission pipeline.
ai blogs formal-verification lean optimization proof-assistant r1cs snark zk
4 pts/vossr/6 days ago/2 comments
03▲
zkNews Is Now Open to Everyone blog.zksecurity.xyz
zkNews drops the invite wall, so the ZK crowd can submit links, argue, and upvote in public like it's 2009.
blockchain blogs privacy zk zksecurity
12 pts/tara/7 days ago/discuss
04▲
New on mpcsec.org: An MPC Bug Tracker, Templates, and a Cleaner UI blog.zksecurity.xyz
Want a searchable MPC bug tracker and pitfall taxonomy, or just a nicer UI for old implementation mistakes?
blogs cryptanalysis hash mpc privacy signatures
0 pts/omar/12 days ago/2 comments
05▲
Groth16, Intuitively blog.zksecurity.xyz
How does Groth16 turn R1CS into a pairing check without the usual algebra handwaving?
groth16 pairings polynomials qap r1cs snark trusted-setup zero-knowledge zk zkmesh
1 pt/calebcole/28 days ago/5 comments