主页

Daily Hunting of The SNARK (02/22/23)

@rkm0959:超椭圆曲线的故事,包括@secconctf,@pb_ctf和隐藏阶群 https://rkm0959.tistory.com/285 @julesdesmit:大家好! 我用小于1000行代码完成了supernova的通用实现(包括放松版的R1CS )。 它可以支持多种类型的算术化! https://github.com/jules/supernova @yezhang1998:zkEVM 可以说已成为以太坊扩容的黄金标准技术。 在本文中,我想分享我们在构建 zkEVM 时吸取的一些经验教训,以及我们如何考虑不同的权衡。 https://hackmd.io/@yezhang/B167uMZRs https://mp.weixin.qq.com/s/Gbcyb...

阅读更多

Daily Hunting of The SNARK (02/19/23)

StarkWareSessions2023 https://www.youtube.com/playlist?list=PLcIyXLwiPilUs4PiBinyL2ker2oEFT-mc @nico_mnbl: 最近更新了这个! https://nmohnblatt.github.io/zk-jargon-decoder/foreword.html 新外观:移动到了 mdbook 新条目:Oracle、PLONKish ,并完成了许多空条目,例如 Nullifier、Polynomial Commitment Scheme、Threshold Encryption 改进了一些现有条目,如 R1CS 密码学工具 作者将常用的一些密码学工具的 Web 版,比...

阅读更多

使用 SNARKs 批处理 ECDSA 签名

原文:Batch ECDSA in SNARKs 作者:John Guibas, Uma Roy 译者:Kurt Pan 我们带来了 circom-batch-ECDSA,一个基于circom-ECDSA(由0xPARC 社区中其他人之前完成的工作)之上的概念验证实现,其灵感来自halo2-batch-ECDSA,它允许在单个 SNARK 中显著更快地验证一批 ECDSA 签名。

阅读更多