Reth
Security assessment of the Reth Ethereum execution client with emphasis on decoding safety, state transition correctness, and protocol-level edge cases.
Total findings
51
High + critical findings
10
Blockchain Security Audit Case Studies
Selected public engagements and long-term client collaborations. Each case study summarises the work delivered by Sigma Prime and links to the corresponding public reports published on GitHub.
Filter
12 case studies
- All
- Solidity
- Blockchain protocol
- Go
- Smart contracts
- DeFi
- L2
- Rust
- Bridge
-
More filters
-
-
Mantle L2 Rollup
Security assessment of Mantle L2 architecture and contracts, including fraud-handling assumptions, validator behavior, and implementation-level safety.
Total findings
38
High + critical findings
6
-
Botanix Macbeth
Security assessment of Botanix Macbeth with focus on peg-in/peg-out safety, transaction economics assumptions, and EVM-side integration behavior.
Total findings
34
High + critical findings
20
-
Berachain Reth & Geth
Security assessment of bera-reth and bera-geth with focus on consensus compatibility, transaction decoding, and cross-client correctness under Berachain protocol rules.
Total findings
20
High + critical findings
4
-
Bullet Exchange
Security assessment of Bullet Exchange centered on trading and liquidation safety, risk controls, and correctness of PnL-sensitive flows.
Total findings
33
High + critical findings
14
-
Chainway Clementine
Security assessment of Clementine bridge infrastructure with emphasis on operator behavior, transaction-chain integrity, and safety-critical validation logic.
Total findings
36
High + critical findings
2
-
Derive
Smart contract security review of Derive (formerly Lyra), centered on liquidation safety, manager health checks, and protocol accounting correctness.
Total findings
25
High + critical findings
6
-
Gearbox
Smart contract security assessment of Gearbox v2 components including protocol flows, liquidation mechanics, and integration-level contract behavior.
Total findings
22
High + critical findings
8
-
Obol Charon
Security assessment of Obol Charon with emphasis on distributed validator cryptographic flows, message validation, and runtime safety.
Total findings
21
High + critical findings
7
-
Optimism Bedrock
Security assessment of Optimism Bedrock components with focus on robust handling of untrusted inputs, serialization boundaries, and system correctness.
Total findings
14
High + critical findings
3
-
Taiko
Smart contract security assessment of Taiko bridge and protocol components, including message integrity, proof assumptions, and assignment logic.
Total findings
27
High + critical findings
8
-
Term Finance
Security assessment of Term Finance contracts with focus on auction mechanics, collateral flows, liquidation behavior, and correctness of settlement paths.
Total findings
27
High + critical findings
15
No case studies match the selected tag.
Looking for a security audit?
Request a scoping call
Services
Products
Resources
Company
Social
© Copyright 2026 by Sigma Prime. All Rights Reserved.