Pleased to announce the formal verification of BENQI Liquid Staking's Staked AVAX (sAVAX) smart contract by @CertoraInc.
26 Apr 2022, 15:55
✅ Pleased to announce the formal verification of BENQI Liquid Staking’s Staked AVAX (sAVAX) smart contract by @CertoraInc!
Read more about it below 👇
certora.com/wp-content/uploads/2022/04/benqiApril2022.md-Grip.pdf
Same news in other sources
1
26 Apr 2022, 16:04
It's no secret we've had #uTradeV2 running on Fantom for quite some time now
It's now live & publicly available at utrade.finance
👻 Everyone please welcome $FTM (and $UPftm) to the Unifi Protocol family!
Another ✅ for our roadmap. More to come!
It's no secret we've had #uTradeV2 running on Fantom for quite some time now. It's now live & publicly available at utrade.
It's no secret we've had #uTradeV2 running on Fantom for quite some time now
It's now live & publicly available at utrade.finance
👻 Everyone please welcome $FTM (and $UPftm) to the Unifi Protocol family!
Another ✅ for our roadmap. More to come!