STARK零知识证明系统的理解采用github page分享给感兴趣的小伙伴： https://trapdoor-tech.github.io/zkstark-book/ 一切从zkHack的puzzle说起。解题的过程也是ZK-STARK的学习过程。 [零知识证明 - zkHack mini挑战赛第一名](https://learnblockchain.cn/a...
...言具体的，实现了 ZK Rollup 的项目，其采用了 ZK-SNARK 的零知识证明算法（经过 Boojum 升级后变为 ZK-STARK 的算法）。根据其官方所讲，其具有以下特点： * 可靠的安全性（继承自以太坊的安全性），对第三方零依赖（这个没看懂...
...露的信息越多，被滥用的风险就越高。 \-\-\- 什么是零知识证明 (ZKP)？ 零知识证明 (Zero-Knowledge Proof, ZKP) 允许一方（证明者）向另一方（验证者）证明某个陈述是真实的，而无需泄露证明它的底层秘密或数据。 \-\-\- ## 在区块...
...本文是系列文章的第五部分，该系列文章逐步介绍理解零知识证明如何工作的必要数学预备知识。**它解释了什么是循环群，以及为什么由于离散对数问题的难度，它们通常用于密码学。** ### 预备知识 在阅读本文之前，你...
### 介绍 零知识证明，也称为 ZKP，由于其在将计算委托给不受信任的服务器以及解决去中心化账本中的可扩展性问题方面的众多应用而变得越来越流行。通过使用 ZKP，我们可以证明给定计算的有效性，而无需泄露敏感信息，并...
# 零知识证明的概念： 零知识证明技术 可以 [模拟]出一个第三方，保证某一个论断是可信的。 举一个例子，我已经年满18岁已经成年了，我只要给出我的身份证（假设身份证上没有我的出生年月）。验证方也可以凭借此来判断...
...。人们经常使用“ZK 证明”这个术语来指代实际上不是零知识的简洁论证。类似地，ZK-rollups 通常不使用零知识证明，而只是使用简洁的证明。 ### 给人民群众的BLS12-381指南 https://cryptography.land/2023/07/01/bls12381-restofus#fieldext...
...部分：seal commit，epost和post。总的来说，GPU目前用来做零知识证明的加速。对于V20的版本的seal commit，普通的服务器CPU，耗时2个小时多。一块2080ti的GPU，将时间压缩到1个小时以下。因为epost和post过程参与共识，对时间有要求，用...
...战者会受到奖励。 另一种方法就是基于密码学的“零知识证明”。假设我有一个程序，运行它非常耗时，我的计算机资源有限，所以想让别人来帮我运行它。但是我怎样才能知道别人真的执行了程序，而不是捏造了假的结果...
...earnblockchain.cn/2019/12/06/002.jpg) ## 总结： 目前有一些零知识证明证明的框架，框架中的电路都由R1CS描述电路。J-R1CS提出了一种R1CS电路导出的格式。zkInterface更进一步，提供了多种框架下的电路的转换。 本文作者为深入浅...
...ack的Puzzle是我比较喜欢的活动。通过实例编码深入理解零知识证明的细节是比较高效的学习方式。zkHack V前几天已经开始了。这篇文章分析一下第一道题目： https://zkhack.dev/zkhackV/puzzleV1.html ### 1. 题目 有一个验证...
...的，以及为什么它们被认为是以太坊扩展的未来？ **零知识 (ZK) rollup 是一种 Layer 2 扩展解决方案，旨在增强以太坊的吞吐量，同时保持低 gas 成本。** 它通过利用 ZK 证明来验证交易批次的正确性。 在本文中，我们将探讨 ZK ...
... ## 前言 在过去的几个月中，我在以太坊上利用了零知识证明(尤其是zk-SNARKs)创建了几个[简单的dApp](https://github.com/kendricktan/simple-zk-rollups)。 我在创建DApp时，几乎没有什么零知识证明资料可供参考，因此我想在博客文章中...
...包”交易，并将“打包”后的交易数据连同一个 SNARK 零知识证明发布到链上。交易的合法性由链上智能合约通过零知识证明来验证，负责“打包”的操作者不可能发布恶意或无效的交易。这样就能做到一次性执行一批链下交易...