AI as a Force Multiplier for Security Engineers
AI has not replaced auditors. It has made strong auditors faster and more powerful, while also amplifying attackers.
Tag
40 posts tagged
AI has not replaced auditors. It has made strong auditors faster and more powerful, while also amplifying attackers.
The first in a three-part series on auditing Go code, covering deceptive syntax, common pitfalls like nil maps and slice aliasing, testing gotchas, and compiler pragmas that hide security-relevant behaviour.
This article covers protective steps developers can take to prevent protocol exploits via defensive design.
An introduction to ZK circuit security, exploring fundamental mental models for creating and thinking about ZK circuits. Learn about under-constrained variable vulnerabilities that appear in ZK code through a practical Circom example.
A summary of Ethereum's Fusaka upgrade and its implications on smart contract functionality.
A comprehensive four-part series guide for security researchers who want to rise faster, build reputation, and make lasting impact in the web3 security space, from foundations to mastery and consistent results.
Practical security checklist and auditing guide for engineers reviewing SP1/RISC-V guest programs (also useful for Risc0). Covers input validation, 32-bit pitfalls, third-party dependency compatibility, overflow protection and verification key handling.
An explanation of how MEV affects cross-chain bridge exploits and the incentives driving them.
A summary of Ethereum's Pectra upgrade and its implications on smart contract functionality.
Analysis of a critical division-by-zero vulnerability in the EigenLayer sidecar rewards calculation process, its potential DoS impact, and the implemented fixes.
A comprehensive methodology for conducting security reviews of blockchain infrastructure, using Reth as a practical example
To achieve composability in DeFi, many projects require external sources of truth or price feeds. This article explores the common vulnerabilities in the use of pricing and oracles with real-world examples.
Key concepts to understand the Solana Virtual Machine (SVM).
This article explores how NEAR's unique account system combines human-readable names with multi-tiered permissions, examining the security implications and providing practical guidance for implementing robust access control in smart contracts.
Examining an interesting edge case discovered in EigenLayer's beacon chain slashing calculation that affects withdrawable share calculations.
In this article, we dive into the storage system of the NEAR blockchain. We'll explore how storage works on NEAR, how to use it securely, and highlight some of the common pitfalls.
NEAR Protocol introduces Nightshade sharding to tackle blockchain scalability while maintaining security. This article explores the security implications of cross-contract calls in sharded environments, demonstrating both proper implementation patterns and potential vulnerabilities through practical examples.
Many DeFi Protocols have decentralised using DAOs and token governance. This article explores the common vulnerabilities in the governance of DAOs with real-world examples.
Liquid Restaking protocols are a big trend in the DeFi space. This article explores the common vulnerabilities in liquid restaking protocols with real-world examples.
Enhancing Forge testing with fuzzing and invariant testing for smart contract security.
A summary of Ethereum's upgrades and their implications on smart contract functionality.
About the new Security Alliance and why we support it
A practical guide to safe choices and best practices when deploying proxies for a project
A rogue key attack on Gennaro et al. DKG for polynomials of excessive degree, allowing full control of the private key
Beacon Fuzz - Update #09
Beacon Fuzz - Update #08
Beacon Fuzz - Update #07
Beacon Fuzz - Update #06
Beacon Fuzz - Update #05
Beacon Fuzz - Update #04
Beacon Fuzz - Update #03
Beacon Fuzz - Update #02
Beacon Fuzz - Update #01
Beacon Fuzz Update #00
Update on fuzzing our Ethereum 2.0 client, Lighthouse.
This post shares publicly the details of a security assessment conducted by Sigma Prime, which targeted an Ethereum smart contract wallet developed by Dapper Labs.
This post shares with the public details of a security review performed by Sigma Prime, which targeted an Ethereum Name Service (ENS) registrar developed by Status.
Introduction to Rust security and fuzzing, with particular focus on our ethereum 2.0 client, lighthouse.
A definition of purity in the Ethereum EVM with strategies for detecting purity on-chain.
This post aims to be a relatively in-depth and up-to-date introductory post detailing the past mistakes that have been made by Solidity developers in an effort to prevent future devs from repeating history.
Other tags
Working on something in this space?
Sigma Prime audits Ethereum protocols, smart contracts, and consensus implementations.
Request a scoping callServices
Products
Resources
Company
Social
© Copyright 2026 by Sigma Prime. All Rights Reserved.