...在 Merkle Tree 上面，在中继里边做的，以太坊上只要把零知识证明验证一下就行了，可能就花费10万gas 还是多少gas，大概是这样。* *比如说做1000笔交易，改动可能是大约4000个叶子节点，可能要算几万次哈希算出一个根，但这些...
...，还是将定义以太坊未来十年作用的长期努力。 - 支持零知识研究和开源工具，以推动隐私保护技术的前沿。 - 举办生态系统范围的聚会（如 Devcon），汇集不同的全球贡献者。 - 运营 ethereum.org，作为一个面向新用户和建设者的...
...操作。 使用随机化因子掩盖累加器中的群元素以保证零知识性。 [Nova](https://eprint.iacr.org/2021/370.pdf)是一种新协议，提出了一种实现 IVC 的轻量级替代构造。 不用[zk-SNARKs](https://www.notamonadtutorial.com/the-hunting-of-the-zk-snark/)，而是...
...供商是 Google、Facebook 和 Twitch）。 zkLogin 应用程序使用零知识技术来隐藏用户的真实身份。 例如，用户是 [hello@zksecurity.xyz](mailto:hello@zksecurity.xyz)。 ### OAuth 2.0 和 JSON Web Tokens (JWT) zkLogin 支持的单点登录协议是 [OAuth 2.0](https://oaut...
...程的完整性而受到极大关注。像安全多方计算（MPC）和零知识证明（ZKP）这样的解决方案已成为处理机密信息的行业的核心。 现有的零知识证明在验证计算时面临效率、可扩展性和灵活性的瓶颈。递归证明是一种重要的范式...
...破坏安全性。 - **zk-Rollups** 依赖于必须复制整个 EVM 的零知识电路。如果电路滞后于 L1 升级（例如新的操作码），L2 可能会出现问题。通常，还有一个“治理多签”来处理紧急情况。 结果：每个 Rollup 投入成千上万的工程时...
bellman是Zcash团队用Rust语言开发的一个zk-SNARK软件库，实现了Groth16算法。项目地址： https://github.com/zcash/librustzcash/tree/master/bellman ## 1\. 总体流程  总体流程大致可以...
...件工程上，比特币是一个分布式系统。中本聪利用密码学知识解决了分布式共识问题，而且是**零信任环境**。 他巧妙地利用加密哈希算法特性（比特币使用的哈希算法是SHA-256，这类SHA-2算法簇是一种“单向”操作）。对于给定...
...很多关于 RLN 规范、验证和如何识别约束不足系统的复杂知识。我的数学背景在帮助我理解这些复杂概念时证明是无价的。人们总是说，“数学是宇宙的语言”！但说真的，这些东西是谁想出来的？此外，我对 ZKP 原语攻击向量...
...或者相对复杂，使用复杂的密码原语，例如安全乘法和零知识证明，如 ECDSA 的情况。 **_一般来说，阈值签名有三个阶段：_** - 分布式密钥生成 (DKG)， - 分布式签名，以及 - 主动化，即密钥轮换/刷新。 每个阶段都有自己独特...
...配对依赖于处理笛卡尔积和域扩展的双线性映射。在为零知识证明编写领域特定语言时，通常使用“域元素”或素数伽罗瓦域的元素进行计算。 下次再见。 >- 原文链接： [jtriley.substack.com/p/g...](https://jtriley.substack.com/p/group-th...
...易的双方资讯还是公开的。 Ethereum 上面有许多基于[零知识证明的解决方案](https://learnblockchain.cn/categories/zkp/)都在试着建立可以提供保密支付的功能，今天要介绍的 Aztec 就是其中之一。  项目尝试填补这方面的空白，它意在成为一种生成...
...保整个过程的安全性与 Layer 1 保持一致。ZK Rollup 以 **零知识证明 zk-SNARKs** 的密码学技术确保安全性，而 Optimistic Rollup 则继承了 Plasma 的 **惩罚机制** ，以确保节点如果作恶将付出很大的代价。 ![以太坊扩容最热门主力方案 Rol...
...的原则。 在此之前，业界先驱Filecoin提出过使用VDF和零知识证明的算法实现的复制证明。相比，我们的算法实现起来非常的简单，并且可以运行在超低规格的服务器上，比如树莓派。 除此以外，EPoW可以在复制数据的同时也...