Back to GitHub projects

Jev Labs: Nucleo di consenso verificato

Un repository di ricerca che avvolge il Jev/System One di TypeSafe in un nucleo di consenso verificato con TLA+, con misurazioni del pavimento di rumore, sonde di calibrazione e 1.680 decisioni farmaceutiche testate sotto caos tramite la vera API Jev.

仓库以 TypeSafe 的 Jev/System One 为核心,通过形式化验证、混沌测试和实际 API 调用深入测试共识内核,包含真实的 Jev API 调用、SDK 使用和评测数据。

· 1 starsOpen on GitHub