Spartan In Depth 作者:白菜标签:Sumcheck,IPA,GKR,Hyrax,VSM,Spice,Spark,Spartan时间:2023-10-06TableofContentTableofContentMotivationIntroductionVSMin Spartan Nova 零知识证明 白菜 发布于 2023-10-08 7102 3 0
Spartan 预备知识：Hyrax Thanks感谢SecbitLabs@郭宇前两个月分享的SpartanOverview(尽管当时也没太理解)，以及@even在研究方向上的指引(据说Hyrax不太好啃)，不至于走太多弯路。Motivation缘于folding，缘于NOVA，缘于Setty，了解到了Sp Hyrax Spartan 零知识证明 白菜 发布于 2023-09-19 5154 1 0
Spartan 预备知识：GKR with ZK Argument Thanks感谢SecbitLabs@郭宇前两个月分享的SpartanOverview(尽管当时也没太理解)，以及@even在研究方向上的指引(据说Hyrax不太好啃)，不至于走太多弯路。我的动机缘于folding，缘于NOVA，缘于Setty，了解到了Spartan， GKR Hyrax Spartan 白菜 发布于 2023-09-17 9364 0 0
利用无界单跳声明破坏Jolt验证器 本文揭示了Jolt透明/非ZK验证器中的一个soundness漏洞：在uni-skip优化中，验证器未检查证明提供的输出声明是否与提交的单变量多项式在挑战点r0处的求值一致。 Jolt uni-skip soundness漏洞 零知识证明 sumcheck Spartan zksecurity 发布于 2026-05-09 311 0 0
