Leo 编程语言简介

本文由 ZK.Work 翻译整理,原文链接:https://www.aleo.org/post/leo-programming-language Aleo 已经组建了一个强大的编译器团队来构建一个雄心勃勃的电路编译器语言。这项工作的核心目标是允许开发人员以尽可能简单的方式在其应用程序中使用零知识证明 — — 它通过最小化密码知识要求来实现这一点。那么 Leo 究竟是如何做到这一点的,使用它之前需要知道些什么呢?让我们来了解一下。 关键概念 首先,让我们简要地回顾一下什么是零知识证明。它是指一些数据证明我们正确地运行了计算;例如,我们使用私钥向某人发送 NFT,或者我们有一些属性可以让我们更新应用程序的状态。此外,如果我们愿意,它还允许我们对某些数据保密;例如,我们不必透露我们用来发送 NFT 的私钥;并且证明数据也远小于整个计算量,因此需要更少的存储空间(在链上)并且更快地通信。 这是一个非常抽象的想法,所以如果我们将它与我们现在在整个行业中所看到的可扩展性问题联系起来,它可能会更加相关。看看不同的链在每秒获得足够交易量方面遇到的困难,以及要求扩展解决方案以扩大链上游戏可能性的呼声。状态分片等工具很有帮助,但我们需要添加更多可以支持这些用例的增长(以及我们甚至还不知道的未来用例)。此外,零知识证明还允许我们隐藏不想透露的数据;当然,这对于其他扩展解决方案来说是不可能的。

Leo 编程语言简介
Leo 编程语言简介