...工作，所以后来创建了这个库帮助开发和调试。 ### 零知识证明 - 说说Binius 零知识证明 - 说说Binius **Shooter**: Binius是个新颖的零知识证明系统，目的是降低证明者的计算开销。Binius能降低证明开销的原因是使用了F_2以及扩...
... 保密转账 保密转账是由Token2022引入的一项功能，利用零知识证明加密SPL代币的余额和交易金额。此功能的主要焦点是通过强调保密性而非匿名性来改善用户隐私。 保密转账利用 [Twisted ElGamal 加密](https://spl.solana.com/confidential-to...
...是简洁的。本文描述了如何实现这一点。 对于R1CS的零知识证明是通过将见证向量转换为[有限域椭圆曲线点](https://learnblockchain.cn/article/11316)，并将Hadamard乘积替换为每一行的[双线性配对](https://learnblockchain.cn/article/11321)。 给...
...在扩大其业务，专注于整个区块链领域中的新兴领域和零知识证明的应用。之前，我们专注于以太坊，并对零知识证明如何为以太坊生态系统贡献进行了 [研究](https://www.polyhedra.network/research)，并构建了 zkBridge（ [https://zkbridge.com/...
...作加速了隐私解决方案的构思和实施，特别是那些使用零知识证明的解决方案。我们现在正处于一个关键的隐私构件从研究阶段进入生产阶段的时期：[**Semaphore**](https://github.com/kobigurk/semaphore)，一种匿名信号传递的手段。 Semapho...
在本次讲座中，Kelly Olson探讨了零知识证明（ZKP）的硬件加速，重点介绍了其重要性、当前行业状态及未来发展方向。 **核心内容概括：** 讲座首先定义了硬件加速的概念，强调其在提高零知识证明生成效率方面的重要性。随...
...早接触 zk-SNARK 开始，就断断续续得学习了一些 zk-SNARK 的知识，但对其原理始终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明...
## zkevm 介绍 zkEVM旨在设计并实现一种解决方案，通过零知识证明来验证以太坊执行模块（通常指Layer2执行）。该项目目标是实现与以太坊EVM的100%兼容性。这是一个由社区贡献和拥有的开源项目，主要包含两个方面： ### zkRoll...
...2.png) 为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。关于ZKP（零知识证明）先进形式化验证的总体情况，请查阅我们同期发布的“零知识证明区块链的先进形式化验证”...
...数据量和 Gas 费。而实现证明的路线又分为欺诈证明和零知识证明。 欺诈证明本质上是一个信任系统。你发送一笔交易，证明人会发表一个证明：你发送交易的计算结果是 A。这个证明出来的结果默认是正确的，但有一定时间...
...变化需求的方法和技术。在现代加密协议如 **zkTLS**（零知识传输层安全）出现之前，隐私和数据验证主要依赖更传统的方法，依靠信任、物理验证和集中系统来处理。 在古代，隐私主要通过物理障碍或社会规范维护。例如，...
...上共享输入和模型，从而损害隐私。 ZKML 是一种基于零知识 (ZK) 的机器学习 (ML) 系统，零知识是一种加密方法，允许一方向另一方证明他们知道一条信息或已正确执行计算，而无需泄露信息本身或任何信息。有关计算的详细信...
## **在ZK中证明Ethereum完整节点**  ### **主要要点** > — 证明Ethereum PoS的完整节点对构建zkBridge和任何在Ethereum上的互操作协议至关重要。同步委员会对于这些目的来说是不...
... L1 某个智能合约的事务。 “ZK” 这个前缀指的是 “零知识证明（zero knowledge）”，不过，zk rollup 往往不能保护隐私 —— 所有的事务都会默认公开，就像 Optimistic rollup 一样。使用 “zk” 这个前缀是因为这些系统所依赖的 *有...
在本次视频中，Uma Roy和Tracy讨论了RISC-V zkVM（零知识虚拟机）的工作原理及其应用。视频的核心内容围绕zkVM的定义、工作流程以及其在区块链和加密领域的潜在用途展开。 ### 核心内容概括 1. **zkVM的定义**：zkVM代表零知识虚拟...