
介绍 Noir:零知识的通用语言
翻译自2022年10月7日的官方文章: https://medium.com/aztec-protocol/introducing-noir-the-universal-language-of-zero-knowledge-ff43f38d86d9 经过 18 个月的开发,我们很高兴推出 Noir:零知识证明的语言。 Noir 是一种基于 Rust 领域的特定语言 (DSL),用于创建和验证零知识证明。这是编写与任何证明系统兼容的 zk 应用程序最简单的方法。 我们还宣布了两个新的Typescript库:NoirJS和Barretenberg.js,前者可以在浏览器中编译Noir系统,后者可以在浏览器中证明和验证这些系统。 | 开始使用 Noir 是什么阻碍了ZK应用程序的开发? 目前的zk堆栈是繁琐的,很难理解。我们的zk系统建设是同行的,如Circom和ZoKrates,是强大而灵活的,但它们需要有加密概念的知识,为开发者的广泛采用造成了障碍。 现有的系统编程语言需要两个大脑。 1.一个了解证明系统、可信设置和一些低级密码学的密码学大脑,以及: 2.应用程序开发人员的大脑,可...

Aztec Network 从 Paradigm 获得 1700 万A轮融资,为 Web3 带来可编程隐私
翻译自Aztec 2021 年 12 月 16 日新闻稿: https://medium.com/aztec-protocol/aztec-network-raises-17-million-series-a-from-paradigm-to-bring-programmable-privacy-to-web3-beb2982a92f3 今天我们很高兴地宣布,Aztec Network已经在A轮融资中筹集了1700万美元,为 Web3 带来了可编程的隐私层。 本轮融资由Paradigm领投,现有合作伙伴a_capital、Ethereal Ventures和Libertus Capital提供支持,Variant Fund、Nascent、IMToken、Scalar Capital、Defi Alliance、IOSG Ventures和ZK Validator以及包括Anthony Sassano、Stani Kulechov、Bankless、Defi Dad、Mariano Conti和 Vitalik Buterin 在内的领先天使投资人也参与其中。“隐私是一项基本权利...

Aztec Grants: 第2轮
翻译自2022年11月1日的官方文章: https://medium.com/@aztecnetwork/aztec-grants-round-2-8b318b050d0a 开源隐私的淘汰赛。 Grants的起源 以太坊基金会扩展其生态的方法,比大多数人意识到的更加强大。除了抗审查之外,以太坊最大的特质之一,是与以太坊协议交互无需任何许可。EF 作为生态里一个有用的、非控制性的管理者角色,使得有影响力的项目能够以真正开源的方式出现。 如果开发是在以太坊基金会在“内部”进行的,Uniswap 是否会增长到超过 1 万亿美元(万亿!带有“t”!)的数量?如果 Vitalik 将这些项目宣传为自己的项目,CryptoPunks、CryptoKitties 和 Bored Apes 社区能否成为主流,包括在超级碗上露面,贾斯汀伯和 Jay Z 等人是其社区成员? 一个具有隐私的以太坊社区 任何人都可以在以太坊的去中心化基础设施上构建自己的应用程序,并开发一个赢得数十万人喜爱的项目。这就是开源软件的魅力——你可以是一个班加罗尔安静内向的人,也可以是布宜诺斯艾利斯的一家之主,或者是京都的一位...
Aztec是由@a16z@paradigm领投的Web3的可编程隐私层

介绍 Noir:零知识的通用语言
翻译自2022年10月7日的官方文章: https://medium.com/aztec-protocol/introducing-noir-the-universal-language-of-zero-knowledge-ff43f38d86d9 经过 18 个月的开发,我们很高兴推出 Noir:零知识证明的语言。 Noir 是一种基于 Rust 领域的特定语言 (DSL),用于创建和验证零知识证明。这是编写与任何证明系统兼容的 zk 应用程序最简单的方法。 我们还宣布了两个新的Typescript库:NoirJS和Barretenberg.js,前者可以在浏览器中编译Noir系统,后者可以在浏览器中证明和验证这些系统。 | 开始使用 Noir 是什么阻碍了ZK应用程序的开发? 目前的zk堆栈是繁琐的,很难理解。我们的zk系统建设是同行的,如Circom和ZoKrates,是强大而灵活的,但它们需要有加密概念的知识,为开发者的广泛采用造成了障碍。 现有的系统编程语言需要两个大脑。 1.一个了解证明系统、可信设置和一些低级密码学的密码学大脑,以及: 2.应用程序开发人员的大脑,可...

Aztec Network 从 Paradigm 获得 1700 万A轮融资,为 Web3 带来可编程隐私
翻译自Aztec 2021 年 12 月 16 日新闻稿: https://medium.com/aztec-protocol/aztec-network-raises-17-million-series-a-from-paradigm-to-bring-programmable-privacy-to-web3-beb2982a92f3 今天我们很高兴地宣布,Aztec Network已经在A轮融资中筹集了1700万美元,为 Web3 带来了可编程的隐私层。 本轮融资由Paradigm领投,现有合作伙伴a_capital、Ethereal Ventures和Libertus Capital提供支持,Variant Fund、Nascent、IMToken、Scalar Capital、Defi Alliance、IOSG Ventures和ZK Validator以及包括Anthony Sassano、Stani Kulechov、Bankless、Defi Dad、Mariano Conti和 Vitalik Buterin 在内的领先天使投资人也参与其中。“隐私是一项基本权利...

Aztec Grants: 第2轮
翻译自2022年11月1日的官方文章: https://medium.com/@aztecnetwork/aztec-grants-round-2-8b318b050d0a 开源隐私的淘汰赛。 Grants的起源 以太坊基金会扩展其生态的方法,比大多数人意识到的更加强大。除了抗审查之外,以太坊最大的特质之一,是与以太坊协议交互无需任何许可。EF 作为生态里一个有用的、非控制性的管理者角色,使得有影响力的项目能够以真正开源的方式出现。 如果开发是在以太坊基金会在“内部”进行的,Uniswap 是否会增长到超过 1 万亿美元(万亿!带有“t”!)的数量?如果 Vitalik 将这些项目宣传为自己的项目,CryptoPunks、CryptoKitties 和 Bored Apes 社区能否成为主流,包括在超级碗上露面,贾斯汀伯和 Jay Z 等人是其社区成员? 一个具有隐私的以太坊社区 任何人都可以在以太坊的去中心化基础设施上构建自己的应用程序,并开发一个赢得数十万人喜爱的项目。这就是开源软件的魅力——你可以是一个班加罗尔安静内向的人,也可以是布宜诺斯艾利斯的一家之主,或者是京都的一位...
Aztec是由@a16z@paradigm领投的Web3的可编程隐私层

Subscribe to Aztec中文

Subscribe to Aztec中文
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers


翻译自2022年9月21日的吴俊文章:
https://medium.com/aztec-protocol/explaining-the-network-in-aztec-network-166862b3ef7d
查看组成私有 zkRollup 的部分
Aztec Network 是以太坊上隐私优先的 zkRollup。大多数 Aztec 的粉丝都了解以太坊的公开属性以及 Aztec 如何解决以太坊的缺点:隐私和可扩展性。
在这篇文章中,我们想强调 Aztec 的网络架构的元素,并提供不同部分如何协同工作以实现以太坊 DeFi、DAO 和 NFT 的隐私层。
它补充了我们关于 Aztec 基于 UTXO 的隐私架构是如何工作的基本的文章,可以在这里找到。
作为对穿越 Aztec 网络交易的剖析指南,我们提供了一个方便的图示:

用户交易
这一切都始于整个流程中最重要的元素--用户进行私人交易。
通常情况下,用户与前端交互(第一方维护的zk.money或集成了Aztec Connect SDK的以太坊应用程序)。
用户账户由 Aztec Connect SDK 访问和管理,就像以太坊一样由公钥和私钥组成。然而,与以太坊不同的是,Aztec 账户只有一个公钥,但有两种类型的私钥:查看密钥和支出密钥。
查看密钥允许持有人查看用户拥有的加密票据,可以把它想象成一副允许持有人能看到用户的票据余额的解码眼镜,但不能看到其他人的:

另一方面,支出密钥就像一把钥匙,允许持有人解锁单个加密票据并支出它们——无论是在发送、取款还是 DeFi 交易中。
你可以为不同的设备注册不同的支出密钥,防止在不同的设备上粘贴敏感信息。
The Aztec SDK
Aztec SDK 通过易于使用的 API 管理这一切,允许开发者在几行代码中集成账户注册、恢复和资产转移功能。
SDK 检索加密状态并以易于为用户服务的方式将其呈现给开发者,同时管理私人信息,使应用程序永远无法访问。
当用户授予应用程序访问他们账户的权限时,SDK 会帮助用户使用资金,计算状态更新并提供正确性证明。它管理状态(用户拥有什么)并促进用户交易(通过构建证明更新状态)。
相比之下,以太坊交易是对状态更新的请求以及来自私钥(签名)的授权。在 Aztec 中,SDK 本身计算状态更新,然后将正确性证明发送到 Aztec 排序器。
因此,排序器不做任何真正的计算或状态更新,而只是提供一个压缩服务--将用户的证明("内部证明")聚合成一个更大的单一外部证明。
还值得注意的是,排序器无法合理地区分交易,因为它收到的只是底层交易正确性的加密证明,这是在用户浏览器的客户端生成的。这使得对特定交易进行有针对性的审查基本上是不可能的。
|📖 通过我们的 SDK 文档了解更多关于使用 Aztec 构建的信息
Falafel:Aztec的客户
一旦交易被创建,它就会被发送到Falafel。Falafel 是 Aztec 客户端的 Typescript 实现——可以把它想象成 Go Ethereum (geth) 或任何其他在用户和实际区块链之间形成接口的以太坊客户端。
Falafel 是一种链下软件,它接受用户证明(加密交易),将其汇总,创建汇总证明,然后将汇总证明发送到汇总合约进行验证。这个由许多用户交易组成的大证明就是我们所说的“外部证明”(内部证明是包含每个单独用户交易的证明)。
Falafel 只是一种批量处理机制,它创建了一个大型证明,将所有内部证明加在一起,证明所有底层状态更新都是有效的。
关于网络最终状态下的隐私和审查阻力的一些注意事项:一个排序器可以进行的唯一合理的审查是拒绝处理块并试图中断网络的有效性。
如果我们把经营Falafel的排序者比作邮递员,他们唯一能做的就是放弃送信,但他们不能打开特定的信件和信封,也不能有针对性地拒收信件,因为没有任何透露的信息。
任何人都可以运行Falafel客户端并成为一个排序者。Aztec sequencer 提议块——加密交易集合。
我们的目标是让一个排序器网络运行 Falafel ,处理和批量处理交易以供发布。但目前,Aztec 是唯一的网络排序器。
Rollup 合约
一旦外部证明构建完成,它就会被发送到链上汇总合约,这是一个在以太坊上发布的智能合约(你可以在这个地址找到它)。
发送到汇总合约的外部证明可以包含各种加密的用户操作:取款、存款、新账户注册或 Aztec Connect 桥交易。
外部证明被发送到汇总合约以进行验证和状态更新。然后汇总合约运行每个用户交易并在以太坊第 1 层上执行必要的逻辑。
存款:用户将资金转移到 Aztec rollup 合约,该合约锁定资金,然后在 rollup 发布到以太坊后,将这些资金的 L2 表示形式记入用户账户。
取款:用户表示他们想从 Aztec 中转出资金,rollup 合约确认用户正在消费的票据价值,使 Aztec 内部资金无效,并将其 L1 资金发送到指定的提款地址。
DeFi 交互: rollup 合约调用 Aztec Connect Bridge Contract,它作为第 1 层智能合约的接口。
桥接合约的基本结构都是双输入、双输出交换:rollup 合约将 1-2 资产发送到 L1 协议,并自动接收 1-2 资产(像交换一样的同步桥)或稍后返回代币资产(像定时保险库一样的异步桥)。在下一个区块中,它随后会生成一个认领单,供用户在以后认领归还的资产。
你可以把这个结构想象成输入 A + B 并得到 C + D 回来,无论现在还是以后:

虚拟资产是 Aztec 特有的代币头寸表示,不能立即返回到汇总中——想想金库头寸、固定期限头寸或任何其他托管以供日后赎回的头寸。
在任何情况下,智能合约逻辑都保留在第 1 层。用户正在与第 1 层流动性和智能合约进行交互——没有任何流动性碎片或逻辑执行“在 Aztec 上”!
Aztec Connect 充当以太坊上久经考验的合约和流动性的隐私和批量处理层。
补贴协议
我们最近对Aztec进行了升级,允许任何一方为桥接交易提供补贴。当用户量不足的时候,补贴是在Aztec上引导桥接交易的一个重要部分。
以支持 50 个单位交易批次的网桥为例。可以把它想象成一辆有 50 个座位的公共汽车,只有在公共汽车满员时才会开往目的地。
在任何时刻,都有三种可能性:
1.所有 50 个“座位”都满了——耶!
2.并非所有 50 个座位都坐满,人们在其余座位坐满之前等待了一段时间
3.有人在某个时候厌倦了等待,并支付整批费用下到以太坊并执行
情景3中的 "某人 "可以是选择为剩余座位数付费的个人,也可以是公交服务本身。希望网桥在公交车座位售罄之前就可以正常运行的协议人,可以对定期出发进行补贴,确保及时运行。
以前,Aztec 通过在 Aztec 网络的客户 Falafel 内管理补贴余额,向我们的合作伙伴提供这些补贴。我们将在桥接合同的基础上使用多重签名手动补充 Falafel 的补贴余额。
现在,已经部署了一份合约,允许任何 EOA 或合约账户在一定参数下补贴桥接合约:
1.网桥标号
2.承诺补贴金额
3.Bridge contract backstop(补贴运行桥梁的频率,例如“6 hour backstop”是指如果桥梁达到 6 小时而没有包含在一个区块中,它会自动调用补贴合约获取资金并包含在下一个区块中)
当补贴金额根据给定参数用完时,补贴合约将停止返还补贴。
以前,补贴资金完全发生在链下(合作伙伴将资金发送到我们的多重签名,然后我们将其从多重签名发送到 Falafel)。合作伙伴必须相信我们会明智地使用资金,在Falafel内进行适当的核算并持有资金。它还需要与 Aztec 核心团队进行交互。
现在,补贴合约允许任何人在未经许可的情况下为网桥合约提供资金,无论何人何处。该网络拥有补贴,任何运行Falafel的排序器都可以申请。这是迈向 Aztec 网络去中心化计划的一步,使网络的每个部分都独立于 Aztec 核心团队。
结论
使用Aztec,隐私是您现在可以添加到任何以太坊合约中的一项功能--现在您确切地知道它是如何工作的吧!
我们很高兴看到开发者和用户探索Aztec隐私架构的全部潜力。
如果您是一个开发者,请查看以下资源。
翻译自2022年9月21日的吴俊文章:
https://medium.com/aztec-protocol/explaining-the-network-in-aztec-network-166862b3ef7d
查看组成私有 zkRollup 的部分
Aztec Network 是以太坊上隐私优先的 zkRollup。大多数 Aztec 的粉丝都了解以太坊的公开属性以及 Aztec 如何解决以太坊的缺点:隐私和可扩展性。
在这篇文章中,我们想强调 Aztec 的网络架构的元素,并提供不同部分如何协同工作以实现以太坊 DeFi、DAO 和 NFT 的隐私层。
它补充了我们关于 Aztec 基于 UTXO 的隐私架构是如何工作的基本的文章,可以在这里找到。
作为对穿越 Aztec 网络交易的剖析指南,我们提供了一个方便的图示:

用户交易
这一切都始于整个流程中最重要的元素--用户进行私人交易。
通常情况下,用户与前端交互(第一方维护的zk.money或集成了Aztec Connect SDK的以太坊应用程序)。
用户账户由 Aztec Connect SDK 访问和管理,就像以太坊一样由公钥和私钥组成。然而,与以太坊不同的是,Aztec 账户只有一个公钥,但有两种类型的私钥:查看密钥和支出密钥。
查看密钥允许持有人查看用户拥有的加密票据,可以把它想象成一副允许持有人能看到用户的票据余额的解码眼镜,但不能看到其他人的:

另一方面,支出密钥就像一把钥匙,允许持有人解锁单个加密票据并支出它们——无论是在发送、取款还是 DeFi 交易中。
你可以为不同的设备注册不同的支出密钥,防止在不同的设备上粘贴敏感信息。
The Aztec SDK
Aztec SDK 通过易于使用的 API 管理这一切,允许开发者在几行代码中集成账户注册、恢复和资产转移功能。
SDK 检索加密状态并以易于为用户服务的方式将其呈现给开发者,同时管理私人信息,使应用程序永远无法访问。
当用户授予应用程序访问他们账户的权限时,SDK 会帮助用户使用资金,计算状态更新并提供正确性证明。它管理状态(用户拥有什么)并促进用户交易(通过构建证明更新状态)。
相比之下,以太坊交易是对状态更新的请求以及来自私钥(签名)的授权。在 Aztec 中,SDK 本身计算状态更新,然后将正确性证明发送到 Aztec 排序器。
因此,排序器不做任何真正的计算或状态更新,而只是提供一个压缩服务--将用户的证明("内部证明")聚合成一个更大的单一外部证明。
还值得注意的是,排序器无法合理地区分交易,因为它收到的只是底层交易正确性的加密证明,这是在用户浏览器的客户端生成的。这使得对特定交易进行有针对性的审查基本上是不可能的。
|📖 通过我们的 SDK 文档了解更多关于使用 Aztec 构建的信息
Falafel:Aztec的客户
一旦交易被创建,它就会被发送到Falafel。Falafel 是 Aztec 客户端的 Typescript 实现——可以把它想象成 Go Ethereum (geth) 或任何其他在用户和实际区块链之间形成接口的以太坊客户端。
Falafel 是一种链下软件,它接受用户证明(加密交易),将其汇总,创建汇总证明,然后将汇总证明发送到汇总合约进行验证。这个由许多用户交易组成的大证明就是我们所说的“外部证明”(内部证明是包含每个单独用户交易的证明)。
Falafel 只是一种批量处理机制,它创建了一个大型证明,将所有内部证明加在一起,证明所有底层状态更新都是有效的。
关于网络最终状态下的隐私和审查阻力的一些注意事项:一个排序器可以进行的唯一合理的审查是拒绝处理块并试图中断网络的有效性。
如果我们把经营Falafel的排序者比作邮递员,他们唯一能做的就是放弃送信,但他们不能打开特定的信件和信封,也不能有针对性地拒收信件,因为没有任何透露的信息。
任何人都可以运行Falafel客户端并成为一个排序者。Aztec sequencer 提议块——加密交易集合。
我们的目标是让一个排序器网络运行 Falafel ,处理和批量处理交易以供发布。但目前,Aztec 是唯一的网络排序器。
Rollup 合约
一旦外部证明构建完成,它就会被发送到链上汇总合约,这是一个在以太坊上发布的智能合约(你可以在这个地址找到它)。
发送到汇总合约的外部证明可以包含各种加密的用户操作:取款、存款、新账户注册或 Aztec Connect 桥交易。
外部证明被发送到汇总合约以进行验证和状态更新。然后汇总合约运行每个用户交易并在以太坊第 1 层上执行必要的逻辑。
存款:用户将资金转移到 Aztec rollup 合约,该合约锁定资金,然后在 rollup 发布到以太坊后,将这些资金的 L2 表示形式记入用户账户。
取款:用户表示他们想从 Aztec 中转出资金,rollup 合约确认用户正在消费的票据价值,使 Aztec 内部资金无效,并将其 L1 资金发送到指定的提款地址。
DeFi 交互: rollup 合约调用 Aztec Connect Bridge Contract,它作为第 1 层智能合约的接口。
桥接合约的基本结构都是双输入、双输出交换:rollup 合约将 1-2 资产发送到 L1 协议,并自动接收 1-2 资产(像交换一样的同步桥)或稍后返回代币资产(像定时保险库一样的异步桥)。在下一个区块中,它随后会生成一个认领单,供用户在以后认领归还的资产。
你可以把这个结构想象成输入 A + B 并得到 C + D 回来,无论现在还是以后:

虚拟资产是 Aztec 特有的代币头寸表示,不能立即返回到汇总中——想想金库头寸、固定期限头寸或任何其他托管以供日后赎回的头寸。
在任何情况下,智能合约逻辑都保留在第 1 层。用户正在与第 1 层流动性和智能合约进行交互——没有任何流动性碎片或逻辑执行“在 Aztec 上”!
Aztec Connect 充当以太坊上久经考验的合约和流动性的隐私和批量处理层。
补贴协议
我们最近对Aztec进行了升级,允许任何一方为桥接交易提供补贴。当用户量不足的时候,补贴是在Aztec上引导桥接交易的一个重要部分。
以支持 50 个单位交易批次的网桥为例。可以把它想象成一辆有 50 个座位的公共汽车,只有在公共汽车满员时才会开往目的地。
在任何时刻,都有三种可能性:
1.所有 50 个“座位”都满了——耶!
2.并非所有 50 个座位都坐满,人们在其余座位坐满之前等待了一段时间
3.有人在某个时候厌倦了等待,并支付整批费用下到以太坊并执行
情景3中的 "某人 "可以是选择为剩余座位数付费的个人,也可以是公交服务本身。希望网桥在公交车座位售罄之前就可以正常运行的协议人,可以对定期出发进行补贴,确保及时运行。
以前,Aztec 通过在 Aztec 网络的客户 Falafel 内管理补贴余额,向我们的合作伙伴提供这些补贴。我们将在桥接合同的基础上使用多重签名手动补充 Falafel 的补贴余额。
现在,已经部署了一份合约,允许任何 EOA 或合约账户在一定参数下补贴桥接合约:
1.网桥标号
2.承诺补贴金额
3.Bridge contract backstop(补贴运行桥梁的频率,例如“6 hour backstop”是指如果桥梁达到 6 小时而没有包含在一个区块中,它会自动调用补贴合约获取资金并包含在下一个区块中)
当补贴金额根据给定参数用完时,补贴合约将停止返还补贴。
以前,补贴资金完全发生在链下(合作伙伴将资金发送到我们的多重签名,然后我们将其从多重签名发送到 Falafel)。合作伙伴必须相信我们会明智地使用资金,在Falafel内进行适当的核算并持有资金。它还需要与 Aztec 核心团队进行交互。
现在,补贴合约允许任何人在未经许可的情况下为网桥合约提供资金,无论何人何处。该网络拥有补贴,任何运行Falafel的排序器都可以申请。这是迈向 Aztec 网络去中心化计划的一步,使网络的每个部分都独立于 Aztec 核心团队。
结论
使用Aztec,隐私是您现在可以添加到任何以太坊合约中的一项功能--现在您确切地知道它是如何工作的吧!
我们很高兴看到开发者和用户探索Aztec隐私架构的全部潜力。
如果您是一个开发者,请查看以下资源。
No activity yet