为了欣赏 ZEXE 的设计，首先了解更多关于加密货币如何在幕后工作是至关重要的。介绍自加密货币出现以来，分布式账本系统已经变得流行起来。典型的分布式账本方案建立在一种称为区块链的技术之上，其特点是特定的数据结构以块的形式保存交易信息的记录。这些数据块通过称为散列的密码计算数字“链接”或链接在一起，并且该散列唯一地标识给定块。 尽管它们越来越受欢迎，但分布式账本系统方案通常只提供有限的隐私。此外，确实提供隐私的方案通常在其支持的程序方面的表现力受到限制。 正是这个问题促使隐私研究人员（包括几位 ZCash 创始科学家）提出了一个他们称为 ZEXE或零知识执行的方案。ZEXE 是第一个基于账本的方案，在该方案中应用程序可以在不信任、私密和可扩展的情况下执行。 虽然 Aleo 是由 ZEXE 的几位作者创立的，并且研​​究是其计算模型的关键部分，但 Aleo 不仅仅是 ZEXE。它超越了提供用于编写​​私有应用程序的完整堆栈方法。 尽管如此，ZEXE 是 Aleo 中的核心组件。然而，在研究圈之外，它仍然相对不为人知。因此，本系列文章的目的是提供 ZEXE 设计策略背后的额外背景、它支...