search

z2o-k7e / z2o-k7e.github.io

https://learn.z2o-k7e.world/
61 stars 27 forks source link

next colearning #32

Open Demian101 opened 8 months ago

Demian101 commented 8 months ago

@qizhou ：

Ethereum future technology learning together

image

Demian101 commented 8 months ago

@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 commented 7 months ago

@luckyyang

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

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

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

Demian101 commented 7 months ago

@dajuguan :

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

要不下期共学这个，哈哈

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

dajuguan commented 6 months ago

@dajuguan :

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

要不下期共学这个，哈哈

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

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

readygo67 commented 6 months ago

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

qizhou commented 6 months ago

Polygon Miden大家有想学习吗？

dajuguan commented 6 months ago

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

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

dajuguan commented 6 months ago

Polygon Miden大家有想学习吗？

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

DonaldJun commented 6 months ago

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

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

Demian101 commented 5 months ago

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

Demian101 commented 5 months ago

@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 commented 5 months ago
image

目前投票比较多的是这 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 个主题可能是我目前感觉束手无策的点，期待给一些建议！