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…

An Introduction to Interactive Theorem Provers zksecurity.xyz/blog/posts/int…

Introducing bugs.zksecurity.xyz a knowledge base for ZK bugs

In 2024, we partnered with Matter Labs to publish “Beyond L2s Maturity: A Formal Approach to Building Secure Blockchain Rollups.” Our paper proposes a formal security model to examine rollups’ vulnerabilities and offer practical insights for a sturdier decentralized future.

Another great step in our collaboration with Aleo! We found a 0day in November last year and worked hand in hand to ensure it was fixed before any exploit could happen. Link 👇

A gentle introduction to the MPC-in-the-Head transformation. Check below to learn about one of the most interesting ways to construct zero-knowledge proofs: the MPC-in-the-Head transformation

It's time for... Circle STARKs: Part II, Circles. Link below

ByBit Exchange Hack ($1.4B Transactions) - Security Researcher Explained 1. What the transaction did 2. How it could have (potentially) been prevented 3. How to spot this kind of transaction

Projects That Shaped Modern zkVMs — Part 1 blog.zksecurity.xyz/posts/zkvm-pro…

Hey everyone, could you drop links to any smart contract developer communities you know of under this post? It doesn’t matter which social media platform they’re on—I’d really appreciate it!

Auditing Self: Collaborating with Celo on Privacy and Identity Infrastructure blog.zksecurity.xyz/posts/self-aud…

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 👀

If writing ZK apps always felt intimidating, that ends today. RareSkills just released the clearest, most in-depth resource on Circom circuits available online. Read this now. Thank me later.

Common Circom Pitfalls and How to Dodge Them — Part 1 blog.zksecurity.xyz/posts/circom-p…

We recently discovered a subtle but important soundness issue in Halo2, which we’ve named the query collision bug. It affects certain edge-case circuits and was present in widely used versions, including the main Zcash implementation and PSE’s fork. 👇🏼

We created a hands-on tutorial so you get to implement plonk from scratch! blog.zksecurity.xyz/posts/plonk-tu…

Our community - Web3 Security Clan - has created its podcast! You can listen to our first episode with Mani on - Spotify: open.spotify.com/episode/3U3Lwx… - Youtube: youtube.com/watch?v=Dl3wEd… Enjoy

The Lighter public mainnet is live after 8 months of private beta! Trade perpetuals with low costs and low latency on Ethereum L2 with custom ZK circuits for verifiable matching and liquidations. Experience onchain trading at the performance grade of high frequency finance.

Looking at this past year, Circom is still going strong, being used in many projects on top of many different blockchains (Ethereum, Sui, Aptos, what else?). If you're working on circom, make sure you read our series on Circom pitfalls. link to new post below 👇🏼

Starknet's S-two book came out, in partnership with zkSecurity. It has a lot of content, so better start reading it now! ⬇️