Fede donated $500k to free Roman Storm, Hardhat 3 beta, malicious IDE extensions

Foundry has a new stable release: v1.3.1!

Highlights include: forge lint, time-based campaigns and coverage guided fuzzing for invariant tests, 20%+ perf boost for tests, table tests and improved EIP-712 support

$ foundryup --update
$ foundryup -i stable

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the projec...

A blog post describing the new symbolic execution capabilities of Echidna include preliminary results and immediate future

Introduction


The GKR (Goldwasser–Kalai–Rothblum) protocol provides an efficient way to verify computations over arithmetic circuits, avoiding re-execution and reducing the verifier’s work. In our previous post, GKR protocol: a step-by-step example, we explored…

Fundamental security assumptions

This is a 2025 roadmap update detailing what each team is working on until the end of the year.

Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase Hound is a language-agnostic AI code security auditor that simulates the cognitive processes of human experts (paper link). It …

A massive NPM supply chain attack has compromised foundational packages like Chalk, affecting over 1 billion weekly downloads. We dissect the crypto-stealing malware and show you how to protect your projects immediately.

Learn all about proprietary AMMs, a new market-making primitive pioneered on Solana

Contribute to cryptography-camp/workbook development by creating an account on GitHub.

Sui’s Move language significantly improves flash loan security by replacing Solidity’s reliance on callbacks and runtime checks with a “hot potato” model that enforces repayment at the language level. This shift makes flash loan security a language guarantee…

An ultra-high performance and flexible EVM. Written in zig - evmts/guillotine

# Fusaka Auditor Handbook ## Local devnets for testing A Kurtosis package that deploys a private, p

Impersonate any Ethereum Account and Login into DApps via WalletConnect, iframe or Extension!

Study real-world DeFi vulnerabilities through a curated collection of realistic, Foundry-based reproductions.