Aleo 是一个用于构建隐私应用程序的平台。为此，Aleo 总共使用了四个电路和两个零知识算法(Groth16/Marlin)。本文试图从电路的角度来解释Aleo的设计。此外，这些电路的证明性能可以使用GPU加速，实测PoSW 电路的性能可以提高4倍以上。四个电路Aleo 用了四种电路来实现隐私应用 - PoSW circuit，Inner circuit，Outer circuit，以及 Program circuit。这些电路组织在一起，使 Aleo 支持隐私特性。Aleo的四种电路总结为了保持交易的匿名性，对发送方/接收方的信息和交易信息进行了加密。一个Transaction由若干个Transition组成。 一个Transition是由两个输入Record和两个输出Record组成的元组。Record 是"基础"的transition信息,包括owner, value, payload, program ID等。 请记住，一个Record是加密后的数据，只能通过"viewing key"解密。利用Inner电路，Program电路, Outer电路来约束一个Transit...