Posts

Renegade Audit
FRIDA: Data-Availability Sampling from FRI
zkSecurity x Bain Capital Crypto Whiteboards: 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!