...要问题 我们如何**形式化验证**一个算术电路（正如 **零知识证明系统** 所使用的）具有所需的特性，例如可靠性、完备性和零知识性¹？ 证明系统的可靠性意味着它不会证明错误的陈述。类似地，证明系统所使用的电路的可...
...gqMiIiI65ed91a640c5f.png) Ethereum Layer2 Ecosystem ## **二、前置知识** ### （一）以太坊Layer2的解决方案有哪些？ 为什么需要Layer2 以太坊的Layer2（第二层）是指基于以太坊主链（Layer1）之上构建的扩展解决方案，其目的是提高网...
...件的物理特性泄露信息。 ### 复杂性 实施 TEE 需要专业知识，并可能增加开发过程的复杂性。 - 对硬件制造商的信任 TEE 依赖基础硬件的安全性，这需要对制造商的信任。 ## TEE 与其他安全解决方案的比较 ### TEE 与零知识证明...
...变化需求的方法和技术。在现代加密协议如 **zkTLS**（零知识传输层安全）出现之前，隐私和数据验证主要依赖更传统的方法，依靠信任、物理验证和集中系统来处理。 在古代，隐私主要通过物理障碍或社会规范维护。例如，...
...ttps://learnblockchain.cn/article/17456/) 中，我们披露了会破坏零知识证明系统多个实现健全性的关键漏洞。这类漏洞，我们称之为“冰冻之心”（Frozen Heart），是由 Fiat-Shamir 转换的不安全实现造成的，这些实现允许恶意用户伪造随机...
...入尚未准备好全面可用的新功能)。 * 隐私：例如，零知识证明应用于公共L2上的保护隐私交易。 * 更便宜/更简单的L2- L3互操作性：目前在L1和L2之间使用的On/off-ramp流是出了名的昂贵。相比之下，由于L2的成本效益，当这些流...
...化、可用性和安全性的最佳组合。值得注意的是，仅凭零知识证明无法提供机密性；它们只能证明正确性。 ## 使用阈值加密的链上 Shielded Voting 使用 Shutter 的阈值加密，提议者从 Shutter API 请求一个新的公共加密密钥，并将其存...
我们很高兴地宣布 Succinct Processor 1 (SP1)：我们的第一代零知识虚拟机 (zkVM)，用于验证任意 Rust（或任何 LLVM 编译的语言）程序的执行。与现有的 zkVM 相比，SP1 的目标是在性能上提升一个数量级——其 alpha 版本对于某些程序来说...
...9f-84d4-d3dc1f9c2dd7&w=2048&q=80) ## 专为实时时代打造的 zkVM 零知识计算正在进入一个新阶段，这个阶段不仅由可能性定义，也由性能定义。 随着 R0VM 2.0 的发布，开发者现在可以更快地进行证明，构建更大的应用，并信任每一个结果...
...现ZK账户的工作组每两周举行一次会议：[Celestia基层的零知识](https://forum.celestia.org/t/zero-knowledge-in-the-celestia-baselayer/1475)。还有一个[正在进行中的CIP](https://github.com/celestiaorg/CIPs/pull/91)可用，其中包含[会议录音](https://github.com/celes...
...841) 介绍了实数域上的椭圆曲线。然而，像 ECDSA 签名和零知识证明系统这样的密码学应用需要在有限域上工作。 本文将探讨有限域上的椭圆曲线，这些离散曲线如何形成循环群，它们的同态性质，以及离散对数问题如何提供密...
...有整数加法，B 为目标群，◼ 为 B 的二元运算。 #### 零知识加法，示例 1 假设我们希望向验证者证明我们计算了 2+3=5。我们将给验证者 (x,y,5)，其中 x=ϕ(2)，y=ϕ(3)，验证者检查： $$ x◼y=?ϕ(5) $$ 注意，同态加密意味着验...
最近翻到一篇利用零知识证明在以太坊上实现隐私交易的新方案。Zkopru采用的还是UTXO模型，交易隐私实现的思路和ZCash类似。Zkopru的这篇介绍比较详细的介绍交易的类型，layer1/layer2的交互等等。翻译了一下，方便其他小伙伴查...
...中处理批量操作 **协议设计** * 运行完整的零知识证明验证 * 复杂的加密操作而无需链外组件 * 具有复杂公式的实时自动化做市商 最终，这只是链上创造力。这是一种思维方式的转变，从稀缺、gas ...