...态。今天，Hibachi 拥有解密密钥，但这将会改变。 ### 零知识证明确保诚实 虽然数据已加密，但 Hibachi 使用 [SP1](https://learnblockchain.cn/article/19269/) 生成 ZK 证明来验证： - 所有交易都遵循交易所规则 - 发生了正确的订单匹配 - 用...
... Papers ### 【论文速递】Crypto 2024 （多项式承诺、SNARKs、零知识证明、数据可用性采样、后量子聚合签名） - ### Improved Lattice Blind Signatures from Recycled Entropy - ### Raccoon: A Masking-Friendly Signature Proven in the Probing Model - ### Identity-Based En...
...算跟踪，而是转变成使用它们来实现一个通用的 SNARK 零知识证据验证器（这是 Robin 一开始就打算使用 BitVM 实现的核心元件之一）。不再将裸的输入传进裸的计算踪迹中、用一个又一个位于叶子脚本中的门来运行，BitVM 2 实例的...
...处理任何大小的数据计算，并在任何区块链上无缝验证零知识 (ZK) 证明。 Brevis 需要高性能的 ZK 证明来突破智能合约的局限性，并显著降低实施复杂、数据密集型功能相关的成本，因此决定使用 Ingonyama 的 ICICLE 加速库。 （一种非交互的自适应知识论证），我们就可以向一个或多个验证者提供一个简短的证明，证明我们对某些私人数据和函数(f)有特定的知识。现在让我们一起来了解使用 zkSnark 创建零知识证明的...
...下zkSNARK这个拗口的技术到底是什么鬼。 ## 什么是零知识证明 要了解zkSNARK，必须先理解什么是零知识证明。 关于零知识证明，概念并不难理解，我们以一个老掉牙的故事作为例子。 阿里巴巴被强盗抓住，为了保命，...
...户程序的核心协议。它包装了 Varuna（Aleo 基于 Marlin 的零知识证明系统），并为用户提供了一个高级接口来部署和执行程序，并为网络提供验证正确部署和执行的接口。 理论上，合成器支持第三种流程，即费用收集流程，该流...
...根式后的式子进行低度测试进行证明。 `zk-stark`意为零知识—可拓展的—透明的—知识论证，在区块链上的应用前景备受瞩目。它不仅能提供隐私功能，还能提供无需信任第三方的扩容功能。下面将从一个具体问题出发对 `zk-st...
...东西，变成了一个青少年用来制作游戏的东西。 ## 零知识 近年来，我们见证了一个计算的新时代的兴起。我们有像以太坊和比特币这样的区块链，每秒处理几十个操作，每年[gas](https://learnblockchain.cn/2019/06/11/gas-mean)要耗费...
...化的声誉系统。 **3. 隐私保护** 通过选择性披露与零知识证明（ZKP），DID 用户可以只证明“我超过18岁”，而无需公开出生日期。 **4. 社交与治理** 在链上社区、DAO、身份投票、Sybil 攻击防御等场景中，DID 提供了可信的基...
...维度上，让更多人获得帮助。 前一段时间，介绍了[零知识证明的入门知识](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)，通过 QSP 问题证明来验证另外一个 NP 问题的解。最近在看 QAP 问题相关的文章和资料，这篇文章分享一下 QAP...