...主要有三种方法来让 LLM(large language model) 推理可验证：零知识证明、乐观欺诈证明和加密经济学。每个都有其自己的安全性和成本影响。 ### AI学习，开始于此 https://linklearner.com/home **Caos**: 数据驱动的 AI 学习网站，包含了...
...ollups）的框架。使开发人员能够以最小的学习曲线构建零知识隐私保护应用程序。 该框架本身由[O1JS](https://www.npmjs.com/package/o1js)，用于构建 zkApps 的 SDK。得益于 O1JS，所有使用 Protokit 构建的应用程序在设计上都与 Mina 区块链...
...，需要解题者对 STARK 证明的整个逻辑步骤有较为清晰的知识。 来回顾一下题目：Alice使用 STARK 电路写了一个斐波那契数列的计算程序，能够同时生成 STARK 证明并验证。某天她收到了一个错误的证明，计算出数列的第32项等于1...
...数据量和 Gas 费。而实现证明的路线又分为欺诈证明和零知识证明。 欺诈证明本质上是一个信任系统。你发送一笔交易，证明人会发表一个证明：你发送交易的计算结果是 A。这个证明出来的结果默认是正确的，但有一定时间...
...与混币后的加密货币之间创建随机的联系，我们将使用零知识证明来解决在不暴露相关信息的情况下，证明加密货币所有权的问题。 ## 为什么需要混币/隐私币 最主要的原因是混币帮我们解决了匿名与隐私以及货币可互换性...
...该示例代码前，请仔细阅读libsnark的源代码分析： [零知识证明 - libsnark源代码分析](https://learnblockchain.cn/2019/08/15/libsnark-source) 唯一有点遗憾的，libsnark没有给个完整的电路构造实例，入门者想搭建自己的电路，刚开始有点摸...
## **介绍 Noir：零知识的通用语言**  经历了 18 个月的开发，我们很高兴地介绍 Noir：零知识证明的语言。 Noir 是一种基于 Rust 的特定领域语言 (DSL)，用于创建和验证零知识证明...
...洁的方式，使用Rust编写add-ons无缝接入Node生态。 ### 零知识证明 在SSL 中的潜在应用 https://mp.weixin.qq.com/s/_IH870XfDKB83NAE2zHuHA **Shooter**: DECO利用三方握手协议，将预主密钥分成两个加性分片，分别由客户端和第三方验证者持有...
前一段时间，介绍了几篇零知识证明文章：[入门zkSNARK](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)， [从 QSP 到 QAP](https://learnblockchain.cn/2019/05/07/qsp-qap/)，[Groth16 算法介绍](https://learnblockchain.cn/2019/05/27/groth16/)， 今天这篇文章分享下...
...间。* ## 引言 隐私性和可扩展性研究团队都在填补零知识证明的前沿研究和以太坊应用开发之间的空白。 我们最近研究的一个重点领域是 [zkopru](https://zkopru.network/)（使用零知识证明的 optimistic rollup），这是一套为隐私交...
...克拉克所著名所说）。一个像科幻小说般进展的领域是零知识证明（或 ZKP），这是一种解决 web3 中两个关键挑战的加密工具：[可扩展性](https://zksync.io/) 和 [隐私](https://aztec.network/)。特别是，ZKPs 可能是降低交易费用、设计新的...
... ## **二. Groth16 算法** ### **1 算法特点** - **类型**：零知识SNARK 协议，基于 Pairing + R1CS（Rank-1 Constraint System）。 - **最大亮点**：证明体积极小（几十到几百字节），验证时间短。 ### **2.算法复杂度** - **生成证明**：为一...
...。Lagrange Labs 正在构建粘合剂，以帮助安全地扩展基于零知识证明的互操作性。_  ## ZK 大数据栈： Lagrange Labs ZK 大数据栈是一种专有的证明构造，优化用于与任意动态分...
# 以太坊L2扩容方案与零知识证明 ## 简介 - 简要概述以太坊L2层现有解决方案 - 简要概述以太坊L2未来扩容的方向 - 简要概述零知识证明的基本概念和零知识证明在以太坊的运用 - 简要概述stark ware的两个产品，但并不推...
...协议的设计。本专栏介绍了 V3 的智能合约架构。 [**零知识证明之书**](https://learnblockchain.cn/column/117) 零知识证明之书， 对程序员友好的零知识证明教程.这里有关于从头开始实际编写实用的零知识证明器和验证器（ZK-SNARK）...