Posts

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
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!