Botanix Macbeth
May 2025
Sigma Prime assessed Botanix Macbeth across peg-in and peg-out behavior, EVM integration, transaction economics, and validation paths. The case study is relevant for Bitcoin-settled L2 designs where asset movement, execution semantics, and economic assumptions meet.
Executive summary
Sigma Prime assessed Botanix Macbeth with focus on peg-in/peg-out correctness, EVM integration behavior, and economic safety assumptions. The review found a high concentration of critical/high findings in key asset-movement and validation paths, in addition to medium/low improvements. The report materially reduces loss and consensus-risk exposure by prioritizing fixes to value-sensitive execution logic.
By the numbers
Total findings
34
High + critical findings
20
What we reviewed
-
Peg-in and peg-out mechanisms
Safety and correctness of cross-system asset movement logic.
-
Validation and deserialization paths
Input handling and panic/edge-case resilience in critical parsing components.
-
Economic correctness
Gas and value assumptions affecting refunds, accounting, and exploitability.
Related services
Looking for a security audit?
Request a scoping call
Services
Products
Resources
Company
Social
© Copyright 2026 by Sigma Prime. All Rights Reserved.