zkSecurity
579 posts
zkSecurity
@zksecurityXYZ
Security audits, development, and research for ZKP, MPC, FHE, PQC, and more generally advanced cryptography. Contact us: [email protected]
- The zero-knowledge attack of the year might just have happened, or how Nova got broken zksecurity.xyz/blog/posts/nov…
- We created a hands-on tutorial so you get to implement plonk from scratch! blog.zksecurity.xyz/posts/plonk-tu…
- Introducing 𝐜𝐥𝐞𝐚𝐧 We've been quietly working on a framework to write formally verified circuits, directly in Lean4 Blog post & video: blog.zksecurity.xyz/posts/clean Here's what it looks like 👀
- zksecurity.xyz/blog/posts/hal… Become a Halo2 Hero: Master Zero-Knowledge Proofs with Our New Course
- Are you interested in working at zkSecurity? Do you have what it takes to find bugs in ZK systems? Take our first challenge: github.com/zksecurity/zkB…
- zkSecurity got Cairo proofs to verify on Ethereum! First time this was done by a team outside Starknet, using the open source Stone prover ⚡️ Our CLI (released soon) will allow anyone to use Cairo on Ethereum directly! etherscan.io/address/0xa1bf…
- if you're reading this, it most likely is because you're interested in zero-knowledge proofs, cryptography, security, and even might need an audit (or know someone who does) in that space!
- We've been writing more about Cairo and the Cairo VM! Check out zksecurity.github.io/stark-book/cai… and how the bootloader works here zksecurity.github.io/stark-book/cai…
- 10 Must-Read Papers That Shaped Modern Zero-Knowledge Proofs
- zkVM Security: What Could Go Wrong? zksecurity.xyz/blog/posts/zkv…
- A Technical Dive into Jolt: The RISC-V zkVM zksecurity.xyz/blog/posts/how…
- You like Circom but you find it confusing? Introducing Circomscribe zksecurity.xyz/blog/posts/cir…
