...互动。Railgun 建立在以太坊及其他 EVM 兼容链上，借助零知识证明（zk-SNARKs）和单一全球 Merkle 树创建一个私密、可审计且可扩展的环境。其架构将先进的零知识加密技术与可编程性相结合，创建了一个为 DeFi 应用提供无缝、机密...
...式上正确的（具体而言，就是完整、可靠、诚实验证者零知识）。你要是没看 [上一篇博客](https://suredbits.com/schnorr-security-part-1-schnorr-id-protocol/)，这篇很有可能看起来会云里雾里。所以先去看看呗。 在本文中，我们会将身份证...
...块链开发人员不断寻求通过实施先进的密码学技术（如零知识证明和同态加密）来增强其网络的安全性[密码学在区块链安全中的作用](https://reintech.io/blog/cryptography-role-blockchain-security)。 加密不仅仅是区块链安全中的一个可选功...
...但一些新兴的隐私项目也借这个机会分到了市场。例如零知识智能合约平台Railgun，8月8日TVL为471.02k，而到了8月22日TVL则达到6.23M，增长近10倍。 ### **（1）制裁前后，Defi隐私赛道市场情况变化** 放眼整个DeFi隐私赛道，我们通过...
## 介绍 任何零知识证明（ZKP）系统的核心在于**算术化**的概念，即将计算问题转化为可以在特定代数结构（如多项式或算术电路）中表达和验证的数学问题的过程。在 Binius 框架中，此算术化通过 **多重多重集匹配 (M3)** 系统...
...并行的余额表示形式： - ElGamal 承诺，仅用于验证余额知识的 ZK 证明。 - 使用 DH 共享密钥加密的余额，使用户能够解密其实际余额数据。需要访问发件人的公钥数组和加密 nonce 数组才能执行解密。 由于 ZK 证明是根据用户...
...响和滑点。我们的第一篇文章关注于 Renegade，一种使用零知识证明和安全多方计算 (MPC) 来确保隐私的协议，同时保持去中心化。 本文将重点转向 Tristero，这是一个全新的替代方案，重新设计暗池，以速度和可扩展性为核心。...
...们将通过探索 Circle 的跨链传输协议 (CCTP) 来丰富我们的知识库。 在本文中，我们将深入研究 CCTP 的设计、安全性和信任假设，通过对其架构的全面分析，突出其独特的功能和权衡。 我们将涵盖以下主题： - CCTP 概述 - 交易生...
...m 使用 BoLD；Optimism 使用 Cannon）。 - **ZK Rollup**：使用零知识有效性证明来验证交易批次，然后再提交（例如，zkSync、StarkNet），从而无需争议期即可实现近乎即时的最终性。某些系统还实施 ZK 欺诈证明（OP Succinct、RISC0 Kailula）...
...户自动化、通过资源锁定实现零桥接的跨链意图、使用零知识证明进行签名验证的隐私、新的信用和保证金账户系统等等。 为了使智能账户成为一个开放平台，必须解决三个基本问题。Rhinestone Protocol 1.0 直接解决了这些问题： ...
...在 2022 年启动了**一系列资助以支持学术研究**，以培养知识并进一步加强以太坊生态系统。我们收到的反响非常热烈，我们向 39 位杰出的建设者提供了资助，他们积极跨越不同领域，以推进以太坊相关知识的发展。 在这篇博文...
...送 $\mathcal{O}(\log n)$ 数据。 我们强调，这个算法不是零知识，因为在 $n=1$ 的情况下，验证者了解到整个向量。验证者也可以发送非随机值 $u$ 来尝试了解关于 $\mathbf{a}$ 的信息。 然而，回想一下，我们设计这个算法的动机是...
...的 Layer 2 解决方案，正吸引越来越多的开发者。它通过零知识证明（ZKP）大幅提高了交易效率和安全性。在 Starknet 中，Cairo 作为智能合约的编程语言，不仅提供了强大的功能，还保持了与 Rust 语言的相似性，方便开发者上手。...