contracts icon indicating copy to clipboard operation
contracts copied to clipboard

Published 20 hours ago • verified publisher icon raft-fi
→

Metadata

Smart contracts for the Raft protocol

Results 7 contracts issues
Sort by recently updated
recently updated
newest added

Add formal verification tests with Certora Prover

StefanVitor avatar StefanVitor

Implement collateral split based on profit that liquidator will make

mijovic avatar mijovic

Use permit when managing position with stETH and OSL with wstETH/stETH

iamvukasin avatar iamvukasin

Add `liquidate` function in PositionManagerWrappedCollateralToken and PositionManagerWithRedstoneOracle

StefanVitor avatar StefanVitor

Update fee representation for flash mint fee

Right now, the flash mint fee is represented as a numerator of `PERCENTAGE_BASE` (e.g. flash mint fee of 1 is `1/PERCENTAGE_BASE`, which is 0.01%). The other fees use the notion...

iamvukasin avatar iamvukasin

[FlashLoanLiquidator] update hardcoded TARGET_CR

yuval-weiss avatar yuval-weiss

Make sure there is a test for each error and event

1 comment

mijovic avatar mijovic

← Metadata

40
Stars
17
Forks
Watchers

Owner

verified publisher icon raft-fi

Metadata

Smart contracts for the Raft protocol

Back