...光学字符识别技术结合起来，完成 KYC 身份验证流程并零知识存储上链。 ### **b. 认证层-大规模降低用户使用门槛** 目前大多数web3社交应用认证方式均为connect wallet，钱包则是依靠助记词进行公私钥登录， 或者mpc登录。想要...
...技术主线：执行层升级加速、链间协作机制重构、以及零知识路径的标准化转型。 这就是 Berlinterop —— 一场延续“interop hacking week”传统、但更深度锚定以太坊下一阶段技术主线的线下研发集会。 **主线一：Fusaka 升级，开...
...Verfier合约进⾏数学验证。 **欺诈证明虽然不能像零知识证明那样具有⾼度的简洁性，但Arbitrum使⽤了⼀种“多轮分割-单步证明”的轮流式交互流程，最终需要证明的仅仅是单⼀的虚拟机操作码，成本相对较⼩。** ### ...
...Justin Thaler 介绍了基于交互式证明的 SNARK（简洁非交互式知识论证）的设计，重点讨论了如何利用交互式证明构建 SNARK，特别是在电路可满足性问题上的应用。 ### 核心内容概括 1. **SNARK 定义**：SNARK 是“简洁非交互式知识论...
...目前的状态。数据储存在区块链上，会使用一种叫做“零知识证明”的隐私保障技术，只有协议中的各方才能读懂数据。这个证明是各方对业务流程状态的共同参考框架，比如买家和卖家之间约定的折扣条款。 ### 永久记录 ...
...d-Solomon接近交互式证明）及其在构建SNARKs（简洁非交互式知识论证）中的应用。讲座的核心内容包括FRI的定义、其工作原理以及如何利用FRI构建基于代码的SNARKs。 ### 核心内容概述： 1. **FRI的定义**：FRI是一种高效的交互式证明...
...全性。 此外，乐观 Rollup 的欺诈证明过程和 zk Rollup 的零知识证明验证都发生在以太坊网络上。 这也意味着以太坊网络赋予智能合约 Rollup 状态最终性，因此，共享以太坊网络作为结算层的 Rollup 网络可以轻松地构建一个最小信...
...证明系统 大多数Rollup使用复杂的证明系统如乐观或零知识证明与以太坊进行通信。这些系统引入了显著的开销和复杂性，而对大多数用户来说并不必要。Signet 通过市场促进跨链转移，而不是将资产“证明”回到以太坊。 这...
该repository作为本人读书笔记, 记录知识的获取, 以blog的形式记录下来. 该文库我会不断更新, 如果喜欢的话麻烦点一下`star`. 由于文章由markdown的方式编写, 部分链接与图片显示可能存在问题, 大家可以移步到[github源](https://github.co...
...Wb3Eg.png) ## 解数独——不泄露你的答案 我越是研究零知识证明（ZKP），就越觉得它们是解决更注重隐私的世界的方案——它们真是太棒了！ 通过 zkSnark——一种非交互式的知识自适应论证——我们提供了一个从证明者到多...
...配对依赖于处理笛卡尔积和域扩展的双线性映射。在为零知识证明编写领域特定语言时，通常使用“域元素”或素数伽罗瓦域的元素进行计算。 下次再见。 >- 原文链接： [jtriley.substack.com/p/g...](https://jtriley.substack.com/p/group-th...
## 写在前面 在零知识证明（如 FRI、STARK 等）和多项式承诺场景中，我们经常需要对**多个矩阵**的数据进行批量承诺和验证。传统的 Merkle Tree 主要用于向量（单列数据）的承诺，但在实际工程中，我们常常需要对**不同高...
...应用它。 **SNARK 设计中的挑战。** Jolt 是一个 zkVM（零知识虚拟机）——一种让证明者能够证明其正确运行了指定计算机程序的 SNARK，其中程序是用某种简单 CPU 的汇编语言编写的。zkVM 提供了极好的开发者体验：它使得任何能...
...已被使用过... > > **在这种情况下，很难想到如何应用零知识证明。** > > 我们试图证明不存在某物，这似乎需要了解所有内容并检查是否未包含该物。 > > — 中本聪 [^1] ``` 自从比特币的创造者中本聪首次考虑如何使用零知识 (zk)...
...第一部分：寻找 G1 和 G2 椭圆曲线 (EC) 配对广泛应用于零知识证明 (ZKP) 以及更广泛的密码学领域。 大多数 ZK 学习资源建议将其内部运作视为一个黑盒，并专注于它们在不同证明系统中的应用。 这种方法通常足以满足初学者和...