ERC721Permit

.forge-snapshots/PositionManager_burn_empty.snap

@@ -1 +1 @@
-47168
+47186

.forge-snapshots/PositionManager_burn_empty_native.snap

@@ -1 +1 @@
-46986
+47004

.forge-snapshots/PositionManager_burn_nonEmpty_native_withClose.snap

@@ -1 +1 @@
-123040
+123058

.forge-snapshots/PositionManager_burn_nonEmpty_native_withTakePair.snap

@@ -1 +1 @@
-122739
+122756

.forge-snapshots/PositionManager_burn_nonEmpty_withClose.snap

@@ -1 +1 @@
-130119
+130136

.forge-snapshots/PositionManager_burn_nonEmpty_withTakePair.snap

@@ -1 +1 @@
-129817
+129835

.forge-snapshots/PositionManager_collect_native.snap

@@ -1 +1 @@
-141387
+141409

.forge-snapshots/PositionManager_collect_sameRange.snap

@@ -1 +1 @@
-150235
+150257

.forge-snapshots/PositionManager_collect_withClose.snap

@@ -1 +1 @@
-150235
+150257

.forge-snapshots/PositionManager_collect_withTakePair.snap

@@ -1 +1 @@
-149846
+149868

.forge-snapshots/PositionManager_decreaseLiquidity_native.snap

@@ -1 +1 @@
-108584
+108602

.forge-snapshots/PositionManager_decreaseLiquidity_withClose.snap

@@ -1 +1 @@
-115778
+115800

.forge-snapshots/PositionManager_decreaseLiquidity_withTakePair.snap

@@ -1 +1 @@
-115389
+115411

.forge-snapshots/PositionManager_decrease_burnEmpty.snap

@@ -1 +1 @@
-134178
+134196

.forge-snapshots/PositionManager_decrease_burnEmpty_native.snap

@@ -1 +1 @@
-126917
+126935

.forge-snapshots/PositionManager_decrease_sameRange_allLiquidity.snap

@@ -1 +1 @@
-128494
+128516

.forge-snapshots/PositionManager_increaseLiquidity_erc20.snap

@@ -0,0 +1 @@
+152144

.forge-snapshots/PositionManager_increaseLiquidity_erc20_withClose.snap

@@ -1 +1 @@
-152341
+152363

.forge-snapshots/PositionManager_increaseLiquidity_erc20_withSettlePair.snap

@@ -1 +1 @@
-151582
+151604

.forge-snapshots/PositionManager_increaseLiquidity_native.snap

@@ -1 +1 @@
-134141
+134163

.forge-snapshots/PositionManager_increase_autocompoundExactUnclaimedFees.snap

@@ -1 +1 @@
-130306
+130328

.forge-snapshots/PositionManager_increase_autocompoundExcessFeesCredit.snap

@@ -1 +1 @@
-171000
+171022

.forge-snapshots/PositionManager_increase_autocompound_clearExcess.snap

@@ -1 +1 @@
-140956
+141002

.forge-snapshots/PositionManager_mint.snap

@@ -0,0 +1 @@
+372007

.forge-snapshots/PositionManager_mint_native.snap

@@ -1 +1 @@
-336819
+336841

.forge-snapshots/PositionManager_mint_nativeWithSweep.snap

@@ -0,0 +1 @@
+345190

.forge-snapshots/PositionManager_mint_nativeWithSweep_withClose.snap

@@ -1 +1 @@
-345348
+345370

.forge-snapshots/PositionManager_mint_nativeWithSweep_withSettlePair.snap

@@ -1 +1 @@
-344889
+344911

.forge-snapshots/PositionManager_mint_onSameTickLower.snap

@@ -1 +1 @@
-314801
+314823

.forge-snapshots/PositionManager_mint_onSameTickUpper.snap

@@ -1 +1 @@
-315443
+315465

.forge-snapshots/PositionManager_mint_sameRange.snap

@@ -1 +1 @@
-241025
+241047

.forge-snapshots/PositionManager_mint_settleWithBalance_sweep.snap

@@ -1 +1 @@
-371171
+371193

.forge-snapshots/PositionManager_mint_warmedPool_differentRange.snap

@@ -1 +1 @@
-320819
+320841

.forge-snapshots/PositionManager_mint_withClose.snap

@@ -1 +1 @@
-372119
+372141

.forge-snapshots/PositionManager_mint_withSettlePair.snap

@@ -1 +1 @@
-371498
+371520

.forge-snapshots/PositionManager_multicall_initialize_mint.snap

@@ -1 +1 @@
-416560
+416516

.forge-snapshots/PositionManager_permit.snap

@@ -0,0 +1 @@
+79585

.forge-snapshots/PositionManager_permit_secondPosition.snap

@@ -0,0 +1 @@
+62497

.forge-snapshots/PositionManager_permit_twice.snap

@@ -0,0 +1 @@
+45397

src/PositionManager.sol

@@ -70,6 +70,11 @@ contract PositionManager is
         _;
     }
 
+    // TODO: to be implemented after audits
+    function tokenURI(uint256) public pure override returns (string memory) {
+        return "https://example.com";
+    }
+
     /// @notice Reverts if the caller is not the owner or approved for the ERC721 token
     /// @param caller The address of the caller
     /// @param tokenId the unique identifier of the ERC721 token

src/base/ERC721Permit.sol

@@ -1,20 +1,70 @@
 // SPDX-License-Identifier: GPL-2.0-or-later
 pragma solidity ^0.8.24;
 
+import {IERC721} from "forge-std/interfaces/IERC721.sol";
 import {ERC721} from "solmate/src/tokens/ERC721.sol";
+import {EIP712} from "@openzeppelin/contracts/utils/cryptography/EIP712.sol";
+import {ERC721PermitHashLibrary} from "../libraries/ERC721PermitHash.sol";
+import {SignatureVerification} from "permit2/src/libraries/SignatureVerification.sol";
 
-/// @notice An ERC721 contract that supports permit.
-/// TODO: Support permit.
-contract ERC721Permit is ERC721 {
-    constructor(string memory name_, string memory symbol_, string memory version_) ERC721(name_, symbol_) {}
+import {IERC721Permit} from "../interfaces/IERC721Permit.sol";
+import {UnorderedNonce} from "./UnorderedNonce.sol";
+
+/// @title ERC721 with permit
+/// @notice Nonfungible tokens that support an approve via signature, i.e. permit
+abstract contract ERC721Permit is ERC721, IERC721Permit, EIP712, UnorderedNonce {
+    using SignatureVerification for bytes;
+
+    /// @notice Computes the nameHash and versionHash
+    constructor(string memory name_, string memory symbol_, string memory version_)
+        ERC721(name_, symbol_)
+        EIP712(name_, version_)
+    {}
+
+    /// @inheritdoc IERC721Permit
+    function DOMAIN_SEPARATOR() external view returns (bytes32) {
+        return _domainSeparatorV4();
+    }
+
+    /// @inheritdoc IERC721Permit
+    function permit(address spender, uint256 tokenId, uint256 deadline, uint256 nonce, bytes calldata signature)
+        external
+        payable
+    {
+        if (block.timestamp > deadline) revert DeadlineExpired();
+
+        address owner = ownerOf(tokenId);
+        if (spender == owner) revert NoSelfPermit();
+
+        bytes32 hash = ERC721PermitHashLibrary.hash(spender, tokenId, nonce, deadline);
+        signature.verify(_hashTypedDataV4(hash), owner);
+
+        _useUnorderedNonce(owner, nonce);
+        _approve(owner, spender, tokenId);
+    }
+
+    /// @notice Change or reaffirm the approved address for an NFT
+    /// @dev override Solmate's ERC721 approve so approve() and permit() share the _approve method
+    /// The zero address indicates there is no approved address
+    /// Throws error unless `msg.sender` is the current NFT owner,
+    /// or an authorized operator of the current owner.
+    /// @param spender The new approved NFT controller
+    /// @param id The tokenId of the NFT to approve
+    function approve(address spender, uint256 id) public override {
+        address owner = _ownerOf[id];
+
+        if (msg.sender != owner && !isApprovedForAll[owner][msg.sender]) revert Unauthorized();
+
+        _approve(owner, spender, id);
+    }
+
+    function _approve(address owner, address spender, uint256 id) internal {
+        getApproved[id] = spender;
+        emit Approval(owner, spender, id);
+    }
 
     function _isApprovedOrOwner(address spender, uint256 tokenId) internal view returns (bool) {
         return spender == ownerOf(tokenId) || getApproved[tokenId] == spender
             || isApprovedForAll[ownerOf(tokenId)][spender];
     }
-
-    // TODO: Use PositionDescriptor.
-    function tokenURI(uint256 id) public pure override returns (string memory) {
-        return string(abi.encode(id));
-    }
 }

src/base/UnorderedNonce.sol

@@ -0,0 +1,24 @@
+// SPDX-License-Identifier: GPL-2.0-or-later
+pragma solidity ^0.8.24;
+
+/// @title Unordered Nonce
+/// @notice Contract state and methods for using unordered nonces in signatures
+contract UnorderedNonce {
+    error NonceAlreadyUsed();
+
+    /// @notice mapping of nonces consumed by each address, where a nonce is a single bit on the 256-bit bitmap
+    /// @dev word is at most type(uint248).max
+    mapping(address owner => mapping(uint256 word => uint256 bitmap)) public nonces;
+
+    /// @notice Consume a nonce, reverting if its already been used
+    /// @param owner address, the owner/signer of the nonce
+    /// @param nonce uint256, the nonce to consume. the top 248 bits are the word, the bottom 8 bits indicate the bit position
+    function _useUnorderedNonce(address owner, uint256 nonce) internal {
+        uint256 wordPos = nonce >> 8;
+        uint256 bitPos = uint8(nonce);
+
+        uint256 bit = 1 << bitPos;
+        uint256 flipped = nonces[owner][wordPos] ^= bit;
+        if (flipped & bit == 0) revert NonceAlreadyUsed();
+    }
+}

src/interfaces/IERC721Permit.sol

@@ -4,11 +4,9 @@ pragma solidity >=0.7.5;
 /// @title ERC721 with permit
 /// @notice Extension to ERC721 that includes a permit function for signature based approvals
 interface IERC721Permit {
-    error NonceAlreadyUsed();
-
-    /// @notice The permit typehash used in the permit signature
-    /// @return The typehash for the permit
-    function PERMIT_TYPEHASH() external pure returns (bytes32);
+    error DeadlineExpired();
+    error NoSelfPermit();
+    error Unauthorized();
 
     /// @notice The domain separator used in the permit signature
     /// @return The domain seperator used in encoding of permit signature
@@ -18,11 +16,9 @@ interface IERC721Permit {
     /// @param spender The account that is being approved
     /// @param tokenId The ID of the token that is being approved for spending
     /// @param deadline The deadline timestamp by which the call must be mined for the approve to work
-    /// @param v Must produce valid secp256k1 signature from the holder along with `r` and `s`
-    /// @param r Must produce valid secp256k1 signature from the holder along with `v` and `s`
-    /// @param s Must produce valid secp256k1 signature from the holder along with `r` and `v`
+    /// @param signature Concatenated data from a valid secp256k1 signature from the holder, i.e. abi.encodePacked(r, s, v)
     /// @dev payable so it can be multicalled with NATIVE related actions
-    function permit(address spender, uint256 tokenId, uint256 deadline, uint256 nonce, uint8 v, bytes32 r, bytes32 s)
+    function permit(address spender, uint256 tokenId, uint256 deadline, uint256 nonce, bytes calldata signature)
         external
         payable;
 }

src/libraries/ERC721PermitHash.sol

@@ -0,0 +1,11 @@
+// SPDX-License-Identifier: GPL-2.0-or-later
+pragma solidity ^0.8.24;
+
+library ERC721PermitHashLibrary {
+    /// @dev Value is equal to keccak256("Permit(address spender,uint256 tokenId,uint256 nonce,uint256 deadline)");
+    bytes32 constant PERMIT_TYPEHASH = 0x49ecf333e5b8c95c40fdafc95c1ad136e8914a8fb55e9dc8bb01eaa83a2df9ad;
+
+    function hash(address spender, uint256 tokenId, uint256 nonce, uint256 deadline) internal pure returns (bytes32) {
+        return keccak256(abi.encode(PERMIT_TYPEHASH, spender, tokenId, nonce, deadline));
+    }
+}