安全和验证如何工作？

安全是任何区块链系统的基础。作为区块链的 OS Layer，Zentra 的安全性包含许多方面，包括：

• 理论基础

• 区块链 L1 或 L2 的安全性

• Zentra 系统安全性

• 编程语言安全性

理论基础

Zentra 是随着 Minus Theory 的引入而创建的。更准确地说，Minus Theory 基于教科书般的坚实状态机理论。（如果您不熟悉，请参阅 https://zentra.gitbook.io/dev/state-machine）

强大的数学基础使 Zentra 从一开始就设计了安全性。Zentra 的 Minus Theory 以经典状态机理论为基础，提供严谨的数学基础以确保确定性结果。任何诚实的个人运行 Zentra 索引器（未修改）总是可以获得相同的状态结果，除非出现硬件错误。

像比特币一样，Zentra 用户信任多数。除此之外，Zentra 保持人人可验证：人们可以在个人设备上运行 Zentra 索引器，以确保当恶意索引器提供虚假状态结果时，人们可以进行验证。

Zentra 移除状态根（Merkle 树）以解锁性能，对比以太坊的三重锁（包括状态不变性）。这种简化增强了效率，同时通过解耦执行维护安全性。

区块链 L1 或 L2 的安全性

Zentra 是区块链的 OS Layer，而非独立的 L1 或 L2。我们借用现有世界计算机完成共识，依赖其生成不可变区块，同时保留随时切换到底层更理想选择的能力。

如果先前的区块链系统发生硬分叉或重组，Zentra 需要重新计算这些区块以更新最新状态；如果出现更快或更去中心化的 L1，我们也可以迁移到新的世界计算机来延续生态。

Zentra 系统安全性

安全问题总是从理论到工程变得复杂。

Zentra 系统在工程过程中可能会有 bug。然而，解耦共识过程和状态计算的优势是理想的，因为区块由底层世界计算机冻结，我们又保持了 OS Layer 的自主性。Zentra 总是可以修复其 bug 并重放区块中的所有交易，并获得正确状态；当底层链更中心化时，我们仍能以去中心化方式运行索引器，并与更去中心的 L1 合作。

编程语言安全性

现代区块链系统和密码学在大多数情况下都是健壮的，但黑客总是在寻找不稳定新设计中的漏洞，例如编程语言。最近在 Vyper 编译器和 Sui 上的 Move 语言中就发生了这种情况。

这就是 Zentra 从不旨在创建另一种语言的原因，而只选择设计良好、成熟的语言，并将 Python 带入区块链世界。

作为一种动态语言，开发者可以专注于高级业务逻辑。Python 中的整数是无限的，开发者永远不需要将 uint128 类型转换为 uint64。行业事实是，编译器中的静态分析只能捕获语法级别的错误。在 Python 中，我们节省了编译时间，但直接进入测试用例覆盖。

Zentra 承诺的安全性的最佳部分是，阅读链上代码的人越多，它就能实现越高的安全性。想象一下，只有 1% 的程序员能阅读 C++/Rust 语言逻辑，而 Python 代码对大多数程序员来说都是可读的。这将为区块链带来更好的安全性。

开发者信心和主网启动

Zentra 的简单设计，建立在 Minus Theory 的基础之上，赋予了我们对安全性的信心。经过彻底的测试网后，主网启动带有真实资金，证明了对系统的信任。虽然自信但不自大，我们邀请反馈关于潜在攻击向量的反馈——提供具体步骤，我们会解决以改进 Zentra。