...头理解椭圆曲线，不如研究一堆其他代数群，然后将这些知识和直觉转移到椭圆曲线上。 在加法下有理数构成一个群。在模素数下的整数构成一个乘法群。非零行列的矩阵在乘法下构成一个群。 你进行二元运算，你会在集...
...节点，是制约FHE算法大规模应用的一个核心挑战。 零知识证明 (ZK) 算法（这里特指 zk-snarks ）主要用于扩容（如 zk-rollup ）和隐私。一个有趣的事实是，ZK 算法在外包计算场景下无法实现隐私白虎，这源于 ZK 系统的自身安全特...
... Rust 编程之旅吧！ 本文全面介绍 Rust 编程语言的入门知识，涵盖其高性能、内存安全和并发处理的独特优势，以及与 C/C++、Java 等语言的对比。Rust 广泛应用于系统编程、WebAssembly 和高性能 Web 服务，深受 Firefox、Google Fuschia 等...
...入尚未准备好全面可用的新功能)。 * 隐私：例如，零知识证明应用于公共L2上的保护隐私交易。 * 更便宜/更简单的L2- L3互操作性：目前在L1和L2之间使用的On/off-ramp流是出了名的昂贵。相比之下，由于L2的成本效益，当这些流...
... - 跨链桥接，安全地在区块链之间转移资产。 - ZK（零知识证明）相关应用，构建隐私保护的应用。 - 去中心化AI，构建能够做出可验证决策的AI代理。 4. **实际示例**：视频中展示了如何构建一个价格预言机和一个体育...
如果你是因为对 web3 和区块链感到困惑而来到这里，别担心，我曾经也在互联网上经历过同样的困惑，试图理解这项新的热门技术，它有一些花哨的术语，以及一些非技术人员甚至技术人员都难以理解的术语。因此，在这篇博客...
...在不向 Bob 透露 $x$ 的情况下证明她知道 $x$ ，这称为零知识证明。下面我们开始介绍 Schnorr 身份识别过程： 1. Alice 选择另一个大随机数 ( $k$ ), 我们称之为私有随机数。她再次将其作为标量使用,将其乘以 $G$ 得到 $kG$ , 称...
...现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...
...变得越来越昂贵。因此，盈利能力取决于复杂的、专有的知识，这大大增加了新进入者在区块构建方面具有竞争力的难度。当拍卖是赢者通吃的非竞争性构建者无法生存时，最终会导致高度中心化（双头垄断或垄断对我来说并不...
...步的进展，后续我们的首席架构师会分享更多的信息给零知识证明的开发者社区。 * 采用不必做安全设置的新零知识证明算法。 * 目前Beta1的电路只能容纳1百万用户。一旦我们的用户数量接近这个极限，我们就需要再做一次...
...条件。Simplicity 可以实现限制条款（covenants）、委托、零知识证明等等。虽然如此强大的表达能力令人望而生畏，但是我们可以检查程序的正确性。Simplicity 的语法是显式的，因此程序的功能一目了然。不会出现令人讨厌的意外...
...Kurt Pan 本文假设你熟悉 SNARK 和 STARK 工作原理的基础知识；如果你并不熟悉，建议阅读此文的前几节。特别感谢 Eli ben-Sasson、Shahar Papini、Avihu Levy 和 starkware 的其他人员提供的反馈和讨论。 - https://vitalik.eth.limo/general/2024/04...
...tal Management的Web3部门，专注于区块链技术，特别是围绕零知识证明和模块化、多链Web3基础设施的早期项目。我们在硅谷和亚洲的全球分布团队孵化技术创始人，并为他们提供从创意到定义类别的公司的资源。 我们利用新兴市场...