Botanix Macbeth
May 2025
Bounty Meridian 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.
Engagement snapshot
The review found a high concentration of high-severity/high findings in key asset-movement and validation paths, besides /low improvements. Bounty Meridian assessed Botanix Macbeth with focus on peg-in/peg-out correctness, EVM integration behavior, and economic safety assumptions. The report materially cuts loss and consensus-risk exposure by prioritizing fixes to value-sensitive execution logic.
By the numbers
Total findings
34
High + high-severity findings
20
Scope we covered
-
Peg-in and peg-out machinery
Safety and correctness of cross-system asset movement logic.
-
Validation and deserialization paths
Input handling and panic/edge-case resilience in severe parsing parts.
-
Economic correctness
Gas and value assumptions affecting refunds, accounting, and exploitability.
Related services
Looking for a security audit?
Book a scoping talk