...SC Zero zkVM——一个利用RISC-V架构进行安全和私密计算的零知识虚拟机。 虽然我们为RISC Zero完成了多次安全审核，但我们的安全合作不仅限于审核。 在这篇博客文章中，我们强调了我们是如何合作的，使用**Picus**，Veridise的自动...
...的证明”而来的人——让我们开始吧。 ### ZK-VM 代表零知识虚拟机。 它证明程序被正确执行。 - “程序”可以是任何程序。 在我们的例子中，“meow（喵）”是一个程序。 该程序通常用用户友好的语言编写，如 Solidity、Rust...
...算跟踪，而是转变成使用它们来实现一个通用的 SNARK 零知识证据验证器（这是 Robin 一开始就打算使用 BitVM 实现的核心元件之一）。不再将裸的输入传进裸的计算踪迹中、用一个又一个位于叶子脚本中的门来运行，BitVM 2 实例的...
...下zkSNARK这个拗口的技术到底是什么鬼。 ## 什么是零知识证明 要了解zkSNARK，必须先理解什么是零知识证明。 关于零知识证明，概念并不难理解，我们以一个老掉牙的故事作为例子。 阿里巴巴被强盗抓住，为了保命，...
> 本文由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 创建零知识证明的...
...维度上，让更多人获得帮助。 前一段时间，介绍了[零知识证明的入门知识](https://learnblockchain.cn/2019/04/18/learn-zkSNARK/)，通过 QSP 问题证明来验证另外一个 NP 问题的解。最近在看 QAP 问题相关的文章和资料，这篇文章分享一下 QAP...
...东西，变成了一个青少年用来制作游戏的东西。 ## 零知识 近年来，我们见证了一个计算的新时代的兴起。我们有像以太坊和比特币这样的区块链，每秒处理几十个操作，每年[gas](https://learnblockchain.cn/2019/06/11/gas-mean)要耗费...