2推荐

902浏览

Spartan In Depth

作者:白菜标签:Sumcheck,IPA,GKR,Hyrax,VSM,Spice,Spark,Spartan时间:2023-10-06TableofContentTableofContentMotivationIntroductionVSMin

• 0
• 白菜 发布于 2023-10-08 11:40

0推荐

1327浏览

比特币 ZK Rollups 你想了解的都在这

比特币即将迎来 Zero-knowledge rollups

• 0
• CKBFans 发布于 2023-09-28 19:56

1推荐

1164浏览

Spartan 预备知识：Hyrax

Thanks感谢SecbitLabs@郭宇前两个月分享的SpartanOverview(尽管当时也没太理解)，以及@even在研究方向上的指引(据说Hyrax不太好啃)，不至于走太多弯路。Motivation缘于folding，缘于NOVA，缘于Setty，了解到了Sp

• 0
• 白菜 发布于 2023-09-19 23:33

0推荐

987浏览

零知识证明 - 说说Nova

Nova算法是一种针对IVC（增量可验证计算，Incrementally Verifiable Computation）的新型的零知识证明算法。

• 0
• Star Li 发布于 2023-08-28 21:36

0推荐

1338浏览

CycleFold Based Nova

背景下面这张图是revisitingnova中非常经典的描述cyclecurves的图：通过上面这张图，我们可以有以下共识：我们通常称上面一层电路为primary电路，下面一层电路为secondary电路。以secondary电路为例，secondary电路需要把prima

• 0
• 白菜 发布于 2023-08-27 00:40

1推荐

848浏览

【Plonk SNARK】Plonk IOP协议

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

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

3推荐

711浏览

KZG10 与 Pairing

通过一天的交流学习大概弄清了KZG10与Pairing的勾迹关系，对PCS也有了更进一步认识，这里记录一下它们之间的逻辑关系。Thanks感谢@KurtPan博和@miles的热心交流讨论，让我重新认识了“椭圆曲线group上的标量乘法”与“椭圆曲线group上的元素乘法

• 0
• 白菜 发布于 2023-08-03 16:36

1推荐

1580浏览

友好的零知识介绍

在本文中，作者用一个形象的例子"沃尔多在哪里"给我们介绍零知识证明的概念、进而说明为什么要关注ZKP以及它们何时有用。我们还了解了它们的工作原理，以及它们为我们提供了哪些属性。并探讨了一些当前和未来可能应用

• 1
• 翻译小组 发布于 2023-07-21 18:51

0推荐

987浏览

全盘解析零知识证明扩容方案的先行者 zkSync Era

本文将介绍第一个上线主网使用 zk-rollup 技术的二层网路 zkSync 从公链本身介绍到生态项目的发展，从基本面、数据面再到生态系做全盘的解析。

• 0
• DODO研究院 发布于 2023-06-16 16:07

1推荐

2010浏览

如何创建一个 ZK 智能合约

如何创建 零知识证明并在Solidity 合约中验证

• 6
• 翻译小组 发布于 2023-06-14 16:34

0推荐

1131浏览

RLN:零知识证明防女巫方案简介

RLN:零知识证明防女巫方案简介

• 0
• 古千峰 发布于 2023-06-14 09:25

0推荐

851浏览

零知识证明：应用和具体用例

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，

• 1
• Chainlink 发布于 2023-06-07 14:31

0推荐

1192浏览

Espresso Systems简介

高耗费和和低隐私是Web3用户当今主要的痛点，也是未来的采用和创新的最大障碍。Espresso Systems正在创造的扩容隐私方案能为Web3应用带来崭新可能。

• 0
• 马特区块链 发布于 2023-05-11 21:56

2推荐

1602浏览

安比实验室创始人郭宇：ZK 技术的学习心得和经验分享

ZKP和zkSNARK是密码学里一个非常重要的分支，在以太坊的发展过程中异常强大，是以太坊可扩展性未来的途径。

• 2
• 郭宇@安比实验室 发布于 2023-04-26 09:30

1推荐

1410浏览

ZK-SNARKs中的算术化

零知识证明（ZKP）正在因其在代理计算给不受信任的服务器，解决去中心化账本的可扩展性问题等方面的诸多应用而逐渐变得流行起来。

• 0
• XPTY 发布于 2023-04-19 16:17