Back to GitHub projects

Jev Labs: Verifierad konsensuskärna

Ett forskningsrepo som omsluter TypeSafes Jev/System One i en TLA+-verifierad konsensuskärna, med mätningar av brusgolv, kalibreringssonder och 1 680 kaostestade apoteksbeslut via det verkliga Jev API:t.

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

· 1 starsOpen on GitHub