Skip to content

Add regression test for minimum-bid auction cap extraction#458

Merged
KillariDev merged 6 commits into
mainfrom
t3code/economic-attack-audit
Jul 6, 2026
Merged

Add regression test for minimum-bid auction cap extraction#458
KillariDev merged 6 commits into
mainfrom
t3code/economic-attack-audit

Conversation

@KillariDev

Copy link
Copy Markdown
Collaborator

Summary

  • Adds a simulator helper to read maxRepBeingSold from the uniform price dual-cap batch auction contract.
  • Adds a regression test covering an underfunded truth auction where a single minimum bid can acquire the full REP cap.
  • Verifies both the auction’s total REP purchased and the attacker’s eventual REP claim match the cap.

Testing

  • Not run
  • Test added in solidity/ts/tests/peripherals/truthAuction.test.ts to cover the economic attack scenario

- Add simulator helper to read the auction REP cap
- Cover the economic attack where one minimum bid can buy the full underfunded auction
@KillariDev KillariDev force-pushed the t3code/economic-attack-audit branch from 5307eda to 81e8408 Compare July 4, 2026 18:53
@KillariDev

Copy link
Copy Markdown
Collaborator Author

/review

@KillariDev KillariDev merged commit 66ddb78 into main Jul 6, 2026
1 of 2 checks passed
@KillariDev KillariDev deleted the t3code/economic-attack-audit branch July 6, 2026 10:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant