I hereby claim:
- I am dapp-whisperer on github.
- I am dapp_whisperer (https://keybase.io/dapp_whisperer) on keybase.
- I have a public key ASCyhXaG9rl6X9SJYHcwuEktMiTcJjjE81L-Po0mkOTaHwo
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
Registry
logic: 0x52FE2D2332FFCE104959DabF45383c6F25c3C21b
admin: 0x95713d825BcAA799A8e2F2b6c75aeD8b89124852
proxy to take code from: https://polygonscan.com/address/0x35a1e68d6fe09020c58edf30fee827c9050db3f5#code
List of properties of the eBTC protocol, following the categorization by Certora:
contracts/ActivePool.sol:ActivePool contract | |||||
---|---|---|---|---|---|
Deployment Cost | Deployment Size | ||||
2343272 | 12500 | ||||
Function Name | min | avg | median | max | # calls |
MAX_BPS | 349 | 349 | 349 | 349 | 1 |
MAX_FEE_BPS | 240 | 240 | 240 | 240 | 1 |
PERIOD | 329 | 329 | 329 | 329 | 19 |
allocateSystemCollSharesToFeeRecipient | 3329 | 11080 | 3329 | 28029 | 225 |
claimFeeRecipientCollShares | 13241 | 33232 | 29123 | 573 |
[2024-01-28 22:02:56.98] [Worker 0] Test limit reached. Stopping.
[2024-01-28 22:02:56.98] [status] tests: 1/18, fuzzing: 600063/600000, values: [], cov: 72017, corpus: 75
repayDebt(uint256,uint256): passing
adjustCdp(uint256,uint256,uint256,bool): passing
redeemCollateral(uint256,uint256,uint256,uint256): passing
flashLoanColl(uint256): passing
redeemCollateral(uint256,bytes32,uint256,bool,bool,uint256,uint256): passing
liquidate(uint256): passing
closeCdp(uint256): passing
[2024-01-27 18:11:06.42] [status] tests: 1/18, fuzzing: 600150/600000, values: [], cov: 72020, corpus: 83
repayDebt(uint256,uint256): passing
adjustCdp(uint256,uint256,uint256,bool): passing
redeemCollateral(uint256,uint256,uint256,uint256): passing
flashLoanColl(uint256): passing
redeemCollateral(uint256,bytes32,uint256,bool,bool,uint256,uint256): passing
liquidate(uint256): passing
closeCdp(uint256): passing
withdrawColl(uint256,uint256): passing
repayDebt(uint256,uint256): passing
adjustCdp(uint256,uint256,uint256,bool): passing
redeemCollateral(uint256,uint256,uint256,uint256): passing
flashLoanColl(uint256): passing
redeemCollateral(uint256,bytes32,uint256,bool,bool,uint256,uint256): passing
liquidate(uint256): failed!💥
Call sequence:
openCdp(212200685215347397766310584329604553577190997626160748290153220,1026)
openCdp(1572732164589264576962715128844644709604112444942892793695,1009)
See C4 docs: https://github.com/code-423n4/2023-10-badger
github.com/AlDanial/cloc v 1.98 T=0.02 s (1650.5 files/s, 388869.2 lines/s)
-------------------------------------------------------------------------------
Language files blank comment code
-------------------------------------------------------------------------------
Solidity 36 1311 1851 5320
-------------------------------------------------------------------------------