RSS Anyway logo
HotLatestFollowingStatusAbout

blog.zksecurity.xyz

Sign in to follow
blog.zksecurity.xyz
RSSAtomJSON
  1. 01.
    AI meets Cryptography 3: What AI Found in Bron Labs's bron-crypto
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · Jul 22
  2. 02.
    Nine Years to Halve a Hash Function: RFC 9861 Is Out
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · Jul 21
  3. 03.
    Bringing Aleo and Leo into zkao
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · Jul 20
  4. 04.
    AI meets Cryptography 2: What AI Found in OpenVM's zkVM
    blog.zksecurity.xyz · /feed.xml
    ▲ 100 · Jul 17 · 9 comments on HN
  5. 05.
    AI meets Cryptography 1: What AI Found in Cloudflare's CIRCL
    blog.zksecurity.xyz · /feed.xml
    ▲ 112 · Jul 7 · 12 comments on HN
  6. 06.
    zk.golf: Fearless and Collaborative Optimization of Circuits
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · Jul 2
  7. 07.
    New on mpcsec.org: An MPC Bug Tracker, Templates, and a Cleaner UI
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · Jun 25
  8. 08.
    zkNews Is Now Open to Everyone
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · Jun 6
  9. 09.
    Clean: From Verified Circuits to Verified zkVMs
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · Jun 5
  10. 10.
    Announcing mpcsec.org: What Goes Wrong When You Implement MPC
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · May 25
  11. 11.
    Sum-Check as an Algebraic Tensor Reduction: Part III
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · May 18
  12. 12.
    Sum-Check as an Algebraic Tensor Reduction: Part II
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · May 10
  13. 13.
    Breaking Jolt’s Verifier with an Unbound Uni-Skip Claim
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · May 9
  14. 14.
    Notes and Proofs for Divisor Techniques
    blog.zksecurity.xyz · /feed.xml
    ▲ 0 · May 8