ZKSECURITY
get in touch
about us
Posts
WE-KZG: Encrypt to KZG.
Oct 8, 2024
zkHack x zkSecurity (Whiteboard Session) - What is Zero-Knowledge (like, actually)?
Oct 4, 2024
Archetype x zkSecurity (Whiteboard Session) - Proof is in the Pudding: Arithmetization
Oct 3, 2024
A challenge on the Jolt zkVM
Sep 24, 2024
zkSecurity took part in judging the latest zkHack Montreal
Sep 2, 2024
Reproducing and Exploiting ZK Circuit Vulnerabilities
Aug 9, 2024
noname 2.0: Unlocking Numeric Generics, Folding Schemes, and a Playground
Aug 8, 2024
Exploring Leo: A Primer on Aleo Program Security
Aug 7, 2024
Verifying Cairo proofs on Ethereum
Aug 6, 2024
Beyond the Whitepaper: Where BFT Consensus Protocols Meet Reality
Aug 5, 2024
Renegade Audit: When ZK meets MPC
Jul 22, 2024
FRIDA: Data-Availability Sampling from FRI
Jun 25, 2024
zkSecurity x Bain Capital (Whiteboard Session): Unveiling the Power of Multi-Party Computation
Jun 4, 2024
Circle STARKs: Part I, Mersenne
Jun 3, 2024
The State of Security Tools for ZKPs
Jun 2, 2024
noname meets Ethereum: Integration with SnarkJS
Jun 1, 2024
Ditch the Pump & Dump Drama: Your ZK Tech Hub Awaits
May 31, 2024
A Year of ZK Security
May 30, 2024
ZPrize Came To An End! Who And How Did They Win $500,000?
May 6, 2024
Public report of Lighter ZK circuits
Apr 24, 2024
Partnership with StarkWare
Apr 5, 2024
Public report of Darkfi circuits and crypto audit
Feb 27, 2024
zkBank: you think you have what it takes to work at zkSecurity?
Feb 27, 2024
SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs
Feb 26, 2024
zkBitcoin: Use Zero-Knowledge Applications (zkapps) on Bitcoin
Jan 31, 2024
Public report of Aleo's consensus (Bullshark)
Jan 2, 2024
Public report of Aleo's synthesizer
Jan 2, 2024
Public report of Sui's zkLogin audit
Nov 7, 2023
Public report of Reclaim protocol's ChaCha20 circuit
Oct 2, 2023
Watch what we have to say about ZK security in the Node Guardians season 2 episode 1
Aug 31, 2023
Listen to us on the latest episode of zeroknowledge.fm
Aug 30, 2023
zkSecurity partners with ZPrize to make you win hundreds of thousands of dollars!
Aug 27, 2023
You like Circom but you find it confusing? Introducing Circomscribe
Aug 26, 2023
Detecting boomerang values in zero-knowledge circuits using tag analysis
Aug 25, 2023
Public report of auditing Penumbra's circuits
Aug 24, 2023
The zero-knowledge attack of the year might just have happened, or how Nova got broken
Jul 2, 2023
noname: ZK app developers should be able to see down to the constraints
Jun 3, 2023
wasmati: You should write your WebAssembly in TypeScript
Jun 2, 2023
Do in secret. Assert in public. Don't under-constrain your prover's witness computation in ZK programs
Jun 1, 2023
ZK programmability adds a whole new layer to worry about
May 31, 2023
Private delegated computation is here, and there will be bugs!
May 30, 2023