白菜的文章 - 登链社区

一键转载

TA的文章 TA购买的 TA喜欢的 TA收藏的

Circle Stark: from a new Starker

circle stark: perspective from a new stark

STARK FFT circle group

更新于2024-08-16 13:51 阅读(545) 点赞(0) ( 23 )

verify pairings on bitcoin

pairings bn254 recursive snark

更新于2024-05-17 08:48 阅读(932) 点赞(0) ( 14 )

BLS12-381 理论与实现

Pairings, KZG, SNARK

pairings zkSNARK KZG

更新于2024-05-07 16:34 阅读(1659) 点赞(0) ( 132 )

Spartan In Depth

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

Spartan Nova 零知识证明

更新于2023-10-08 12:01 阅读(1839) 点赞(3) ( 19 )

Spartan 预备知识：Hyrax

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

Hyrax Spartan 零知识证明

更新于2023-09-22 15:09 阅读(2087) 点赞(1) ( 8 )

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

GKR Hyrax Spartan

更新于2023-09-17 12:18 阅读(2073) 点赞(0) ( 11 )

【上篇】ProtoStar from scratch

Thanks十分感谢@AntalphaLabs上月底提供的线下hackerhouse，有机会亲历并学习SecbitLabs@郭宇老师、@even做zkresearch的思路和方法，并讨论了很多foldingscheme相关的问题非常感谢参加hackerhouse一起交流

folding Nova protostar

更新于2023-09-07 22:48 阅读(1810) 点赞(0) ( 6 )

CycleFold Based Nova

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

零知识证明 Nova

更新于2023-08-28 10:55 阅读(2271) 点赞(0) ( 4 )

NOVA from scratch

写在前面的时隔两个多月终于有机会给NOVAresearch做个了结，期间一直没有机会读revisitingnova，认真读完之后感触比较深，写点儿东西记录下来，也算给自己之前的research一个交待。当然期间也不乏出现hypernova/protostar这些可能更接近“真实战场”的

Nova folding zkSNARK

更新于2023-08-24 22:42 阅读(2343) 点赞(2) ( 19 )

【Plonk SNARK】Plonk IOP协议

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

PLONK 零知识证明 zkSNARK

更新于2023-08-07 17:50 阅读(1769) 点赞(1) ( 2 )