...复杂化了监管环境。 另一个重大挑战是拥有区块链专业知识的 **网络安全人才短缺** [Top blockchain attacks, hacks and security issues explained \| TechTarget](https://www.techtarget.com/searchsecurity/tip/Top-blockchain-security-attacks-hacks-and-issues)。随着区块...
...式上正确的（具体而言，就是完整、可靠、诚实验证者零知识）。你要是没看 [上一篇博客](https://suredbits.com/schnorr-security-part-1-schnorr-id-protocol/)，这篇很有可能看起来会云里雾里。所以先去看看呗。 在本文中，我们会将身份证...
...互动。Railgun 建立在以太坊及其他 EVM 兼容链上，借助零知识证明（zk-SNARKs）和单一全球 Merkle 树创建一个私密、可审计且可扩展的环境。其架构将先进的零知识加密技术与可编程性相结合，创建了一个为 DeFi 应用提供无缝、机密...
...入回调连接 - 访问官方盐值服务器获取盐值 - 访问零知识证明服务器获取零知识证明 - 领水 - 创建测试转账交易 - 使用临时私钥签名交易 - 获取零知识证明签名（`partialZkLoginSignature`） - 组装成`zkLogin`签名（`zkLogin...
...但一些新兴的隐私项目也借这个机会分到了市场。例如零知识智能合约平台Railgun，8月8日TVL为471.02k，而到了8月22日TVL则达到6.23M，增长近10倍。 ### **（1）制裁前后，Defi隐私赛道市场情况变化** 放眼整个DeFi隐私赛道，我们通过...
...户自动化、通过资源锁定实现零桥接的跨链意图、使用零知识证明进行签名验证的隐私、新的信用和保证金账户系统等等。 为了使智能账户成为一个开放平台，必须解决三个基本问题。Rhinestone Protocol 1.0 直接解决了这些问题： ...
...们将通过探索 Circle 的跨链传输协议 (CCTP) 来丰富我们的知识库。 在本文中，我们将深入研究 CCTP 的设计、安全性和信任假设，通过对其架构的全面分析，突出其独特的功能和权衡。 我们将涵盖以下主题： - CCTP 概述 - 交易生...
## 介绍 任何零知识证明（ZKP）系统的核心在于**算术化**的概念，即将计算问题转化为可以在特定代数结构（如多项式或算术电路）中表达和验证的数学问题的过程。在 Binius 框架中，此算术化通过 **多重多重集匹配 (M3)** 系统...
...送 $\mathcal{O}(\log n)$ 数据。 我们强调，这个算法不是零知识，因为在 $n=1$ 的情况下，验证者了解到整个向量。验证者也可以发送非随机值 $u$ 来尝试了解关于 $\mathbf{a}$ 的信息。 然而，回想一下，我们设计这个算法的动机是...
...高了 **rollup** 之间的互操作性和可组合性。它采用基于零知识的欺诈证明 (ZKFP) 系统，该系统结合了欺诈证明和有效性证明系统的优点，解决了传统证明系统存在的用户体验问题。Layer N 由名为N-EVM的EVM **rollup**、名为Nord的 **orderb...
...然而，在公共账本上实现隐私需要先进的密码学工具。零知识（ZK）证明提供了一种途径，使用户能够在不揭示底层数据的情况下证明某些事情。另一种有前景的方法是 [**全同态加密（FHE）**](https://www.zama.ai/introduction-to-homomorphic...
...m 使用 BoLD；Optimism 使用 Cannon）。 - **ZK Rollup**：使用零知识有效性证明来验证交易批次，然后再提交（例如，zkSync、StarkNet），从而无需争议期即可实现近乎即时的最终性。某些系统还实施 ZK 欺诈证明（OP Succinct、RISC0 Kailula）...
...？ BYOR 项目是一个简化版本的主权 rollup。与乐观和零知识证明的 rollup 相比，主权 rollup 不会在以太坊上验证状态根，只依赖于以太坊上的数据可用性和共识。这样可以防止 L1 和 BYOR 之间的信任最小化桥，但极大地简化了代码...