consensus-mechanism

标签

#consensus-mechanism

Keeta共识的建模与验证 [pdf]

Hacker News Top ↗ · 2026-08-15 缓存

本文介绍了Keeta共识协议的建模与验证，重点在于使用形式化方法验证其在分布式系统中的正确性。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈