-
Notifications
You must be signed in to change notification settings - Fork 9
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Halo2 As A Compiler Series #38
Comments
"^ 为共学增加一些topic:我们想以Halo2作为一款编译器为视角,研究从算数化到最后proof generation的流程,还有一些外围的部件。看看大家有没有兴趣参与其中? 我觉得可以先以slides方式做demonstration,然后组织成为一个系列文集。" "^ To add some topics for collaborative learning: We want to take a compiler perspective on Halo 2, studying the process from arithmeticization to final proof generation, as well as some peripheral components. Let's see if anyone is interested in participating? I think we can start with a demonstration in slides format and then organize it into a series of articles." https://palm-isthmus-1e4.notion.site/Halo2-As-A-Compiler-Series-21f07032ca35450fad310de9aa1feee6 Q: cool,对标circom+snarkjs工具链? 然后就还有一些零零散散的库 z2o-k7e , 很关键! |
ref: https://hackmd.io/OKIEOMF-TQqKaJIzYzGLQQ From the above figure, we could find some analogy between a zk prove system and a compiler for general purpose.
|
@Demian101 : Hi Frank ,看到你已经写完了 Frontend 这一 Chapter 你提到研究各种 library,就是指让大家根据各自的兴趣,去 research 下 halo2 的生态组件,然后作为一些参考资料,不断补充到这个框架里面是嘛 ~ 感觉有点像 https://halo2.club 的扩充版 [Wow] @ Frank: 对的,感兴趣的话我们可以列一下什么和halo2结合比较紧密的库。 |
@frank Jz Liu: "Halo 2" series articles (WIP), corrections welcome.
https://hackmd.io/OKIEOMF-TQqKaJIzYzGLQQ
https://hackmd.io/c6Yj4qmNTsaRADs8b4IsBQ
The text was updated successfully, but these errors were encountered: