白菜的文章 - 登链社区

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 阅读(1261) 点赞(0) ( 23 )

verify pairings on bitcoin

pairings bn254 recursive snark

发布于 2024-05-17 08:48 阅读(1613) 点赞(0) ( 14 )

BLS12-381 理论与实现

Pairings, KZG, SNARK

pairings zkSNARK KZG

发布于 2024-04-30 15:45 阅读(3037) 点赞(0) ( 132 )

Spartan In Depth

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

Spartan Nova 零知识证明

发布于 2023-10-08 11:40 阅读(3991) 点赞(3) ( 19 )

Spartan 预备知识：Hyrax

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

Hyrax Spartan 零知识证明

发布于 2023-09-19 23:33 阅读(2947) 点赞(1) ( 8 )

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

GKR Hyrax Spartan

发布于 2023-09-17 12:18 阅读(6366) 点赞(0) ( 11 )

【上篇】ProtoStar from scratch

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

folding Nova protostar

发布于 2023-09-06 17:39 阅读(3377) 点赞(0) ( 6 )

CycleFold Based Nova

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

零知识证明 Nova

发布于 2023-08-27 00:40 阅读(3636) 点赞(0) ( 4 )

NOVA from scratch

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

Nova folding zkSNARK

发布于 2023-08-21 23:21 阅读(4370) 点赞(2) ( 19 )

【Plonk SNARK】Plonk IOP协议

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

PLONK 零知识证明 zkSNARK

发布于 2023-08-07 11:05 阅读(3239) 点赞(1) ( 2 )