...可编程密码学规模的必要条件。 我们可以通过 ZKP（零知识证明）、同态加密（FHE）、多方计算（MPC）和不可区分混淆（IO）等多种技术来实现上述某些内容。这些技术虽然纯粹且美观，但在规模部署方面存在不可忽视的障碍...
...思维都是在解决可用性问题。而可信性更多的是拓宽人类知识的边界，比特币这类就是在解决我们所有人如何去相信一个事物、数据。在这样一个脉络里，有这两种需求存在，就一直会有分叉出现。如果把比特币的创世当作源头...
...入尚未准备好全面可用的新功能)。 * 隐私：例如，零知识证明应用于公共L2上的保护隐私交易。 * 更便宜/更简单的L2- L3互操作性：目前在L1和L2之间使用的On/off-ramp流是出了名的昂贵。相比之下，由于L2的成本效益，当这些流...
...法可以分为两种类型：乐观 Rollups（Optimistic Rollups）和零知识 Rollups（zk-Rollups）。 - Op Rollups：假设交易是有效的，只有在有争议时才进行验证 - Zk Rollups：通过零知识证明技术，在提交交易数据的同时，保证其正确性。 ### Pl...
理解Halo2，可以从两部分着手：1/ 电路构建 2/ 证明系统。从开发者的角度看，电路构建是接口。如何通过Halo2构建建电路，这些电路在Halo2的内部如何表示是理解电路构建的关键。本文就从源代码的角度深入浅出讲解Halo2的电路构...
...拙的协议。 如今，**PLONK 被认为是最雄心勃勃的通用零知识证明结构之一。** 许多项目，如 Zcash、Polygon Zero（以前称为 Mir Protocol）、Aztec 网络、Dusk、MatterLabs（zksync）、Astar 和 anoma，都有自己的证明系统实现。 ## 但首先，...
...防止通过暴力破解哈希以揭示 secret。 ### (非交互式)零知识证明 **零知识证明** 是一种加密协议，允许证明者向验证者展示特定陈述为真，而不泄露超出该陈述本身真相的任何其他信息。换句话说，它允许证明者说服验证者...
...，本说明旨在为从业人员提供有效优化其密码系统所需的知识。 - ### ICICLE v3: Going multi-platform - ### Verifiable Summit 2024 - ### Lurk 0.5 Benchmarks - ## Papers ### Tightly Secure Non-Interactive BLS Multi-Signatures - ### Locally Verifiable Distributed SNARGs - #...
...对安全和私密计算的需求比以往任何时候都更为迫切。零知识虚拟机（zkVMs）就是这样一种创新，它允许在不透露底层数据的情况下证明计算的正确性。zkVMs 对于隐私保护应用、去中心化金融（DeFi）和其他基于区块链的用例具有...
...中处理批量操作 **协议设计** * 运行完整的零知识证明验证 * 复杂的加密操作而无需链外组件 * 具有复杂公式的实时自动化做市商 最终，这只是链上创造力。这是一种思维方式的转变，从稀缺、gas ...
...次的方式提交至以太坊 L1 链上，但这种方案并不使用零知识证明来证明交易的有效性：**Optimistic Rollups “乐观地”假设了交易的有效性**，除非通过所谓的“**欺诈证明**”(fraud proofs) 成功地挑战了交易的有效性。 简单来说就...
...出。 ## MPC 钱包简介 现在我们已经了解了 MPC 的基础知识，我们可以开始理解它是如何纳入 MPC 钱包中的。加密钱包有很多不同类型。大多数加密钱包可以分为以下两类： 1. 冷钱包：冷存储钱包是将用户的私钥存储在离线...
... 难题 2: Supervillain 第二个难题涉及聚合 BLS 签名与简单的知识证明方案的结合。这两者都使用了配对 e:G1×G2→G3。我们最近发布了一篇 [关于配对的入门文章↗](https://www.zellic.io/blog/what-are-elliptic-curve-pairings/)，如果你想要入门，...
...gqMiIiI65ed91a640c5f.png) Ethereum Layer2 Ecosystem ## **二、前置知识** ### （一）以太坊Layer2的解决方案有哪些？ 为什么需要Layer2 以太坊的Layer2（第二层）是指基于以太坊主链（Layer1）之上构建的扩展解决方案，其目的是提高网...
.../) 通过使用半诚实的混淆电路和基于混淆电路的交互式零知识证明来优化此方法。虽然这减少了一些开销，但成本仍然很大。 [Primus](https://primuslabs.xyz/) 在 MPC-TLS 设置中引入了 [garble-then-prove](https://eprint.iacr.org/2023/964) 协议，将...