Kurt Pan公链隐私探索
原文：https://wdai.us/posts/navigating-privacy/ 作者：Wei Dai 翻译：Kurt Pan此文是对公链（又名去中心化账本、Crypto和 Web3）场景下隐私方面的阐述。第一部分会涉及为什么隐私是大规模采用的关键障碍以及隐私有哪些不同方面。第二部分综述了达成隐私的三种不同方法：通过零知识证明，通过仅以匿名为目标，以及通过一种新的称为 MOCCA 抽象。第一部分：什么是公链隐私以及为什么隐私——大规模采用的最后障碍现代金融系统运行良好，我们不必担心日常交易的安全性或隐私性。当你在杂货店购物、通过支票支付租金或在银行获取短期贷款时，你不必担心你的交易会受到非相关方的公开审查。在现代银行和信用卡网络中，大部分交易细节保留在相关金融中介和机构内部。理想情况下，用户不必担心他们的敏感信息会被泄露给大众，同时当局也几乎可以追踪那些非法活动。 不幸的是，目前在流行的区块链上进行的交易并非可以做到如此程度。尽管区块链技术允诺使当前的金融生态去中心化和民主化，但大多数系统甚至无法达到我们所期望的最基本的隐私级别。你买的披萨🍕会被永久记录，你所有的交易都...
Kurt Pan什么是ZEXE ？
原文：Anthony Matlala 翻译：Kurt Pan自加密货币出现，分布式账本系统变得流行起来。典型的分布式账本方案建立在区块链技术上，其特点是特定的数据结构，以区块的形式保存交易信息的记录。这些数据块通过称为哈希的密码学计算数“链接”或连在一起，并且该哈希值唯一地标识给定块。 尽管越来越受欢迎，分布式账本系统方案通常只提供有限的隐私。此外，确实提供隐私的方案通常在其支持的程序的表达能力方面受到限制。 正是这个问题促使隐私研究人员（包括几位 ZCash 创始科学家）提出了一个他们称为 ZEXE或零知识执行的方案。ZEXE 是第一个基于账本的方案，在该方案中应用程序可以在无信任、私密和可扩展的情况下执行。 虽然 Aleo 是由 ZEXE 的几位作者创立的，并且该研究是其计算模型的关键部分，但 Aleo 不仅仅是 ZEXE，其额外提供了用于编写私有应用程序的完整系列方法。 尽管如此，ZEXE 是 Aleo 中的核心组件。然而在研究圈之外，它仍然相对不为人知。本系列文章的目的是提供 ZEXE 设计策略背后的额外背景、它支持的功能以及可以使用它构建的真实世界应用的描述。预...
Kurt Pan零知识前沿：关于SNARKs，STARKs和未来的应用
作者：Vaish Puri 译者：Kurt Pan“我只知道一件事，那就是我一无所知”——苏格拉底在今天的文章中，我将剖析有史以来最强大但经常被误解的密码学工具之一：零知识证明。此外，我将重点介绍未来实现的用例和建议，并展示为什么零知识证明是crypto未来的关键。为什么零知识证明很重要简单地说，零知识证明是证明者在不实际透露任何信息的情况下说服验证者某事是真实的一种方式。让我们用一个类比来说明这一点：假设我们有两个人，Alice 和 Bob。Alice有一副密封的 52 张扑克牌。Alice偷偷拿了一张红牌（♥️，♦️）想向Bob证明她有一张红牌，但不想出示该红牌本身。为了做到这一点，Alice 需要将所有的黑牌（♠️，♦️）从牌堆中拿出来，然后将它们展示给 Bob。Bob 检查所有 26 张黑牌，验证其不重复不遗漏。由是确定 Alice 拥有的牌必是红牌。因此，Alice能够向Bob证明她有红牌，而无需实际出示。这个类比是极度简化的而且并没有描绘出全貌，但技术背后的核心理念是一样的。 零知识证明并非这十年来甚至这个新千年来的新鲜事物。事实上，该想法是在 1980 年代由抽象数...
Kurt Pan公链隐私探索
原文：https://wdai.us/posts/navigating-privacy/ 作者：Wei Dai 翻译：Kurt Pan此文是对公链（又名去中心化账本、Crypto和 Web3）场景下隐私方面的阐述。第一部分会涉及为什么隐私是大规模采用的关键障碍以及隐私有哪些不同方面。第二部分综述了达成隐私的三种不同方法：通过零知识证明，通过仅以匿名为目标，以及通过一种新的称为 MOCCA 抽象。第一部分：什么是公链隐私以及为什么隐私——大规模采用的最后障碍现代金融系统运行良好，我们不必担心日常交易的安全性或隐私性。当你在杂货店购物、通过支票支付租金或在银行获取短期贷款时，你不必担心你的交易会受到非相关方的公开审查。在现代银行和信用卡网络中，大部分交易细节保留在相关金融中介和机构内部。理想情况下，用户不必担心他们的敏感信息会被泄露给大众，同时当局也几乎可以追踪那些非法活动。 不幸的是，目前在流行的区块链上进行的交易并非可以做到如此程度。尽管区块链技术允诺使当前的金融生态去中心化和民主化，但大多数系统甚至无法达到我们所期望的最基本的隐私级别。你买的披萨🍕会被永久记录，你所有的交易都...
Kurt Pan什么是ZEXE ？
原文：Anthony Matlala 翻译：Kurt Pan自加密货币出现，分布式账本系统变得流行起来。典型的分布式账本方案建立在区块链技术上，其特点是特定的数据结构，以区块的形式保存交易信息的记录。这些数据块通过称为哈希的密码学计算数“链接”或连在一起，并且该哈希值唯一地标识给定块。 尽管越来越受欢迎，分布式账本系统方案通常只提供有限的隐私。此外，确实提供隐私的方案通常在其支持的程序的表达能力方面受到限制。 正是这个问题促使隐私研究人员（包括几位 ZCash 创始科学家）提出了一个他们称为 ZEXE或零知识执行的方案。ZEXE 是第一个基于账本的方案，在该方案中应用程序可以在无信任、私密和可扩展的情况下执行。 虽然 Aleo 是由 ZEXE 的几位作者创立的，并且该研究是其计算模型的关键部分，但 Aleo 不仅仅是 ZEXE，其额外提供了用于编写私有应用程序的完整系列方法。 尽管如此，ZEXE 是 Aleo 中的核心组件。然而在研究圈之外，它仍然相对不为人知。本系列文章的目的是提供 ZEXE 设计策略背后的额外背景、它支持的功能以及可以使用它构建的真实世界应用的描述。预...
Kurt Pan零知识前沿：关于SNARKs，STARKs和未来的应用
作者：Vaish Puri 译者：Kurt Pan“我只知道一件事，那就是我一无所知”——苏格拉底在今天的文章中，我将剖析有史以来最强大但经常被误解的密码学工具之一：零知识证明。此外，我将重点介绍未来实现的用例和建议，并展示为什么零知识证明是crypto未来的关键。为什么零知识证明很重要简单地说，零知识证明是证明者在不实际透露任何信息的情况下说服验证者某事是真实的一种方式。让我们用一个类比来说明这一点：假设我们有两个人，Alice 和 Bob。Alice有一副密封的 52 张扑克牌。Alice偷偷拿了一张红牌（♥️，♦️）想向Bob证明她有一张红牌，但不想出示该红牌本身。为了做到这一点，Alice 需要将所有的黑牌（♠️，♦️）从牌堆中拿出来，然后将它们展示给 Bob。Bob 检查所有 26 张黑牌，验证其不重复不遗漏。由是确定 Alice 拥有的牌必是红牌。因此，Alice能够向Bob证明她有红牌，而无需实际出示。这个类比是极度简化的而且并没有描绘出全貌，但技术背后的核心理念是一样的。 零知识证明并非这十年来甚至这个新千年来的新鲜事物。事实上，该想法是在 1980 年代由抽象数...
Subscribe to Kurt Pan
Subscribe to Kurt Pan
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
作者：Kevin Kwok 译者：Kurt Pan 原文链接：https://0xparc.org/blog/zkrepl
在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。
那时，对计算机进行编程是一项充满仪式感的艰苦的活动。但在 1950 年代后期，一种名为 LISP 的新编程系统被发明出来，它能够对其自己的实现进行推理——通过一个名为eval的结构，程序可以要求它们自己的制造者来产生新的程序。基于此，研究者提出了一个简单的程序，该程序将从键盘读取一些输入，将其发送到eval 结构，打印结果，然后循环回到起点以等待进一步的输入。
这个巧妙的技巧 ，REPL（译者注：读取﹣求值﹣输出循环）， 引发了编程的民主化进程——把编程从一个仅由民族国家用来操控火箭的东西，变成了一个青少年用来制作游戏的东西。
近年来，我们见证了一个计算的新时代的兴起。我们有像以太坊和比特币这样的区块链，每秒处理几十个操作，每年gas要耗费数百万美元。我们经常看到"烧毁"整个协议的bug。
推动这个计算新时代的是能够推理自己的信任的新系统：来自可审计的中心化预言机、内容可寻址存储、拜占庭共识、多方计算，以及也许是最有趣的一个——零知识证明。
当前的零知识世界充满了“仪式“。巫师召集了成千上万的人们来努力进行驱魔——以可信的方式处理掉在可信设置中产生的有毒废物。
和这个婴儿期的技术一同到来的是一个与历史押韵的机会，并最终可使零知识民主化。
作者：Kevin Kwok 译者：Kurt Pan 原文链接：https://0xparc.org/blog/zkrepl
在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。
那时，对计算机进行编程是一项充满仪式感的艰苦的活动。但在 1950 年代后期，一种名为 LISP 的新编程系统被发明出来，它能够对其自己的实现进行推理——通过一个名为eval的结构，程序可以要求它们自己的制造者来产生新的程序。基于此，研究者提出了一个简单的程序，该程序将从键盘读取一些输入，将其发送到eval 结构，打印结果，然后循环回到起点以等待进一步的输入。
这个巧妙的技巧 ，REPL（译者注：读取﹣求值﹣输出循环）， 引发了编程的民主化进程——把编程从一个仅由民族国家用来操控火箭的东西，变成了一个青少年用来制作游戏的东西。
近年来，我们见证了一个计算的新时代的兴起。我们有像以太坊和比特币这样的区块链，每秒处理几十个操作，每年gas要耗费数百万美元。我们经常看到"烧毁"整个协议的bug。
推动这个计算新时代的是能够推理自己的信任的新系统：来自可审计的中心化预言机、内容可寻址存储、拜占庭共识、多方计算，以及也许是最有趣的一个——零知识证明。
当前的零知识世界充满了“仪式“。巫师召集了成千上万的人们来努力进行驱魔——以可信的方式处理掉在可信设置中产生的有毒废物。
和这个婴儿期的技术一同到来的是一个与历史押韵的机会，并最终可使零知识民主化。
除了语言，我们还需要它的媒介。我们希望能够像单击 Web 浏览器中的链接一样轻松地进入零知识的世界，因此我们在Monaco之上构建了 zkREPL ：Monaco是和Visual Studio Code 底层相同的文本编辑组件。但我们出于特定目的对其进行了扩展——自定义语法高亮，以及带有指向外部包含的工具提示。
将来，切换到CodeMirror 6可能会更好，因为 Monaco 在移动设备上运行得不是特别好，以及我们就可以利用 Joel Gustafson 的lezer-circom项目添加一个合适的增量语法解析器并启用各种新功能以用于探索、导航和可视化 Circom 代码。
在更深层次上，对于用户可以使他们自己相信那些声称在一个给定合约之下的代码确实是真正在运行的代码的能力，在构建一个可以显式推理自己的信任的系统的过程中，一个零知识系统仅能提供与其一样好的能力。为此，要提供一个使用户能够验证一个电路的源代码的系统，还有大量更多的工作可以去做。
传统上，要在 Circom 中编写零知识程序，必须首先安装整个 Rust 工具链并从源代码编译编译器。构建 zkREPL 的第一步是将 Circom 编译器编译成 WebAssembly，以便它可以在浏览器中可移植地运行。
这涉及到一些障碍，其恼人程度各异。有一些相对简单的更改，例如将其调整为支持 WASM 等 32 位架构，以及禁用Rust WASM目前不支持的多线程功能。
然后出现了一些更讨厌的障碍：Circom 与名为WABT的外部 C++ 库静态链接，该库是 WebAssembly 二进制工具包，其工作是将基于文本的 WAT 格式转换为二进制 WASM 格式。Rust WASM 编译器后端不支持与不同语言编写的模块链接，但 WABT 项目已使用 Emscripten 单独编译为 WASM。为了解决这个问题，我们首先剥离了 Circom 调用 WABT 的所有代码并创建了一个包装脚本，当被要求将 Circom 编译为 WASM 时，它会请求启动一个无 WABT 的 Circom 并请求一个 WAT 文件并立即将其放入另一个 WABT 模块以生成最终的 WASM。
后来，Blaine Bublitz 发现了WAST库，这是 WASM 二进制格式的纯 Rust 实现，并向 Circom 提交了一组上游更改，以用这个纯 Rust 实现替换 WABT，让我们一劳永逸地摆脱了上述麻烦的魔改。
WebAssembly 是一个非常轻量级的规范，它本质上代表存粹的计算——它没有文件、时间甚至输出控制台的概念。这就是WASI的用武之地——它定义了一个标准环境，WASM 程序可以与之交互，以便读取文件、接受输入并打印到输出控制台。但是，WASM 是一项新技术，WASI 更是如此。
此时，我们的 Circom/WASM 实现表面上运行良好：它编译我们的代码并生成有效的 WASM 见证生成器。然而，当需要使用 SnarkJS 进行端到端测试时，我们发现所需的 R1CS 文件比我们预期的要大几个字节。经过一番调查，问题的根源确定了：在特定情况下，对一个文件的特定写入顺序，跳回先前位置并继续写入该文件时，会在 WASI 运行时的某些实现中出现bug，会把东西写到错误的地方。我们最终通过修补一个版本的 WASI 文件系统运行时解决了这个问题。
至此，我们已经将 Circom 2.0 的工作版本编译为可以在浏览器中运行的 WebAssembly。但除此之外，我们还将它打包为一个NodeJS 模块，因此任何人都可以通过在他们的计算机上运行npx circom2来使用 Circom 进行开发。此外，Blaine 还提供了一个编程 API，可以与hardhat-circom等构建工具集成。
在标准 Circom 语言之上，我们还涉及了一些超出核心语言的扩展。我们添加了直接从外部 URL 导入代码的功能，以及一种直接作为文件底部的注释为你的见证生成程序指定输入的方法。
将来，通过支持 PLONK 中的自定义门来进一步扩展语言将会很有趣。
SNARKs是一种脆弱的生物；一根线没接上，你就可能引入了一个严重的错误，可能会将整个协议烧成灰烬。由于涉及的资产，环境不仅能打印输出，而且要以开发者能够真正理解代码的每一寸的方式和代码交织起来，这一点变得越来越重要。
在 zkREPL 中，将鼠标悬停在源代码中的signal上，就会看到一个工具提示，其中显示了从你的见证文件中提取的这些signal的值——这里不用你自己写print哦！
随着时间的推移，用于使人们了解正在运行的代码性质的工具会变得更加先进。例如，我们可能在某个时候能够集成诸如 Franklyn 的Ecne之类的工具的一些静态分析功能，以证明电路实现见证的唯一性。
未来，我们还可以添加新模式，以框图形式可视化和探索电路，能够放大单个块并查看底层线路，正如 Steven Hao 所建议的那样。
就像比尔博·巴金斯在《霍比特人》中的旅程一样，REPL 的故事以“去而复返”开始和结束。通过回到起点，开发者可以迭代他们的实现、添加特性、改进算法和修复错误。自 1950 年代以来，计算机已经发展了很多，编程不再需要像以前那样孤独地冥想。随着互联网的出现，循环的过程不再是同步的，而是并行的。
在 Circom 中实现ECDSA和RSA等工作基本上是协同工作，因此 zkREPL 努力通过简化电路共享和协作的流程来支持这一点。因此，你可以简单地点击“Ctrl-S”并将你的电路副本保存为一页 Github Gist，然后从浏览器栏中复制 URL 以与朋友分享，或将其作为 iframe 嵌入到教程页面中。
将来，我们可以通过更好地与 Git 集成，或者通过实时多人查看和编辑代码的能力来进一步缩短循环。
正如 0xPARC 是从 Xerox PARC（译者注：Palo Alto Research Center） 的丰富传奇中汲取的灵感，这个项目的命名是为了向那个聪明的小技巧致敬，它将编程从精英仪式转变为无处不在的民主仪式。
整个生态系统还处于起步阶段，像 zkREPL 这样的工具还很原始。如果有兴趣提供帮助，无论是通过实现上述的任何想法，还是通过贡献你自己的愿景，来看看我们的 Github吧。
在这里试用 zkREPL ！另请参阅Github，并查看npm 上的 circom2。
除了语言，我们还需要它的媒介。我们希望能够像单击 Web 浏览器中的链接一样轻松地进入零知识的世界，因此我们在Monaco之上构建了 zkREPL ：Monaco是和Visual Studio Code 底层相同的文本编辑组件。但我们出于特定目的对其进行了扩展——自定义语法高亮，以及带有指向外部包含的工具提示。
将来，切换到CodeMirror 6可能会更好，因为 Monaco 在移动设备上运行得不是特别好，以及我们就可以利用 Joel Gustafson 的lezer-circom项目添加一个合适的增量语法解析器并启用各种新功能以用于探索、导航和可视化 Circom 代码。
在更深层次上，对于用户可以使他们自己相信那些声称在一个给定合约之下的代码确实是真正在运行的代码的能力，在构建一个可以显式推理自己的信任的系统的过程中，一个零知识系统仅能提供与其一样好的能力。为此，要提供一个使用户能够验证一个电路的源代码的系统，还有大量更多的工作可以去做。
传统上，要在 Circom 中编写零知识程序，必须首先安装整个 Rust 工具链并从源代码编译编译器。构建 zkREPL 的第一步是将 Circom 编译器编译成 WebAssembly，以便它可以在浏览器中可移植地运行。
这涉及到一些障碍，其恼人程度各异。有一些相对简单的更改，例如将其调整为支持 WASM 等 32 位架构，以及禁用Rust WASM目前不支持的多线程功能。
然后出现了一些更讨厌的障碍：Circom 与名为WABT的外部 C++ 库静态链接，该库是 WebAssembly 二进制工具包，其工作是将基于文本的 WAT 格式转换为二进制 WASM 格式。Rust WASM 编译器后端不支持与不同语言编写的模块链接，但 WABT 项目已使用 Emscripten 单独编译为 WASM。为了解决这个问题，我们首先剥离了 Circom 调用 WABT 的所有代码并创建了一个包装脚本，当被要求将 Circom 编译为 WASM 时，它会请求启动一个无 WABT 的 Circom 并请求一个 WAT 文件并立即将其放入另一个 WABT 模块以生成最终的 WASM。
后来，Blaine Bublitz 发现了WAST库，这是 WASM 二进制格式的纯 Rust 实现，并向 Circom 提交了一组上游更改，以用这个纯 Rust 实现替换 WABT，让我们一劳永逸地摆脱了上述麻烦的魔改。
WebAssembly 是一个非常轻量级的规范，它本质上代表存粹的计算——它没有文件、时间甚至输出控制台的概念。这就是WASI的用武之地——它定义了一个标准环境，WASM 程序可以与之交互，以便读取文件、接受输入并打印到输出控制台。但是，WASM 是一项新技术，WASI 更是如此。
此时，我们的 Circom/WASM 实现表面上运行良好：它编译我们的代码并生成有效的 WASM 见证生成器。然而，当需要使用 SnarkJS 进行端到端测试时，我们发现所需的 R1CS 文件比我们预期的要大几个字节。经过一番调查，问题的根源确定了：在特定情况下，对一个文件的特定写入顺序，跳回先前位置并继续写入该文件时，会在 WASI 运行时的某些实现中出现bug，会把东西写到错误的地方。我们最终通过修补一个版本的 WASI 文件系统运行时解决了这个问题。
至此，我们已经将 Circom 2.0 的工作版本编译为可以在浏览器中运行的 WebAssembly。但除此之外，我们还将它打包为一个NodeJS 模块，因此任何人都可以通过在他们的计算机上运行npx circom2来使用 Circom 进行开发。此外，Blaine 还提供了一个编程 API，可以与hardhat-circom等构建工具集成。
在标准 Circom 语言之上，我们还涉及了一些超出核心语言的扩展。我们添加了直接从外部 URL 导入代码的功能，以及一种直接作为文件底部的注释为你的见证生成程序指定输入的方法。
将来，通过支持 PLONK 中的自定义门来进一步扩展语言将会很有趣。
SNARKs是一种脆弱的生物；一根线没接上，你就可能引入了一个严重的错误，可能会将整个协议烧成灰烬。由于涉及的资产，环境不仅能打印输出，而且要以开发者能够真正理解代码的每一寸的方式和代码交织起来，这一点变得越来越重要。
在 zkREPL 中，将鼠标悬停在源代码中的signal上，就会看到一个工具提示，其中显示了从你的见证文件中提取的这些signal的值——这里不用你自己写print哦！
随着时间的推移，用于使人们了解正在运行的代码性质的工具会变得更加先进。例如，我们可能在某个时候能够集成诸如 Franklyn 的Ecne之类的工具的一些静态分析功能，以证明电路实现见证的唯一性。
未来，我们还可以添加新模式，以框图形式可视化和探索电路，能够放大单个块并查看底层线路，正如 Steven Hao 所建议的那样。
就像比尔博·巴金斯在《霍比特人》中的旅程一样，REPL 的故事以“去而复返”开始和结束。通过回到起点，开发者可以迭代他们的实现、添加特性、改进算法和修复错误。自 1950 年代以来，计算机已经发展了很多，编程不再需要像以前那样孤独地冥想。随着互联网的出现，循环的过程不再是同步的，而是并行的。
在 Circom 中实现ECDSA和RSA等工作基本上是协同工作，因此 zkREPL 努力通过简化电路共享和协作的流程来支持这一点。因此，你可以简单地点击“Ctrl-S”并将你的电路副本保存为一页 Github Gist，然后从浏览器栏中复制 URL 以与朋友分享，或将其作为 iframe 嵌入到教程页面中。
将来，我们可以通过更好地与 Git 集成，或者通过实时多人查看和编辑代码的能力来进一步缩短循环。
正如 0xPARC 是从 Xerox PARC（译者注：Palo Alto Research Center） 的丰富传奇中汲取的灵感，这个项目的命名是为了向那个聪明的小技巧致敬，它将编程从精英仪式转变为无处不在的民主仪式。
整个生态系统还处于起步阶段，像 zkREPL 这样的工具还很原始。如果有兴趣提供帮助，无论是通过实现上述的任何想法，还是通过贡献你自己的愿景，来看看我们的 Github吧。
在这里试用 zkREPL ！另请参阅Github，并查看npm 上的 circom2。
No activity yet