1推荐

413浏览

zk-SNARKs 在 Solidity 中的使用

本文章主要讲述了如何在 Solidity 中使用 zk-SNARKs，以及如何使用 ZoKrates 编译器来生成证明和验证合约。

• 1
• BoxChen 发布于 2023-09-07 15:16

1推荐

1940浏览

什么是 零知识证明：ZK-SNARKs？|Tokenview

零知识证明（Zero-knowledgeproofs）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。

• 1
• Tokenview 发布于 2022-12-23 20:22

0推荐

1159浏览

Vitalik: zk-SNARK 何以可能 —— 引介杀手锏“多项式承诺”

本文介绍了 zk-SNARK 技术的工作原理和难点、多项式以及多项式承诺如何让 zk-SNARK 的实现更加高效。

• 0
• Vitalik Buterin 发布于 2022-09-05 11:58

0推荐

2159浏览

zkSnark教程：从方程到验证

使用zkSnark（一种非交互的自适应知识论证），我们就可以向一个或多个验证者提供一个简短的证明，证明我们对某些私人数据和函数(f)有特定的知识。

• 0
• ChinaDeFi 去中心化金融社区 发布于 2022-07-13 14:34

1推荐

1678浏览

zkREPL：一个zkSNARKs 在线开发环境

在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。

• 0
• XPTY 发布于 2022-06-23 12:12

1推荐

1155浏览

聚焦：ZK-SNARK 技术

这篇文章将关注ZK-SNARK如何适应现有的应用程序，有哪些例子说明它们能做什么，不能做什么，以及有哪些通用的指导方针来判断ZK-SNARK是否适合某些特定的应用程序。

• 0
• ChinaDeFi 去中心化金融社区 发布于 2022-06-23 08:54

3推荐

2518浏览

理解Groth16，一些细节上的说明

为什么要从R1CS转化到QAP？

• 0
• hsyodyssey 发布于 2022-04-02 23:45

1推荐

2663浏览

zkSNARK实践（四）—— merkle证明

merkle树在区块中应用非常广泛，比如比特币SPV节点，使用merkle树来验证一笔交易是否在区块中。

• 1
• stirlingx 发布于 2021-12-03 17:06

1推荐

2768浏览

zkSNARK实践（三）—— 哈希函数的证明

哈希是一种常用的密码学工具，它可以把一个无限大的数据空间映射到另一个有限的数值空间。由于它的不可逆性，常用来隐藏一些信息。现在我们来分析一下怎么证明这类问题。

• 0
• stirlingx 发布于 2021-12-03 17:01

1推荐

2121浏览

zkSNARK实践（二）——指数方程的证明

zkSNARK实践（二）——指数方程的证明

• 0
• stirlingx 发布于 2021-11-19 15:40

0推荐

2370浏览

区块链中的数学 - Halo2 Circuit

本文介绍另一种基于plonk的proof system--halo2，目前看到基于plonk的工程实现有三种:bellman, dusk, halo2.

• 0
• blocksight 发布于 2021-09-06 10:10

0推荐

3318浏览

区块链中的数学 - Baby Jubjub Elliptic Curve

本文将介绍一种新的椭圆曲线实例-- Baby Jubjub Elliptic Curve。

• 2
• blocksight 发布于 2021-08-01 11:01

0推荐

5957浏览

彻底读懂零知识证明及其实现方法：解析zk-SNARK

zk-SNARK 是如何实现零知识证明的

• 1
• 李画 发布于 2020-11-02 22:02

0推荐

5158浏览

零知识证明介绍

在接下来一个系列的文章中将为你一一介绍，从零知识证明的概念一直到零知识证明背后的密码学实现。

• 3
• 吴寿鹤 发布于 2020-06-30 12:03

3推荐

4261浏览

[译]几种通用的zk-SNARKs 实现的比较

几种通用的zk-SNARKs 实现的比较

• 0
• 石头 发布于 2020-02-20 21:11