一站式 Web3 探索中心 | 去中心化應用商店 & Web3 線下活動 | OKX

熱門話題

Bonk 生態迷因幣展現強韌勢頭

有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測

Solana 新代幣發射平臺 Boop.Fun 風頭正勁

BOOP-7.27%

Boopa+8.31%

PORK-9.37%

Certora

通過智慧合約審計、形式驗證和協議設計審查來保護 DeFi。受到 Aave、Uniswap、Lido、EigenLayer、Solana 等的信任。

Certora7月22日 06:29

償付能力不是假設，而是證明。我們剛剛正式驗證了 @KaminoFinance 的收益保險庫，涵蓋了存款、提款、費用邏輯和固定點四捨五入。了解更多 👇

Kamino7月21日 22:27

1/ 我們自豪地分享 Kamino Earn Vaults 已經由 @CertoraInc 正式驗證——這是一個重大的安全里程碑這確認了 Kamino Earn 符合最高的安全標準，使其成為 @solana 上最安全的收益產品完全開源。經過 4 次審核。正式驗證。

9.16K

Certora7月22日 06:20

如果話題是 DeFi 安全，且對話變得火熱，請相信我們 🫡 感謝 @aave 的邀請！

Aave7月22日 02:47

@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol 今天以一場關於安全的精彩小組討論開始，參與者有 @SagivMooly、@zkBri、@Sh4har 和 @Montyly。

3.68K

Certora 已轉發

SolanaFloor7月21日 22:43

最新消息：@KaminoFinance 宣布其收益金庫已正式通過 @CertoraInc 的驗證，這是其在 @solana 上的收益產品的一個重要安全里程碑。

5.03K

Certora 已轉發

Uri Kirstein7月9日 20:40

智能合約的漏洞代價高昂且難以發現： 🔍 模糊測試無法捕捉到稀有輸入 📜 形式驗證難以使用在 @EthCC 上，我展示了在 @CertoraInc 我們如何探索有界模型檢查，這是一種實用的折衷方案，可以在最小的設置下找到真實且可重現的漏洞。👇

3.34K

Certora 已轉發

Code4rena7月9日 03:00

$20,000 的 Blend V2 競爭性審計的正式驗證部分結果出爐了！特別感謝所有參與者，並祝賀 @alexzoid_eth 在 Stellar 生態系統首屆正式驗證比賽中獲得第一名！對 @blend_capital 和 @StellarOrg 表示敬意，感謝他們與 C4 合作以保障 Blend V2 和 Stellar 生態系統的安全 — 以及 @CertoraInc 監督和評審這次合作競賽的正式驗證部分。獲獎者完整名單👇