News Heat Trend
Project Overview
Certora is a smart contract security firm designed to help developers detect and prevent security mistakes before code is deployed. They have a unique technology called Certora Prover, which is capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.
AftermathFi's Perpetual Contract Engine Completes Two Audits, Market Opens Tomorrow
Odaily News: Sui announced on X platform that @osec_io has manually reviewed AftermathFi's perpetual contract engine, and @Certora has completed verification through mathematical methods. The two institutions reviewed the same codebase using two different approaches. The market will open tomorrow, and both audit reports will be publicly released.
Polygon Launches Native Liquid Staking Token sPOL
Polygon has officially launched its native liquid staking token, sPOL, designed to enhance returns for POL token stakers. As Polygon’s native liquid staking token, sPOL unlocks approximately 3.6 billion staked POL tokens and grants stakers priority access to transaction fee revenue sharing. Currently, only about 4%–5% of POL is liquid; sPOL addresses the issue of idle capital being unable to participate in DeFi yield opportunities. Users can migrate existing stakes to sPOL via the Polygon Staking Portal—without waiting periods and with uninterrupted rewards—while new stakes will automatically receive sPOL. The initial sPOL redemption ratio is 1:1, increasing as staking rewards accrue. sPOL supports liquidity provision, collateralization, and yield-boosting DeFi strategies, and can be redeemed at any time for POL plus accumulated rewards. The token was initially launched by Polygon Labs and audited by ChainSecurity and Certora; official liquidity will be seeded through an on-chain liquidity pool. Polygon cautions that sPOL carries smart contract risk, validator misbehavior penalty risk, and market volatility risk.
Related news
AftermathFi's Perpetual Contract Engine Completes Two Audits, Market Opens Tomorrow
Odaily News: Sui announced on X platform that @osec_io has manually reviewed AftermathFi's perpetual contract engine, and @Certora has completed verification through mathematical methods. The two institutions reviewed the same codebase using two different approaches. The market will open tomorrow, and both audit reports will be publicly released.
Polygon Launches Native Liquid Staking Token sPOL
Polygon has officially launched its native liquid staking token, sPOL, designed to enhance returns for POL token stakers. As Polygon’s native liquid staking token, sPOL unlocks approximately 3.6 billion staked POL tokens and grants stakers priority access to transaction fee revenue sharing. Currently, only about 4%–5% of POL is liquid; sPOL addresses the issue of idle capital being unable to participate in DeFi yield opportunities. Users can migrate existing stakes to sPOL via the Polygon Staking Portal—without waiting periods and with uninterrupted rewards—while new stakes will automatically receive sPOL. The initial sPOL redemption ratio is 1:1, increasing as staking rewards accrue. sPOL supports liquidity provision, collateralization, and yield-boosting DeFi strategies, and can be redeemed at any time for POL plus accumulated rewards. The token was initially launched by Polygon Labs and audited by ChainSecurity and Certora; official liquidity will be seeded through an on-chain liquidity pool. Polygon cautions that sPOL carries smart contract risk, validator misbehavior penalty risk, and market volatility risk.