zkEVMs：不是灵丹妙药
原文地址：https://eng-blog.o1labs.org/posts/plonk/ 作者：O(1) Labs 鉴于最近关于 zkEVM 的所有新闻，您可能会认为 Web3 世界在零知识证明 (ZKP) 上已接近“任务完成”。在 O(1) Labs，虽然我们对零知识证明世界的整体进展速度感到兴奋，但我们认为这些公告只是实现 ZKP 可以带来的所有好处的道路上的一步。让我解释：今天市场上基本上有两个 ZKP“运动”，使用相同的高级密码学原理，但技术方法和实际目标截然不同：(1) 可扩展性： zkEVM 以及迄今为止宣布的其他 zk rollup 将有助于扩展“正常”Web3 活动——基本上可以降低以当前形式运行智能合约的成本，而无需添加任何新功能，以解决主要 L1 的挑战。（Mina 也与可扩展性空间相关，与其他方法相比具有潜在优势——稍后会详细介绍。） (2) 隐私和证明：更广泛的类别可以称为“可验证的链下计算”，隐私和证明是两个关键用例，但为了便于在本文中解释，我将其缩小。O(1) Labs 和少数其他项目首先专注于向市场提供一种全新的能力。这允许在不披露基础信息（私有、...
zkEVMs：不是灵丹妙药
原文地址：https://eng-blog.o1labs.org/posts/plonk/ 作者：O(1) Labs 鉴于最近关于 zkEVM 的所有新闻，您可能会认为 Web3 世界在零知识证明 (ZKP) 上已接近“任务完成”。在 O(1) Labs，虽然我们对零知识证明世界的整体进展速度感到兴奋，但我们认为这些公告只是实现 ZKP 可以带来的所有好处的道路上的一步。让我解释：今天市场上基本上有两个 ZKP“运动”，使用相同的高级密码学原理，但技术方法和实际目标截然不同：(1) 可扩展性： zkEVM 以及迄今为止宣布的其他 zk rollup 将有助于扩展“正常”Web3 活动——基本上可以降低以当前形式运行智能合约的成本，而无需添加任何新功能，以解决主要 L1 的挑战。（Mina 也与可扩展性空间相关，与其他方法相比具有潜在优势——稍后会详细介绍。） (2) 隐私和证明：更广泛的类别可以称为“可验证的链下计算”，隐私和证明是两个关键用例，但为了便于在本文中解释，我将其缩小。O(1) Labs 和少数其他项目首先专注于向市场提供一种全新的能力。这允许在不披露基础信息（私有、...
zkOracles：对抗大规模数据黑客的救星
原文地址：https://eng-blog.o1labs.org/posts/ssn-blog/ 作者：Vanishree Rao 翻译：MINA Holder（翻译于原文） 这是 Web3 可以解决的 Web2 中数十亿美元问题的一个很好的例子。Web2 的世界现状是，诸如国民身份证号（在美国是 SSN，在英国是 NIN）等个人敏感信息在各个机构中传播，使这些机构成为黑客的引诱目标。这些机构花费数十亿美元——充其量只是微弱地——保护这些数据宝藏。一旦他们被黑客入侵，他们就会花费另一笔钱来安抚客户，支付监管罚款并在品牌形象的巨大创伤上使用营销创可贴。Web3 的世界，由 Mina 提供支持Web3 有解决这个问题的方法。这个想法是避免在各个机构之间共享此类敏感信息，而是共享您的敏感信息的证明，而不使用零知识证明 (ZKPs) 共享信息本身。请继续阅读以了解它是如何工作的。ZKPs 回顾在我们继续之前，让我们回顾一下 ZKPs 的力量。它们提供两种权力——隐私和简洁。在我们的案例中，我们将主要使用隐私权。具体来说，ZKPs 允许我们证明我们知道某事而不透露它。这里的想法是证明机构需...
zkOracles：对抗大规模数据黑客的救星
原文地址：https://eng-blog.o1labs.org/posts/ssn-blog/ 作者：Vanishree Rao 翻译：MINA Holder（翻译于原文） 这是 Web3 可以解决的 Web2 中数十亿美元问题的一个很好的例子。Web2 的世界现状是，诸如国民身份证号（在美国是 SSN，在英国是 NIN）等个人敏感信息在各个机构中传播，使这些机构成为黑客的引诱目标。这些机构花费数十亿美元——充其量只是微弱地——保护这些数据宝藏。一旦他们被黑客入侵，他们就会花费另一笔钱来安抚客户，支付监管罚款并在品牌形象的巨大创伤上使用营销创可贴。Web3 的世界，由 Mina 提供支持Web3 有解决这个问题的方法。这个想法是避免在各个机构之间共享此类敏感信息，而是共享您的敏感信息的证明，而不使用零知识证明 (ZKPs) 共享信息本身。请继续阅读以了解它是如何工作的。ZKPs 回顾在我们继续之前，让我们回顾一下 ZKPs 的力量。它们提供两种权力——隐私和简洁。在我们的案例中，我们将主要使用隐私权。具体来说，ZKPs 允许我们证明我们知道某事而不透露它。这里的想法是证明机构需...
泡菜证明初步之PLONK
原文地址：https://eng-blog.o1labs.org/posts/plonk/ 作者：Anaïs Querol 翻译：Kurt Pan Kimchi 是我们新的无需信任的 zkSNARK，它基于PLONK证明系统和Bulletproofs承诺方案。这篇文章的目的是缓解阅读上述论文后产生的症状。毕竟，PLONK精心挑选的缩写（Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge）绝不仅仅是一个有趣的巧合：让我们试着把一瓶 plonk（英式英语：廉价酒） 变成一杯美酒，然后干杯！Kimchi通常，人们需要一些白菜、盐和香料来烹制自制泡菜。在 O(1) Labs，我们的Kimchi食谱略有不同：我们将使用以下三个论证系统来代替上述主要成分。 · 自定义门（Custom gates）：这些是我们要品尝的香料。不同的配置（口味）将得到不同的Kimchi。更正式点说，根据我们想要证明的计算类型，我们将选择不同的自定义门来创建电路。 · 排列（Permutatio...
泡菜证明初步之PLONK
原文地址：https://eng-blog.o1labs.org/posts/plonk/ 作者：Anaïs Querol 翻译：Kurt Pan Kimchi 是我们新的无需信任的 zkSNARK，它基于PLONK证明系统和Bulletproofs承诺方案。这篇文章的目的是缓解阅读上述论文后产生的症状。毕竟，PLONK精心挑选的缩写（Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge）绝不仅仅是一个有趣的巧合：让我们试着把一瓶 plonk（英式英语：廉价酒） 变成一杯美酒，然后干杯！Kimchi通常，人们需要一些白菜、盐和香料来烹制自制泡菜。在 O(1) Labs，我们的Kimchi食谱略有不同：我们将使用以下三个论证系统来代替上述主要成分。 · 自定义门（Custom gates）：这些是我们要品尝的香料。不同的配置（口味）将得到不同的Kimchi。更正式点说，根据我们想要证明的计算类型，我们将选择不同的自定义门来创建电路。 · 排列（Permutatio...
2022年冬季 zkApps 建设者计划总结
作者：Jason Borseth和Regina Wong，来自 O(1) Labs，Mina 生态系统合作伙伴 zkApps Builders Program 的第一批总结，该计划旨在支持想要了解零知识智能合约编程并为 Mina 协议构建 zkApp 的开发人员。了解该计划的进展情况以及团队构建的项目。 我们很高兴地宣布第一批 zkApps Builders Program 的结束——我们的计划旨在支持想要了解零知识智能合约编程并为 Mina 协议构建zkApp的开发人员。 在最初的队列中，7 个团队，由来自 4 个国家的 9 名参与者组成，完成了为期 12 周的项目。 这些团队获得了资助并直接访问构建 zkApps 的 O(1) Labs 团队成员，因此我们可以支持团队努力构建他们选择的 zkApp 相关项目，并且团队提供了宝贵的反馈来帮助我们改进SnarkyJS对开发人员更友好。 *“zkApp 建设者计划让我有机会与一些从事 zkStuff 工作的最聪明的人进行互动……SnarkyJS 让我想起了一个 Web 框架——它以一种直观的方式展示了极其强大的功能！” *– Hel...
2022年冬季 zkApps 建设者计划总结
作者：Jason Borseth和Regina Wong，来自 O(1) Labs，Mina 生态系统合作伙伴 zkApps Builders Program 的第一批总结，该计划旨在支持想要了解零知识智能合约编程并为 Mina 协议构建 zkApp 的开发人员。了解该计划的进展情况以及团队构建的项目。 我们很高兴地宣布第一批 zkApps Builders Program 的结束——我们的计划旨在支持想要了解零知识智能合约编程并为 Mina 协议构建zkApp的开发人员。 在最初的队列中，7 个团队，由来自 4 个国家的 9 名参与者组成，完成了为期 12 周的项目。 这些团队获得了资助并直接访问构建 zkApps 的 O(1) Labs 团队成员，因此我们可以支持团队努力构建他们选择的 zkApp 相关项目，并且团队提供了宝贵的反馈来帮助我们改进SnarkyJS对开发人员更友好。 *“zkApp 建设者计划让我有机会与一些从事 zkStuff 工作的最聪明的人进行互动……SnarkyJS 让我想起了一个 Web 框架——它以一种直观的方式展示了极其强大的功能！” *– Hel...
