2推荐

1788浏览

零知识证明的力量：深入理解zk-SNARK

zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。

• 3
• DODO研究院 发布于 2023-11-02 17:01

1推荐

1835浏览

Circom 语言教程与 circomlib 演示

Circom 语言教程与 circomlib 演示

• 0
• 翻译小组 发布于 2023-10-31 18:35

1推荐

1403浏览

zk-SNARKs 在 Solidity 中的使用

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

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

1推荐

841浏览

【Plonk SNARK】Plonk IOP协议

本系列专题将基于@郭宇老师的视频、讲义及相关论文，系统梳理一下PlonkSNARK的各个组件，尽量做到代码级地剖析深度。预期将涵盖以下几个章节：PlonkIOP协议实现zerokownledge实现Non-Interactivelookup特性Thanks感谢@郭宇老师

• 1
• 白菜 发布于 2023-08-07 11:05

4推荐

2674浏览

科普: 零知识证明, SNARK与STARK 及使用场景

零知识证明使用场景分析，在 Rollup 之外，还可以应用在哪？

• 1
• 翻译小组 发布于 2023-04-15 12:00

1推荐

3452浏览

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

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

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

0推荐

1879浏览

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

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

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

0推荐

2999浏览

zkSnark教程：从方程到验证

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

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

1推荐

2605浏览

zkREPL：一个zkSNARKs 在线开发环境

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

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

1推荐

1646浏览

聚焦：ZK-SNARK 技术

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

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

3推荐

3646浏览

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

为什么要从R1CS转化到QAP？

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

1推荐

3474浏览

zkSNARK实践（四）—— merkle证明

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

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

1推荐

3775浏览

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

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

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

1推荐

2652浏览

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

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

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

0推荐

3382浏览

区块链中的数学 - Halo2 Circuit

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

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