智能合約安全公司
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 存在智能合約風險、驗證人行爲懲罰風險及市場波動風險。
