Posts

zkVM Security: What Could Go Wrong?
Improving the Security of the Jolt zkVM
Unveiling the Magic Behind Starknet: A Deep Dive into New Specifications
Become a Halo2 Hero: Master Zero-Knowledge Proofs with Our New Course
noname 3.0: Native Hints, Standard Library, Compiler Visualizer, And More!
10 Must-Read Papers That Shaped Modern Zero-Knowledge Proofs
ZNARKs: SNARKs for The Integers
Stone CLI: Making Cairo programming more accessible
Archetype x zkSecurity (Whiteboard Session) - Proof is in the Pudding: zkTLS
WE-KZG: Encrypt to KZG.
zkHack x zkSecurity (Whiteboard Session) - What is Zero-Knowledge (like, actually)?
Archetype x zkSecurity (Whiteboard Session) - Proof is in the Pudding: Arithmetization
A challenge on the Jolt zkVM
zkSecurity took part in judging the latest zkHack Montreal
Reproducing and Exploiting ZK Circuit Vulnerabilities
noname 2.0: Unlocking Numeric Generics, Folding Schemes, and a Playground
Exploring Leo: A Primer on Aleo Program Security
Verifying Cairo proofs on Ethereum
Beyond the Whitepaper: Where BFT Consensus Protocols Meet Reality
Renegade Audit: When ZK meets MPC
FRIDA: Data-Availability Sampling from FRI
zkSecurity x Bain Capital (Whiteboard Session): Unveiling the Power of Multi-Party Computation
Circle STARKs: Part I, Mersenne
The State of Security Tools for ZKPs
noname meets Ethereum: Integration with SnarkJS
Ditch the Pump & Dump Drama: Your ZK Tech Hub Awaits
A Year of ZK Security
ZPrize Came To An End! Who And How Did They Win $500,000?
Public report of Lighter ZK circuits
Partnership with StarkWare
Public report of Darkfi circuits and crypto audit
zkBank: you think you have what it takes to work at zkSecurity?
SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs
zkBitcoin: Use Zero-Knowledge Applications (zkapps) on Bitcoin
Public report of Aleo's consensus (Bullshark)
Public report of Aleo's synthesizer
Public report of Sui's zkLogin audit
Public report of Reclaim protocol's ChaCha20 circuit
Watch what we have to say about ZK security in the Node Guardians season 2 episode 1
Listen to us on the latest episode of zeroknowledge.fm
zkSecurity partners with ZPrize to make you win hundreds of thousands of dollars!
You like Circom but you find it confusing? Introducing Circomscribe
Detecting boomerang values in zero-knowledge circuits using tag analysis
Public report of auditing Penumbra's circuits
The zero-knowledge attack of the year might just have happened, or how Nova got broken
noname: ZK app developers should be able to see down to the constraints
wasmati: You should write your WebAssembly in TypeScript
Do in secret. Assert in public. Don't under-constrain your prover's witness computation in ZK programs
ZK programmability adds a whole new layer to worry about
Private delegated computation is here, and there will be bugs!