智能合约安全公司
Certora 是一家智能合约安全公司，旨在帮助开发人员在部署代码之前检测和防止安全错误。 . Certora 拥有称为 Certora Prover 的独特技术，能够在编译时检查智能合约的所有执行是否满足一组安全规则。
Polygon 正式发布原生流动性质押代币 sPOL，旨在提升 POL 代币质押者的收益。sPOL 作为 Polygon 原生流动性质押代币，将解锁约 36 亿枚已质押的 POL，并为质押者提供优先交易手续费分成。当前仅约 4%-5% 的 POL 处于流动状态，sPOL 将改善闲置资本无法参与 DeFi 收益的现状。用户可通过 Polygon Staking Portal 将现有质押迁移至 sPOL，无需等待且奖励不中断，新质押将自动获得 sPOL。 sPOL 初始兑换比例为 1:1，随质押奖励累计而增长。sPOL 支持流动性提供、抵押及 DeFi 策略收益叠加，随时可兑换回 POL 及累计奖励。首批由 Polygon Labs 推出并经 ChainSecurity 与 Certora 审计，初期由官方资金池注入流动性。官方提醒，sPOL 存在智能合约风险、验证人行为惩罚风险及市场波动风险。
