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

探索 Momentum 生態，瓜分 $101.5 萬獎勵

熱門話題

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

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

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

BOOP+0.3%

Boopa+10.44%

PORK+6.18%

Informal Systems 🌱

協議設計和跨鏈基礎設施的首要合作夥伴 |審計 |驗證人 |孵化@cyclesmoney |支援早期專案 @informalvc

Informal Systems 🌱13 小時前

@Celestia 的 Hana Library 的審計報告現在已經上線。我們對這個處理來自 Celestia 數據的 OP Stack 狀態重建的庫進行了審計，這是在樂觀滾動挑戰期間進行的。以下鏈接 ↓

946

Informal Systems 🌱8月5日 21:33

@Neutron_org 的 DEX Fractional Banking 升級的審計報告現在已經上線。我們對高精度計算系統進行了安全審查。完整報告如下 ↓

1.01K

Informal Systems 🌱8月1日 21:01

你能準確描述一下你的系統的「正確狀態」是什麼嗎？如果可以，那麼你就有了一個歸納不變式。這意味著你的系統不太可能做壞事，並且你更接近於證明這一點。我們寫了一份指南來幫助你達成這個目標 ⬇️

598

Informal Systems 🌱 已轉發

Gabriela Moreira2025年7月31日

你知道這三個軟體有什麼共同之處嗎？ 🔒🧠🖥️📝🔍 用 Quint 寫的正式規範！⤵️

760

Informal Systems 🌱2025年7月30日

我們已經完成了對 @neutron_org 和 @timewavelabs 的 Valence Protocol @ValenceZone 的安全審查。審計涵蓋了核心協議系統，包括跨鏈執行和金庫組件。

508

Informal Systems 🌱 已轉發

Hydro2025年7月25日

DeFi 用戶花太多時間尋找收益，隨著利率變化在不同平台之間重新平衡，橋接資產，包裝衍生品等等。我們正在構建一個解決方案，讓他們能夠存入資金，並在任何時候獲得市場上可用的最高低風險回報。

1.07K

Informal Systems 🌱2025年7月25日

@namada 基金會的 @anoma 盾牌交易和用戶餘額一致性的端到端執行的審計報告現在已經上線。我們對盾牌同步、交易流程和驗證邏輯進行了全面的安全審查。

754

Informal Systems 🌱2025年7月24日

@anoma 的 E2E 遮罩事務和餘額一致性的審計報告現已上線。我們對遮罩同步、事務流和驗證邏輯進行了全面的安全審查。

315

Informal Systems 🌱2025年7月22日

Solana 的新 Alpenglow 共識現在有了 Quint 規範。我們不會解釋這個協議，而是給你工具讓你自己理解。這篇部落格文章讓你開始使用互動工具，並挑戰你建立場景，看看拜占庭節點如何造成分歧。你能打破共識嗎？⬇️

2.05K

Informal Systems 🌱2025年7月10日

.@josef_widder 分析了為什麼安全性應該從設計開始，而不僅僅是代碼審查，在 @MacrocosmPod ↴

MACROCOSM2025年7月10日

系統設計、安全威脅與審計，與 @informalinc 的 @josef_widder 0:00 介紹與角色 1:26 學術根基 4:19 加密貨幣之前的審計 7:07 安全的本質 9:22 設計與建造 12:15 審計的限制 14:51 威脅建模 17:21 長期安全 20:13 審計範圍 23:28 全堆風險 26:23 共識與智能合約 28:54 橋接與層 31:00 Tendermint 與 Rust 35:01 建立協議 38:52 正式規範 42:29 Anoma 的想法 43:29 審計過程 46:02 語言選擇 48:56 早期參與 52:16 成本與價值

815