Formal Verification of a Plonky2 Gate
How Zellic formally verified Plonky2 gates for Lighter ... Read More
Fuzzing to Zero-Day: Pwning V8CTF With TurboFan Type Confusion, CVE-2025-2135
A type-confusion vulnerability in Chrome's V8 engine (CVE-2025-2135) ... Read More
Inside the SVM – sBPF JIT Security Pitfalls and Memory Leaks
Dissects sBPF execution paths and JIT details, using real vulnerabilities to understand security boundaries ... Read More
Introducing V12
V12 finds critical bugs consistently and automatically. We'll be releasing it for free ... Read More
You’re Probably Using WebViews Wrong: Common Security Pitfalls for Mobile Developers
Looking into WebViews and the common pitfalls for mobile developers ... Read More
What Are BLS Signatures and How Do They Work?
Exploring BLS signature aggregation and how to use it correctly ... Read More
Code4rena will run audit contests for free
Why we'll be running audit competitions for free going forwards ... Read More
Enumerating All 69,788,231 Ethereum Contracts
A look into how we were able to retrieve every single contract ever deployed on Ethereum ... Read More
TON Security Primer: Part 1
A look into The Open Network, its unique design choices, and the security considerations for building on TON ... Read More
