Skip to content

update certora ci #104

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Feb 24, 2025
Merged

update certora ci #104

merged 1 commit into from
Feb 24, 2025

Conversation

@sakulstra
Copy link
Contributor

@sakulstra sakulstra commented Feb 24, 2025

No description provided.

@github-actions
Copy link
Contributor

github-actions bot commented Feb 24, 2025

♻️ Forge Gas Snapshots

🔕 Unchanged
Path Value
snapshots/AToken.transfer.json
full amount; receiver: ->enableCollateral 144,881
full amount; sender: ->disableCollateral; 103,318
full amount; sender: ->disableCollateral; receiver: ->enableCollateral 145,060
full amount; sender: ->disableCollateral; receiver: dirty, ->enableCollateral 133,158
full amount; sender: collateralDisabled 103,139
partial amount; sender: collateralDisabled; 103,139
partial amount; sender: collateralDisabled; receiver: ->enableCollateral 144,881
partial amount; sender: collateralEnabled; 103,347
partial amount; sender: collateralEnabled; receiver: ->enableCollateral 145,089
snapshots/Pool.Getters.json
getEModeCategoryCollateralConfig 8,000
getEModeCategoryData 11,053
getLiquidationGracePeriod 7,765
getReserveData 32,157
getUserAccountData: supplies: 0, borrows: 0 22,641
getUserAccountData: supplies: 0, borrows: 0 with eMode enabled 7,641
getUserAccountData: supplies: 1, borrows: 0 35,053
getUserAccountData: supplies: 1, borrows: 0 with eMode enabled 27,360
getUserAccountData: supplies: 2, borrows: 0 47,575
getUserAccountData: supplies: 2, borrows: 0 with eMode enabled 40,267
getUserAccountData: supplies: 2, borrows: 1 29,431
getUserAccountData: supplies: 2, borrows: 1 with eMode enabled 30,623
snapshots/Pool.Operations.json
borrow: first borrow->borrowingEnabled 256,480
borrow: recurrent borrow 249,018
liquidationCall: deficit on liquidated asset 392,365
liquidationCall: deficit on liquidated asset + other asset 491,921
liquidationCall: full liquidation 392,365
liquidationCall: full liquidation and receive ATokens 368,722
liquidationCall: partial liquidation 383,166
liquidationCall: partial liquidation and receive ATokens 359,520
repay: full repay 176,521
repay: full repay with ATokens 173,922
repay: partial repay 189,949
repay: partial repay with ATokens 185,129
supply: collateralDisabled 146,755
supply: collateralEnabled 146,755
supply: first supply->collateralEnabled 176,366
withdraw: full withdraw 165,226
withdraw: partial withdraw 181,916
withdraw: partial withdraw with active borrows 239,471
snapshots/Pool.Setters.json
setUserEMode: enter eMode, 1 borrow, 1 supply 140,836
setUserEMode: leave eMode, 1 borrow, 1 supply 112,635
setUserUseReserveAsCollateral: disableCollateral, 1 supply 93,456
setUserUseReserveAsCollateral: enableCollateral, 1 supply 105,167
snapshots/ProtocolDataProvider.json
getATokenTotalSupply 35,491
getFlashLoanEnabled 16,739
getInterestRateStrategyAddress 40,256
getIsVirtualAccActive 16,789
getLiquidationProtocolFee 16,766
getPaused 16,855
getReserveCaps 16,767
getReserveConfigurationData 17,181
getReserveTokensAddresses 20,374
getSiloedBorrowing 16,792
getTotalDebt 35,491
getUnbackedMintCap 16,721
getUserReserveData 29,607
getVirtualUnderlyingBalance 16,533
snapshots/StataTokenV2.json
claimRewards 359,669
deposit 280,955
depositATokens 219,311
redeem 205,837
redeemAToken 152,633
snapshots/WrappedTokenGatewayV3.json
borrowETH 250,413
depositETH 222,614
repayETH 192,937
withdrawETH 259,299

@github-actions
Copy link
Contributor

github-actions bot commented Feb 24, 2025

Forge Build Sizes

🔕 Unchanged
Contract Runtime Size (B) Initcode Size (B) Runtime Margin (B) Initcode Margin (B)
ACLManager 3,493 4,108 21,083 45,044
ATokenHandler 9,969 10,709 14,607 38,443
ATokenInstance 10,162 11,059 14,414 38,093
ATokenMock 803 967 23,773 48,185
AaveOracle 2,607 3,767 21,969 45,385
AaveProtocolDataProvider 9,628 9,909 14,948 39,243
AaveV3BatchOrchestration 44 94 24,532 49,058
AaveV3ConfigEngine 7,396 8,988 17,180 40,164
AaveV3DefaultRateStrategyProcedure 21 47 24,555 49,105
AaveV3GettersBatchOne 229 32,675 24,347 16,477
AaveV3GettersBatchTwo 137 10,835 24,439 38,317
AaveV3GettersProcedureOne 21 47 24,555 49,105
AaveV3GettersProcedureTwo 21 47 24,555 49,105
AaveV3HelpersBatchOne 353 33,396 24,223 15,756
AaveV3HelpersBatchTwo 229 31,062 24,347 18,090
AaveV3HelpersProcedureOne 21 47 24,555 49,105
AaveV3HelpersProcedureTwo 21 47 24,555 49,105
AaveV3IncentiveProcedure 21 47 24,555 49,105
AaveV3L2PoolBatch 137 43,305 24,439 5,847
AaveV3L2PoolProcedure 21 47 24,555 49,105
AaveV3LibrariesBatch1 353 31,313 24,223 17,839
AaveV3LibrariesBatch2 353 45,102 24,223 4,050
AaveV3MiscBatch 137 6,833 24,439 42,319
AaveV3MiscProcedure 21 47 24,555 49,105
AaveV3MockAssetEModeUpdate 3,309 3,538 21,267 45,614
AaveV3MockBorrowUpdate 3,189 3,380 21,387 45,772
AaveV3MockBorrowUpdateNoChange 3,219 3,410 21,357 45,742
AaveV3MockCapUpdate 3,133 3,324 21,443 45,828
AaveV3MockCollateralUpdate 3,193 3,384 21,383 45,768
AaveV3MockCollateralUpdateCorrectBonus 3,193 3,384 21,383 45,768
AaveV3MockCollateralUpdateNoChange 3,220 3,411 21,356 45,741
AaveV3MockCollateralUpdateWrongBonus 3,197 3,388 21,379 45,764
AaveV3MockEModeCategoryUpdate 3,049 3,187 21,527 45,965
AaveV3MockEModeCategoryUpdateEdgeBonus 3,052 3,190 21,524 45,962
AaveV3MockEModeCategoryUpdateNoChange 3,120 3,258 21,456 45,894
AaveV3MockListing 3,488 3,717 21,088 45,435
AaveV3MockListingCustom 3,781 4,093 20,795 45,059
AaveV3MockPriceFeedUpdate 3,159 3,388 21,417 45,764
AaveV3MockRatesUpdate 3,152 3,343 21,424 45,809
AaveV3OracleProcedure 21 47 24,555 49,105
AaveV3ParaswapBatch 189 28,487 24,387 20,665
AaveV3ParaswapProcedure 21 47 24,555 49,105
AaveV3PeripheryBatch 292 37,612 24,284 11,540
AaveV3PoolBatch 137 42,058 24,439 7,094
AaveV3PoolConfigProcedure 21 47 24,555 49,105
AaveV3PoolProcedure 21 47 24,555 49,105
AaveV3SetupBatch 11,610 24,899 12,966 24,253
AaveV3SetupProcedure 21 47 24,555 49,105
AaveV3TestListing 7,018 14,747 17,558 34,405
AaveV3TokensBatch 137 20,323 24,439 28,829
AaveV3TokensProcedure 21 47 24,555 49,105
AaveV3TreasuryProcedure 21 47 24,555 49,105
Actor 943 1,747 23,633 47,405
Address 44 94 24,532 49,058
AdminUpgradeabilityProxy 1,544 2,502 23,032 46,650
AugustusRegistryMock 162 190 24,414 48,962
BaseAdminUpgradeabilityProxy 1,536 1,565 23,040 47,587
BaseHandler 147 866 24,429 48,286
BaseHooks 147 866 24,429 48,286
BaseImmutableAdminUpgradeabilityProxy 1,302 1,469 23,274 47,683
BaseUpgradeabilityProxy 108 135 24,468 49,017
BorrowEngine 2,486 2,539 22,090 46,613
BorrowLogic 12,712 12,765 11,864 36,387
BorrowingHandler 13,585 14,325 10,991 34,827
BridgeLogic 6,747 6,800 17,829 42,352
CalldataLogic 44 94 24,532 49,058
CapsEngine 1,136 1,189 23,440 47,963
CollateralEngine 2,691 2,744 21,885 46,408
Collector 6,496 6,716 18,080 42,436
ConfiguratorInputTypes 44 94 24,532 49,058
ConfiguratorLogic 6,040 6,093 18,536 43,059
Create2Factory 52 78 24,524 49,074
Create2Utils 121 172 24,455 48,980
DataTypes 44 94 24,532 49,058
DefaultMarketInput 21 47 24,555 49,105
DefaultReserveInterestRateStrategyV2 3,998 4,293 20,578 44,859
DeployPermit2 44 94 24,532 49,058
DeployUtils 913 942 23,663 48,210
DonationAttackHandler 670 1,390 23,906 47,762
ECDSA 44 94 24,532 49,058
EIP712SigUtils 1,563 1,616 23,013 47,536
EModeConfiguration 44 94 24,532 49,058
EModeEngine 4,384 4,437 20,192 44,715
EModeLogic 3,952 4,005 20,624 45,147
ERC1967Proxy 122 967 24,454 48,185
ERC1967Utils 44 94 24,532 49,058
ERC20 2,086 2,839 22,490 46,313
EmissionManager 3,398 3,859 21,178 45,293
EngineFlags 44 94 24,532 49,058
EnumerableSet 44 94 24,532 49,058
Errors 4,660 4,713 19,916 44,439
FactoryDeployer 214 241 24,362 48,911
Faucet 2,033 2,565 22,543 46,587
FlashLoanHandler 8,942 9,682 15,634 39,470
FlashLoanLogic 9,504 9,557 15,072 39,595
FlashloanAttacker 1,602 2,026 22,974 47,126
GPv2SafeERC20 44 94 24,532 49,058
GenericLogic 44 94 24,532 49,058
Initializable 21 47 24,555 49,105
InitializableAdminUpgradeabilityProxy 2,388 2,417 22,188 46,735
InitializableImmutableAdminUpgradeabilityProxy 1,853 2,020 22,723 47,132
InitializableUpgradeabilityProxy 871 900 23,705 48,252
IsolationModeLogic 44 94 24,532 49,058
L2Encoder 3,731 3,926 20,845 45,226
L2PoolInstance 22,663 22,919 1,913 26,233
LendingHandler 12,142 12,882 12,434 36,270
LiquidationDataProvider 7,518 7,805 17,058 41,347
LiquidationHandler 11,637 12,377 12,939 36,775
LiquidationHelper 44 94 24,532 49,058
LiquidationLogic 14,886 14,939 9,690 34,213
ListingEngine 6,967 7,020 17,609 42,132
MarketReportUtils 44 94 24,532 49,058
Math 44 94 24,532 49,058
MathUtils 44 94 24,532 49,058
MathUtilsWrapper 917 946 23,659 48,206
MessageHashUtils 44 94 24,532 49,058
MetadataReporter 12,072 12,101 12,504 37,051
MintableDelegationERC20 2,534 3,319 22,042 45,833
MintableERC20 3,351 4,300 21,225 44,852
Mock 183 211 24,393 48,941
MockAToken 10,164 11,063 14,412 38,089
MockATokenRepayment 10,245 11,144 14,331 38,008
MockAggregator 134 278 24,442 48,874
MockAggregatorSetPrice 243 391 24,333 48,761
MockBadTransferStrategy 998 1,187 23,578 47,965
MockERC20AaveLMUpgradeable 7,932 8,150 16,644 41,002
MockERC4626StataTokenUpgradeable 9,500 9,856 15,076 39,296
MockFlashLoanATokenReceiver 2,396 2,774 22,180 46,378
MockFlashLoanReceiver 2,024 2,053 22,552 47,099
MockFlashLoanSimpleReceiver 1,476 1,761 23,100 47,391
MockIncentivesController 132 159 24,444 48,993
MockInitializableFromConstructorImple 349 639 24,227 48,513
MockInitializableImple 1,544 1,576 23,032 47,576
MockInitializableImpleV2 1,546 1,578 23,030 47,574
MockInitializableV1 307 339 24,269 48,813
MockInitializableV2 309 341 24,267 48,811
MockL2Pool 22,690 22,946 1,886 26,206
MockParaSwapAugustus 1,939 1,968 22,637 47,184
MockParaSwapAugustusRegistry 179 308 24,397 48,844
MockPeripheryContractV1 309 338 24,267 48,814
MockPeripheryContractV2 290 319 24,286 48,833
MockPoolInherited 21,605 21,888 2,971 27,264
MockReentrantInitializableImple 413 445 24,163 48,707
MockReserveConfiguration 2,652 2,681 21,924 46,471
MockReserveInterestRateStrategy 3,315 3,614 21,261 45,538
MockScaledTestnetERC20 4,101 5,529 20,475 43,623
MockScaledToken 3,999 4,761 20,577 44,391
MockVariableDebtToken 7,280 8,163 17,296 40,989
Ownable 629 722 23,947 48,430
Panic 44 94 24,532 49,058
ParaSwapLiquiditySwapAdapter 8,145 9,269 16,431 39,883
ParaSwapRepayAdapter 8,725 9,939 15,851 39,213
ParaSwapWithdrawSwapAdapter 6,655 7,709 17,921 41,443
PercentageMath 44 94 24,532 49,058
PercentageMathWrapper 297 326 24,279 48,826
PoolAddressesProvider 6,696 8,050 17,880 41,102
PoolAddressesProviderRegistry 2,149 2,610 22,427 46,542
PoolConfiguratorInstance 19,728 19,760 4,848 29,392
PoolHandler 12,243 12,983 12,333 36,169
PoolInstance 21,416 21,672 3,160 27,480
PoolLogic 6,943 6,996 17,633 42,156
PoolPermissionedHandler 10,518 11,258 14,058 37,894
PoolStorage 21 47 24,555 49,105
Pretty 2,459 2,512 22,117 46,640
PriceAggregatorHandler 485 1,205 24,091 47,947
PriceFeedEngine 1,531 1,584 23,045 47,568
PriceOracle 469 498 24,107 48,654
PriceOracleSentinel 1,669 1,885 22,907 47,267
PropertiesLibString 44 94 24,532 49,058
ProtocolAssertions 147 866 24,429 48,286
ProxyAdmin 990 1,235 23,586 47,917
ProxyHelpers 44 94 24,532 49,058
PullRewardsTransferStrategy 1,255 1,481 23,321 47,671
RateEngine 2,297 2,350 22,279 46,802
ReserveConfiguration 128 179 24,448 48,973
ReserveLogic 44 94 24,532 49,058
RevenueSplitter 1,942 2,259 22,634 46,893
RewardsController 14,067 14,261 10,509 34,891
RewardsDataTypes 44 94 24,532 49,058
SafeCast 44 94 24,532 49,058
SafeERC20 44 94 24,532 49,058
SafeMath 44 94 24,532 49,058
SequencerOracle 865 1,326 23,711 47,826
Setup 147 866 24,429 48,286
SigUtils 492 545 24,084 48,607
SignedMath 44 94 24,532 49,058
SlotParser 330 383 24,246 48,769
StakeMock 355 384 24,221 48,768
StakedTokenTransferStrategy 2,060 2,770 22,516 46,382
StataTokenFactory 2,981 3,437 21,595 45,715
StataTokenV2 18,929 19,631 5,647 29,521
StorageSlot 44 94 24,532 49,058
Strings 44 94 24,532 49,058
SupplyLogic 11,910 11,963 12,666 37,189
TestERC20 3,946 5,198 20,630 43,954
TestnetERC20 3,981 5,401 20,595 43,751
TransparentProxyFactory 6,830 6,859 17,746 42,293
TransparentUpgradeableProxy 1,088 3,582 23,488 45,570
UiIncentiveDataProviderV3 9,046 9,075 15,530 40,077
UiPoolDataProviderV3 10,002 10,213 14,574 38,939
UpgradeabilityProxy 108 855 24,468 48,297
UserConfiguration 44 94 24,532 49,058
ValidationLogic 189 241 24,387 48,911
VariableDebtTokenHandler 1,177 1,897 23,399 47,255
VariableDebtTokenHarness 7,296 8,179 17,280 40,973
VariableDebtTokenInstance 7,278 8,159 17,298 40,993
WETH9 1,886 2,357 22,690 46,795
WETH9Mock 2,641 3,875 21,935 45,277
WETH9Mocked 2,192 2,663 22,384 46,489
WadRayMath 44 94 24,532 49,058
WadRayMathWrapper 816 845 23,760 48,307
WalletBalanceProvider 2,557 2,586 22,019 46,566
WalletMock 21 47 24,555 49,105
WrappedTokenGatewayV3 5,387 6,279 19,189 42,873

@sakulstra sakulstra merged commit 43eab2c into aave-dao:main Feb 24, 2025
3 of 4 checks passed
avniculae added a commit to aave/aave-v3-horizon that referenced this pull request May 21, 2025
@avniculae @sakulstra
@nisnislevi @TepNik @brotherlymite
Fetch latest main from v3-origin (#9)
351438b 
* test: update certora suite for 3.3.0 (aave-dao#104)

Co-authored-by: nisnislevi <[email protected]>

* fix: vm.assume for user address for the Pool Deficit tests & update snapshots (aave-dao#105)


Foundry had an issue in regards to storage hotness checks on gas reports.
The changes in the gas reports here highlight the updated snapshots based on the fix.

Co-authored-by: Lukas <[email protected]>

* feat: add lcov report (aave-dao#108)

* feat: add changeset, add release workflow, make snapshots run in siolation (aave-dao#110)

* feat: adding dust bin to deployment script (aave-dao#111)

* Added gas snapshots for flashloans (aave-dao#112)

* ci: fixed ci permissions (aave-dao#113)

before the changeset integration was not allowed to create pull requests.

* ci: checkout commit when submitting lcov to codecov (aave-dao#116)

Codecov requires the git to be initialized as otherwise apparently it has problems to identify which artifact belongs to what.
This pr fixes this by checking out the repo on the codecov flow.

* chore: bump solidity-utils lib

* fix: fixed edge case in the LiquidationDataProvider helper contract (aave-dao#122)

Co-authored-by: TepNik <[email protected]>

---------

Co-authored-by: Lukas <[email protected]>
Co-authored-by: nisnislevi <[email protected]>
Co-authored-by: Nikita <[email protected]>
Co-authored-by: Lukas <[email protected]>
Co-authored-by: Harsh Pandey <[email protected]>
Co-authored-by: TepNik <[email protected]>
@nisnislevi nisnislevi deleted the certora-squashed branch June 17, 2025 18:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@eboadom eboadom eboadom approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@sakulstra @eboadom @nisnislevi