Reproduced Exploit

Maia DAO — User may underpay for remote call ExecutionGas (missing Anycall premium)

1. _payExecutionGas deposits gasprice gas only.\n2. Anycall charges (gasprice+premium)gas.\n3. Gap taken from other users shared executionBudget.

May 2023Otheruntagged1 min read

Chain

Other

Category

untagged

Date

May 2023

Source

AuditVault

EVM Playground

Source-level debugger — step opcodes and Solidity in sync

evm-hack-analyzer

The attack is replayed in an in-browser EVM preloaded with the exact dumped fork state. The execution tree shows every call; step by Solidity line or by opcode across all depths — source, Stack, Memory, Storage, Balances (native / ERC-20 / NFT), Transient storage and Return value stay in sync. Click a tree node, opcode, or source line to jump. No backend, no live RPC.

Loading fork state…

Source & credit. Reproduction of a public audit finding curated by AuditVault — the original finding: 26048-h-14-user-may-underpay-for-the-remote-call-executiongas-on-t. Standalone Foundry PoC and full write-up: 26048-h-14-user-may-underpay-for-the-remote-call-executiongas-on-t_exp in the evm-hack-registry mirror.


Vulnerability classes: see taxonomy below

Reproduction: a self-contained Foundry PoC that compiles & runs in an isolated project with only forge-std — no fork, no RPC, no anvil_state. Full trace: output.txt. PoC: test/26048-h-14-user-may-underpay-for-the-remote-call-executiongas-on-t_exp.sol.


Key info#

ImpactHIGH — minExecCost omits premium; Anycall charges gasprice+premium; premium gap drains shared execution budget
ProtocolMaia DAO
FindingCode4rena · reporter xuwinnie
Reporthttps://code4rena.com/reports/2023-05-maia
SourceAuditVault
StatusAudit finding — reproduced as a standalone local PoC.
Compiler^0.8.24 (PoC)

This is an audit finding, not a historical on-chain incident.


TL;DR#

  1. _payExecutionGas deposits gasprice * gas only.\n2. Anycall charges (gasprice+premium)*gas.\n3. Gap taken from other users shared executionBudget.

Diagrams#

flowchart TD A[Setup vulnerable state] --> B[Trigger vulnerable path] B --> C[Harm asserted in run]

Impact#

minExecCost omits premium; Anycall charges gasprice+premium; premium gap drains shared execution budget

Sources#


Sources & further analysis#

Reproductions & code

Alerts & third-party analyses

  • Web3Sec X hacked database: search.
  • Rekt leaderboard: search.
  • Solodit incident search: search.

These dashboards index community alerts tweets, post-mortems, and independent write-ups. Reach them through the protocol name above to cross-check this reproduction against other analyses.