Informal Systems
可驗證的分佈式系統和組織。
非正式系統,(機器)的可驗證分佈式系統和組織(人類)。專注於正式驗證 Cosmos 協議並用 Rust 語言實現它們。 我們設想一個由合作所有和管理的分佈式組織組成的開源生態系統,這些組織運行在可靠的分佈式系統上。
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.
非正式系統,(機器)的可驗證分佈式系統和組織(人類)。專注於正式驗證 Cosmos 協議並用 Rust 語言實現它們。 我們設想一個由合作所有和管理的分佈式組織組成的開源生態系統,這些組織運行在可靠的分佈式系統上。