Back to GitHub projects

Jev Labs: Núcleo de consenso verificado

Repositorio de investigación que envuelve el Jev/System One de TypeSafe en un núcleo de consenso verificado con TLA+, con mediciones de piso de ruido, sondeos de calibración y 1,680 decisiones farmacéuticas probadas con caos mediante la API real de Jev.

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

· 1 starsOpen on GitHub