next colearning

[Demian101]

@qizhou ：

Ethereum future technology learning together

[Demian101]

@kurtpan666 ：
https://github.com/Plonky3/Plonky3 , 可以学Plonky2/Plonky3，顺便就学了STARK（FRI）。
工程上可以zkVM/Cairo；理论上可以zk-learning后半部分，包括Brakedown/Aurora/Ligero/Shockwave等。
再往后共学可以folding/lookup argument专题，
再长期来说，lattice-based cryptography （FHE/Signature/Commitment/ZKP) 迟早得学。

[Demian101]

@luckyyang

能不能结合pse的项目加理论进行共学

最后大家基于他们的项目做个新功能什么的

zkemail是pse重点扶植的项目，我们和他们也有合作关系。项目本身比较适合应用开发的工程师，学习它的电路可能有点多，不过开发的话只需要写合约，不太需要写电路

[Demian101]

@dajuguan :

RISC Zero的手撕STARK https://blog.csdn.net/mutourend/article/details/134363908

要不下期共学这个，哈哈

感觉可以，都在STARK/zkVM这个框里

[dajuguan]

@dajuguan :

RISC Zero的手撕STARK https://blog.csdn.net/mutourend/article/details/134363908

要不下期共学这个，哈哈

感觉可以，都在STARK/zkVM这个框里

嗯，不管学啥，期待下期尽快组织起来啊

[readygo67]

ganrk 最近的进展很快，目前已经支持基本plonk 的聚合，递归。是否可以学习gnark 的 plonk 代码，或者基于plonk 开发的简单的应用，例如zkemail？ https://github.com/Consensys/gnark

[qizhou]

Polygon Miden大家有想学习吗？

[dajuguan]

ganrk 最近的进展很快，目前已经支持基本plonk 的聚合，递归。是否可以学习gnark 的 plonk 代码，或者基于plonk 开发的简单的应用，例如zkemail？ https://github.com/Consensys/gnark

这个也不错，PSE最近也推出了一些zk的奖励申请计划，可以结合这些边学边练边赚

[dajuguan]

Polygon Miden大家有想学习吗？

这个学STARK也很好啊，starkVM一起学了，哈哈

[DonaldJun]

ganrk 最近的进展很快，目前已经支持基本plonk 的聚合，递归。是否可以学习gnark 的 plonk 代码，或者基于plonk 开发的简单的应用，例如zkemail？ https://github.com/Consensys/gnark

希望有一期有一定深度的，前面几期都是在入门级别徘徊。感觉这个不错~

[Demian101]

细化了一下大家的建议，有大概这些方向可以做：

• STARK101
• gnark - 学习其 plonk 代码，基于 plonk 开发的简单的应用
• RISC Zero 的手撕 STARK
• zkemail 的进阶学习 (learn & dev)
• Plonky2/Plonky3
• zkVM STEP BY STEP. (ZERO KNOWLEDGE VIRTUAL MACHINE STEP BY STEP)
• zk-learning 后半部分
• Polygon Miden

[Demian101]

@kurtpan666

ethstark/plonky2/risc0/miden 感觉这四个项目应该一起学，同时解决两个问题：如何结合plonk算术化和FRI；如何搭建ZKVM

还有https://neptune.cash/
https://www.olavm.org/

每一波热点都会出来一波类似架构的项目
所以还可以组织zk+BTC L2不同细分approach的topic (但可能等下一期有更多落地之后会更合适）
还有Jolt，lookup singularity的zkvm，paper中了欧密，所以估计5月左右（之前）肯定会出来第一版实现

[Demian101]

目前投票比较多的是这 3 个 topic:

1. https://github.com/Plonky3/Plonky3
2. RISC Zero 的手撕 STARK: https://blog.csdn.net/mutourend/article/details/134363908
3. zkVM STEP BY STEP. (ZERO KNOWLEDGE VIRTUAL MACHINE STEP BY STEP)

我现在比较头秃的是学习路径的设计，比如 1/2 如何入手，是不是需要先学 STARK101 作为基础？或者有一些 RISC-0 的基础?

(假设我们面向的对象是有一定 zkp 基础的同学（比如参加过第 1/3 期共学，知道一些 Basic 的 concepts)

如何去切入 1/2 这 2 个主题可能是我目前感觉束手无策的点，期待给一些建议！