...人，前阿里巴巴 JVM 专家。专注于智能合约编程语言、零知识证明密码学研究。*
...重要。这也可以包括额外的审计数据，如有效性证明、零知识证明或大型欺诈证明。 * **支持完整的去中心化 Web 体验**：Walrus 可以托管完整的去中心化 Web 体验，包括所有资源（如 JS、CSS、HTML 和媒体）。这些不仅提供内容，还...
...约代码的执行、gas 记账、内存和状态。众所周知，在零知识（ZK）中执行和证明它非常困难。在过去的几年里，Buterin 和其他研究人员一直在探索创建 ZK 友好的 EVM 版本的方法，称为 ZKEVM。 _**（有关 ZK、ZKEVM 及其对扩展的好处...
...，旨在增强密码学家实现高级算法和协议的能力——从零知识证明 (ZKPs) 开始——具有卓越的性能和易用性。它标志着朝着与硬件无关的密码学解决方案迈出的重要一步，确保在各种硬件平台上实现无缝兼容，且切换成本为零。 ...
...技术主线：执行层升级加速、链间协作机制重构、以及零知识路径的标准化转型。 这就是 Berlinterop —— 一场延续“interop hacking week”传统、但更深度锚定以太坊下一阶段技术主线的线下研发集会。 **主线一：Fusaka 升级，开...
...Justin Thaler 介绍了基于交互式证明的 SNARK（简洁非交互式知识论证）的设计，重点讨论了如何利用交互式证明构建 SNARK，特别是在电路可满足性问题上的应用。 ### 核心内容概括 1. **SNARK 定义**：SNARK 是“简洁非交互式知识论...
...Verfier合约进⾏数学验证。 **欺诈证明虽然不能像零知识证明那样具有⾼度的简洁性，但Arbitrum使⽤了⼀种“多轮分割-单步证明”的轮流式交互流程，最终需要证明的仅仅是单⼀的虚拟机操作码，成本相对较⼩。** ### ...
...d-Solomon接近交互式证明）及其在构建SNARKs（简洁非交互式知识论证）中的应用。讲座的核心内容包括FRI的定义、其工作原理以及如何利用FRI构建基于代码的SNARKs。 ### 核心内容概述： 1. **FRI的定义**：FRI是一种高效的交互式证明...
...光学字符识别技术结合起来，完成 KYC 身份验证流程并零知识存储上链。 ### **b. 认证层-大规模降低用户使用门槛** 目前大多数web3社交应用认证方式均为connect wallet，钱包则是依靠助记词进行公私钥登录， 或者mpc登录。想要...
...目前的状态。数据储存在区块链上，会使用一种叫做“零知识证明”的隐私保障技术，只有协议中的各方才能读懂数据。这个证明是各方对业务流程状态的共同参考框架，比如买家和卖家之间约定的折扣条款。 ### 永久记录 ...
...证明系统 大多数Rollup使用复杂的证明系统如乐观或零知识证明与以太坊进行通信。这些系统引入了显著的开销和复杂性，而对大多数用户来说并不必要。Signet 通过市场促进跨链转移，而不是将资产“证明”回到以太坊。 这...
...配对依赖于处理笛卡尔积和域扩展的双线性映射。在为零知识证明编写领域特定语言时，通常使用“域元素”或素数伽罗瓦域的元素进行计算。 下次再见。 >- 原文链接： [jtriley.substack.com/p/g...](https://jtriley.substack.com/p/group-th...
...全性。 此外，乐观 Rollup 的欺诈证明过程和 zk Rollup 的零知识证明验证都发生在以太坊网络上。 这也意味着以太坊网络赋予智能合约 Rollup 状态最终性，因此，共享以太坊网络作为结算层的 Rollup 网络可以轻松地构建一个最小信...
该repository作为本人读书笔记, 记录知识的获取, 以blog的形式记录下来. 该文库我会不断更新, 如果喜欢的话麻烦点一下`star`. 由于文章由markdown的方式编写, 部分链接与图片显示可能存在问题, 大家可以移步到[github源](https://github.co...
## 写在前面 在零知识证明（如 FRI、STARK 等）和多项式承诺场景中，我们经常需要对**多个矩阵**的数据进行批量承诺和验证。传统的 Merkle Tree 主要用于向量（单列数据）的承诺，但在实际工程中，我们常常需要对**不同高...