@rev-net/core-v6 0.0.37 → 0.0.40

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (112) hide show
  1. package/CHANGELOG.md +2 -2
  2. package/README.md +6 -7
  3. package/foundry.toml +1 -1
  4. package/package.json +23 -16
  5. package/references/operations.md +1 -1
  6. package/references/runtime.md +1 -1
  7. package/script/Deploy.s.sol +12 -9
  8. package/src/REVDeployer.sol +69 -67
  9. package/src/REVHiddenTokens.sol +2 -2
  10. package/src/REVLoans.sol +26 -22
  11. package/src/REVOwner.sol +147 -29
  12. package/src/interfaces/IREVDeployer.sol +2 -1
  13. package/src/interfaces/IREVHiddenTokens.sol +4 -1
  14. package/src/interfaces/IREVOwner.sol +5 -0
  15. package/src/structs/REVAutoIssuance.sol +4 -2
  16. package/src/structs/REVConfig.sol +8 -5
  17. package/src/structs/REVDescription.sol +6 -5
  18. package/src/structs/REVLoan.sol +8 -5
  19. package/src/structs/REVStageConfig.sol +14 -16
  20. package/ADMINISTRATION.md +0 -73
  21. package/ARCHITECTURE.md +0 -116
  22. package/AUDIT_INSTRUCTIONS.md +0 -90
  23. package/RISKS.md +0 -107
  24. package/SKILLS.md +0 -46
  25. package/STYLE_GUIDE.md +0 -610
  26. package/USER_JOURNEYS.md +0 -195
  27. package/foundry.lock +0 -11
  28. package/slither-ci.config.json +0 -10
  29. package/sphinx.lock +0 -507
  30. package/test/REV.integrations.t.sol +0 -573
  31. package/test/REVAutoIssuanceFuzz.t.sol +0 -328
  32. package/test/REVDeployerRegressions.t.sol +0 -396
  33. package/test/REVInvincibility.t.sol +0 -1371
  34. package/test/REVInvincibilityHandler.sol +0 -387
  35. package/test/REVLifecycle.t.sol +0 -420
  36. package/test/REVLoans.invariants.t.sol +0 -724
  37. package/test/REVLoansAttacks.t.sol +0 -816
  38. package/test/REVLoansFeeRecovery.t.sol +0 -783
  39. package/test/REVLoansFindings.t.sol +0 -711
  40. package/test/REVLoansRegressions.t.sol +0 -364
  41. package/test/REVLoansSourceFeeRecovery.t.sol +0 -517
  42. package/test/REVLoansSourced.t.sol +0 -1839
  43. package/test/REVLoansUnSourced.t.sol +0 -409
  44. package/test/TestAuditFixVerification.t.sol +0 -675
  45. package/test/TestBurnHeldTokens.t.sol +0 -394
  46. package/test/TestCEIPattern.t.sol +0 -508
  47. package/test/TestCashOutCallerValidation.t.sol +0 -452
  48. package/test/TestConversionDocumentation.t.sol +0 -365
  49. package/test/TestCrossCurrencyReclaim.t.sol +0 -610
  50. package/test/TestCrossSourceReallocation.t.sol +0 -361
  51. package/test/TestERC2771MetaTx.t.sol +0 -585
  52. package/test/TestEmptyBuybackSpecs.t.sol +0 -300
  53. package/test/TestFlashLoanSurplus.t.sol +0 -365
  54. package/test/TestHiddenTokens.t.sol +0 -474
  55. package/test/TestHookArrayOOB.t.sol +0 -278
  56. package/test/TestLiquidationBehavior.t.sol +0 -398
  57. package/test/TestLoanSourceRotation.t.sol +0 -553
  58. package/test/TestLoansCashOutDelay.t.sol +0 -493
  59. package/test/TestLongTailEconomics.t.sol +0 -677
  60. package/test/TestLowFindings.t.sol +0 -677
  61. package/test/TestMixedFixes.t.sol +0 -593
  62. package/test/TestPermit2Signatures.t.sol +0 -683
  63. package/test/TestReallocationSandwich.t.sol +0 -412
  64. package/test/TestRevnetRegressions.t.sol +0 -350
  65. package/test/TestSplitWeightAdjustment.t.sol +0 -527
  66. package/test/TestSplitWeightE2E.t.sol +0 -605
  67. package/test/TestSplitWeightFork.t.sol +0 -855
  68. package/test/TestStageTransitionBorrowable.t.sol +0 -301
  69. package/test/TestSwapTerminalPermission.t.sol +0 -262
  70. package/test/TestTerminalEncodingInHash.t.sol +0 -326
  71. package/test/TestUint112Overflow.t.sol +0 -311
  72. package/test/TestZeroAmountLoanGuard.t.sol +0 -378
  73. package/test/TestZeroRepayment.t.sol +0 -354
  74. package/test/audit/CrossChainBuybackRouteMismatch.t.sol +0 -184
  75. package/test/audit/HiddenSupplyCashout.t.sol +0 -61
  76. package/test/audit/LoanIdOverflowGuard.t.sol +0 -523
  77. package/test/audit/NemesisVerification.t.sol +0 -97
  78. package/test/audit/OperatorDelegation.t.sol +0 -356
  79. package/test/audit/PhantomSurplusTerminal.t.sol +0 -367
  80. package/test/audit/REVOwnerCurrencyMismatch.t.sol +0 -188
  81. package/test/audit/REVOwnerRemoteSurplusCurrencyMismatch.t.sol +0 -140
  82. package/test/audit/ReallocatePermission.t.sol +0 -363
  83. package/test/audit/RemoteLoanAccountingGap.t.sol +0 -74
  84. package/test/audit/SupportsInterfaceTest.t.sol +0 -51
  85. package/test/audit/TestFeeAllowanceLeak.t.sol +0 -197
  86. package/test/audit/TestLoansAndDeployerFixes.t.sol +0 -576
  87. package/test/fork/ForkTestBase.sol +0 -727
  88. package/test/fork/TestAutoIssuanceFork.t.sol +0 -148
  89. package/test/fork/TestCashOutFork.t.sol +0 -253
  90. package/test/fork/TestIssuanceDecayFork.t.sol +0 -158
  91. package/test/fork/TestLoanAdversarialFork.t.sol +0 -744
  92. package/test/fork/TestLoanBorrowFork.t.sol +0 -163
  93. package/test/fork/TestLoanCrossRulesetFork.t.sol +0 -308
  94. package/test/fork/TestLoanERC20Fork.t.sol +0 -459
  95. package/test/fork/TestLoanLiquidationFork.t.sol +0 -135
  96. package/test/fork/TestLoanReallocateFork.t.sol +0 -113
  97. package/test/fork/TestLoanRepayFork.t.sol +0 -188
  98. package/test/fork/TestLoanTransferFork.t.sol +0 -143
  99. package/test/fork/TestPermit2PaymentFork.t.sol +0 -300
  100. package/test/fork/TestSplitWeightFork.t.sol +0 -189
  101. package/test/helpers/MaliciousContracts.sol +0 -247
  102. package/test/helpers/REVEmpty721Config.sol +0 -45
  103. package/test/mock/MockBuybackCashOutRecorder.sol +0 -84
  104. package/test/mock/MockBuybackDataHook.sol +0 -112
  105. package/test/mock/MockBuybackDataHookMintPath.sol +0 -68
  106. package/test/mock/MockSuckerRegistry.sol +0 -17
  107. package/test/regression/TestBurnPermissionRequired.t.sol +0 -294
  108. package/test/regression/TestCashOutBuybackFeeLeak.t.sol +0 -232
  109. package/test/regression/TestCrossRevnetLiquidation.t.sol +0 -255
  110. package/test/regression/TestCumulativeLoanCounter.t.sol +0 -361
  111. package/test/regression/TestLiquidateGapHandling.t.sol +0 -394
  112. package/test/regression/TestZeroPriceFeed.t.sol +0 -422
@@ -1,197 +0,0 @@
1
- // SPDX-License-Identifier: MIT
2
- pragma solidity 0.8.28;
3
-
4
- import {ERC165} from "@openzeppelin/contracts/utils/introspection/ERC165.sol";
5
- import {IERC165} from "@openzeppelin/contracts/utils/introspection/IERC165.sol";
6
- import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
7
- import {IJBDirectory} from "@bananapus/core-v6/src/interfaces/IJBDirectory.sol";
8
- import {IJBTerminal} from "@bananapus/core-v6/src/interfaces/IJBTerminal.sol";
9
- import {IJBPayoutTerminal} from "@bananapus/core-v6/src/interfaces/IJBPayoutTerminal.sol";
10
- import {JBAccountingContext} from "@bananapus/core-v6/src/structs/JBAccountingContext.sol";
11
- import {JBConstants} from "@bananapus/core-v6/src/libraries/JBConstants.sol";
12
- import {JBRuleset} from "@bananapus/core-v6/src/structs/JBRuleset.sol";
13
- import {JBPayHookSpecification} from "@bananapus/core-v6/src/structs/JBPayHookSpecification.sol";
14
- import {REVLoanSource} from "../../src/structs/REVLoanSource.sol";
15
- import {REVLoansFeeRecovery} from "../REVLoansFeeRecovery.t.sol";
16
-
17
- contract StickyAllowanceFeeTerminal is ERC165, IJBPayoutTerminal {
18
- IERC20 public immutable token;
19
- address public immutable loans;
20
- address public thief;
21
- uint256 public stealAmount;
22
-
23
- constructor(IERC20 _token, address _loans) {
24
- token = _token;
25
- loans = _loans;
26
- }
27
-
28
- function configureSteal(address _thief, uint256 _stealAmount) external {
29
- thief = _thief;
30
- stealAmount = _stealAmount;
31
- }
32
-
33
- function pay(
34
- uint256,
35
- address,
36
- uint256,
37
- address,
38
- uint256,
39
- string calldata,
40
- bytes calldata
41
- )
42
- external
43
- payable
44
- override
45
- returns (uint256)
46
- {
47
- uint256 amount = stealAmount;
48
- if (amount != 0) {
49
- stealAmount = 0;
50
- token.transferFrom(loans, thief, amount);
51
- }
52
- return 0;
53
- }
54
-
55
- function accountingContextForTokenOf(uint256, address) external view override returns (JBAccountingContext memory) {
56
- return JBAccountingContext({token: address(token), decimals: 6, currency: uint32(uint160(address(token)))});
57
- }
58
-
59
- function accountingContextsOf(uint256) external pure override returns (JBAccountingContext[] memory) {
60
- return new JBAccountingContext[](0);
61
- }
62
-
63
- function addAccountingContextsFor(uint256, JBAccountingContext[] calldata) external override {}
64
-
65
- function addToBalanceOf(
66
- uint256,
67
- address,
68
- uint256,
69
- bool,
70
- string calldata,
71
- bytes calldata
72
- )
73
- external
74
- payable
75
- override
76
- {}
77
-
78
- function currentSurplusOf(uint256, address[] calldata, uint256, uint256) external pure override returns (uint256) {
79
- return 0;
80
- }
81
-
82
- function migrateBalanceOf(uint256, address, IJBTerminal) external pure override returns (uint256) {
83
- return 0;
84
- }
85
-
86
- function sendPayoutsOf(uint256, address, uint256, uint256, uint256) external pure override returns (uint256) {
87
- return 0;
88
- }
89
-
90
- function useAllowanceOf(
91
- uint256,
92
- address,
93
- uint256,
94
- uint256,
95
- uint256,
96
- address payable,
97
- address payable,
98
- string calldata
99
- )
100
- external
101
- pure
102
- override
103
- returns (uint256)
104
- {
105
- return 0;
106
- }
107
-
108
- function previewPayFor(
109
- uint256,
110
- address,
111
- uint256,
112
- address,
113
- bytes calldata
114
- )
115
- external
116
- pure
117
- override
118
- returns (JBRuleset memory, uint256, uint256, JBPayHookSpecification[] memory)
119
- {
120
- JBRuleset memory ruleset;
121
- return (ruleset, 0, 0, new JBPayHookSpecification[](0));
122
- }
123
-
124
- function supportsInterface(bytes4 interfaceId) public view override(ERC165, IERC165) returns (bool) {
125
- return interfaceId == type(IJBTerminal).interfaceId || interfaceId == type(IJBPayoutTerminal).interfaceId
126
- || super.supportsInterface(interfaceId);
127
- }
128
- }
129
-
130
- contract TestFeeAllowanceLeak is REVLoansFeeRecovery {
131
- StickyAllowanceFeeTerminal internal stickyFeeTerminal;
132
- address internal attacker = makeAddr("attacker");
133
-
134
- function _stickyFeeTerminal() internal returns (StickyAllowanceFeeTerminal) {
135
- if (address(stickyFeeTerminal) == address(0)) {
136
- stickyFeeTerminal = new StickyAllowanceFeeTerminal(TOKEN, address(LOANS_CONTRACT));
137
- }
138
- return stickyFeeTerminal;
139
- }
140
-
141
- /// @notice Verifies that stale allowance is cleared — the original exploit no longer works.
142
- /// @dev Previously, a sticky fee terminal could accumulate reusable allowance across borrows.
143
- /// After the fix (_afterTransferTo clears allowance on success), the allowance is zero.
144
- function test_feeTerminalCannotHarvestStaleAllowanceAfterFix() public {
145
- StickyAllowanceFeeTerminal terminal = _stickyFeeTerminal();
146
-
147
- vm.mockCall(
148
- address(jbDirectory()),
149
- abi.encodeWithSelector(IJBDirectory.primaryTerminalOf.selector, FEE_PROJECT_ID, address(TOKEN)),
150
- abi.encode(address(terminal))
151
- );
152
-
153
- REVLoanSource memory source = REVLoanSource({token: address(TOKEN), terminal: jbMultiTerminal()});
154
- uint256 payAmount = 1_000_000;
155
-
156
- deal(address(TOKEN), USER, payAmount * 2);
157
-
158
- vm.startPrank(USER);
159
- TOKEN.approve(address(jbMultiTerminal()), payAmount * 2);
160
- uint256 firstTokenCount = jbMultiTerminal().pay(REVNET_ID, address(TOKEN), payAmount, USER, 0, "", "");
161
- vm.stopPrank();
162
-
163
- _mockLoanPermission(USER);
164
- vm.prank(USER);
165
- LOANS_CONTRACT.borrowFrom(REVNET_ID, source, 0, firstTokenCount, payable(USER), 25, USER);
166
-
167
- // Allowance is now cleared after successful fee payment.
168
- uint256 allowanceAfterBorrow = TOKEN.allowance(address(LOANS_CONTRACT), address(stickyFeeTerminal));
169
- assertEq(allowanceAfterBorrow, 0, "no stale allowance after successful borrow");
170
-
171
- // The uncollected fee is still parked in REVLoans (terminal didn't pull it),
172
- // but there's no allowance for the terminal to steal it later.
173
- uint256 loansBalance = TOKEN.balanceOf(address(LOANS_CONTRACT));
174
- assertGt(loansBalance, 0, "uncollected fee is parked in REVLoans");
175
-
176
- // Second borrow — terminal tries to steal but can't because allowance is 0.
177
- vm.prank(USER);
178
- uint256 secondTokenCount = jbMultiTerminal().pay(REVNET_ID, address(TOKEN), payAmount, USER, 0, "", "");
179
-
180
- terminal.configureSteal(attacker, loansBalance);
181
-
182
- _mockLoanPermission(USER);
183
- vm.prank(USER);
184
- LOANS_CONTRACT.borrowFrom(REVNET_ID, source, 0, secondTokenCount, payable(USER), 25, USER);
185
-
186
- // The attacker gets nothing — the steal attempt fails silently (transferFrom reverts,
187
- // caught by _tryPayFee's try-catch).
188
- assertEq(TOKEN.balanceOf(attacker), 0, "attacker cannot drain stale allowance");
189
-
190
- // And the current borrow also leaves zero allowance.
191
- assertEq(
192
- TOKEN.allowance(address(LOANS_CONTRACT), address(terminal)),
193
- 0,
194
- "no fresh stale allowance after second borrow"
195
- );
196
- }
197
- }