...算跟踪，而是转变成使用它们来实现一个通用的 SNARK 零知识证据验证器（这是 Robin 一开始就打算使用 BitVM 实现的核心元件之一）。不再将裸的输入传进裸的计算踪迹中、用一个又一个位于叶子脚本中的门来运行，BitVM 2 实例的...
...下zkSNARK这个拗口的技术到底是什么鬼。 ## 什么是零知识证明 要了解zkSNARK，必须先理解什么是零知识证明。 关于零知识证明，概念并不难理解，我们以一个老掉牙的故事作为例子。 阿里巴巴被强盗抓住，为了保命，...
...的证明”而来的人——让我们开始吧。 ### ZK-VM 代表零知识虚拟机。 它证明程序被正确执行。 - “程序”可以是任何程序。 在我们的例子中，“meow（喵）”是一个程序。 该程序通常用用户友好的语言编写，如 Solidity、Rust...
> 本文由Kurt Pan听译 ## Part1简介 两个零知识库`Plonky2`和`Starky`，代表了构建更高性能SNARKs/STARKs的新方法。Plonky2 是一个结合了Plonk和FRI的库，Starky 专注于运行基于AIR的STARKs，且支持对其的递归验证。该方法可以总结为，使用**...
...根式后的式子进行低度测试进行证明。 `zk-stark`意为零知识—可拓展的—透明的—知识论证，在区块链上的应用前景备受瞩目。它不仅能提供隐私功能，还能提供无需信任第三方的扩容功能。下面将从一个具体问题出发对 `zk-st...
...户程序的核心协议。它包装了 Varuna（Aleo 基于 Marlin 的零知识证明系统），并为用户提供了一个高级接口来部署和执行程序，并为网络提供验证正确部署和执行的接口。 理论上，合成器支持第三种流程，即费用收集流程，该流...
.../learnblockchain.cn/2019/04/18/learn-zkSNARK)（一种非交互的自适应知识论证），我们就可以向一个或多个验证者提供一个简短的证明，证明我们对某些私人数据和函数(f)有特定的知识。现在让我们一起来了解使用 zkSnark 创建零知识证明的...
...东西，变成了一个青少年用来制作游戏的东西。 ## 零知识 近年来，我们见证了一个计算的新时代的兴起。我们有像以太坊和比特币这样的区块链，每秒处理几十个操作，每年[gas](https://learnblockchain.cn/2019/06/11/gas-mean)要耗费...
...维度上，让更多人获得帮助。 前一段时间，介绍了[零知识证明的入门知识](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)，通过 QSP 问题证明来验证另外一个 NP 问题的解。最近在看 QAP 问题相关的文章和资料，这篇文章分享一下 QAP...
...Rollup 有哪两种类型？ **一般来说，Rollup 有两种类型，零知识 (ZK) Rollup 和 Optimistic Rollup。** ##### **1. 零知识 Rollup (ZK Rollup)** **零知识 Rollup (ZK Rollup)** 使用有效性证明。每批交易都包含一个加密证明，称为简洁非交互式知识论证...
...2](https://img.learnblockchain.cn/attachments/migrate/1731487638636) 零知识证明在近 40 年中取得了显著的发展，达到了前所未有的复杂性和效率水平。如今，每天都有新的论文和项目涌现，建立在丰富的思想和创新基础之上。 **想知道这...
### 智能合约审计要点：凭借专业知识和安全性驾驭 Web 3 格局 使用区块链平台，智能合约审计在确保去中心化应用程序的安全性和可靠性方面发挥着关键作用。 这些审计是例行检查，也是开发过程中不可或缺的一部分，可保护...