Replies: 33 comments 7 replies
-
|
已完成作业123 https://github.com/doutv/baby-plonk |
Beta Was this translation helpful? Give feedback.
-
|
已完成作业123
|
Beta Was this translation helpful? Give feedback.
-
|
As you said "the results of Z(wX) g(X) - Z(X) f(X) and z(X) f(X) - z(wX) g(X) are different", but the constraint said Z(wX) g(X) - Z(X) f(X)=0, and then z(X) f(X) - z(wX) g(X)=0. So if the constraint holds always, should they be same? and why should you use one rather than use the other one? |
Beta Was this translation helpful? Give feedback.
-
|
z(X) f(X) - z(wX) g(X) = 0 only when X in When we expand the scope of X to |
Beta Was this translation helpful? Give feedback.
-
|
|
Beta Was this translation helpful? Give feedback.
-
|
Simba已完成作业123: https://github.com/liqi16/baby-plonk |
Beta Was this translation helpful? Give feedback.
-
|
seemly no change? |
Beta Was this translation helpful? Give feedback.
-
|
I added my code to the TODO lines in the homework_1,2,3 branch. Could you possibly see the change? |
Beta Was this translation helpful? Give feedback.
-
|
MJ's homework 1/2/3: https://github.com/mjzk/baby-plonk-homework |
Beta Was this translation helpful? Give feedback.
-
|
jonathan's homework 1/2/3: https://github.com/jonathanxuu/baby-plonk |
Beta Was this translation helpful? Give feedback.
-
|
sgz's homework1/2/3: https://github.com/sgz13140/baby-plonk |
Beta Was this translation helpful? Give feedback.
-
|
Eric's homework1/2/3: |
Beta Was this translation helpful? Give feedback.
-
|
pippen's homework 1/2/3 |
Beta Was this translation helpful? Give feedback.
-
|
ddl's homework: |
Beta Was this translation helpful? Give feedback.
-
|
Dust's homework: |
Beta Was this translation helpful? Give feedback.
-
|
MeloAlright's homework Just tried my best to get hands dirty and understand other classmates' commit to make it |
Beta Was this translation helpful? Give feedback.
-
|
Synia's homework: |
Beta Was this translation helpful? Give feedback.
-
|
Eta‘ s homework: Verifier test success |
Beta Was this translation helpful? Give feedback.
-
|
Eta‘ s homework 1/2/3: |
Beta Was this translation helpful? Give feedback.
-
|
max's homework: |
Beta Was this translation helpful? Give feedback.
-
Beta Was this translation helpful? Give feedback.
-
|
max's homework: https://github.com/max65536/baby-plonk/tree/plonkup |
Beta Was this translation helpful? Give feedback.
-
|
林's homework: |
Beta Was this translation helpful? Give feedback.
-
|
补充了附加作业plonkup，实现了查询向量的一个Demo，详见： |
Beta Was this translation helpful? Give feedback.
-
|
ywz's homework: https://github.com/Wenzhou-Yang/baby-plonk |
Beta Was this translation helpful? Give feedback.
-
|
ddl homework https://github.com/hellojason3/baby-plonk |
Beta Was this translation helpful? Give feedback.
-
|
bofu zhang (bogu)完成作业：https://github.com/bofu2007/baby-plonk |
Beta Was this translation helpful? Give feedback.
and others
-
一共有三个小作业, 目标是补充 baby plonk 中缺失的代码, 包含 setup, prover 和 verifier 相关的部分.
作业目标:
可以结合上课的讲义和代码来完成.
baby plonk 代码: https://github.com/Antalpha-Labs/baby-plonk
作业 1: 完成 setup.py 的 SRS 生成
homework_1分支setup.pyTODO部分代码poetry run python test.py测试运行通过的 log:
作业 2: prover 完成多项式约束的构建
homework_2分支prover.pyTODO部分代码poetry run python test.py作业 3: verifier 完成验证
homework_3分支verifier.pyTODO部分代码poetry run python test.py附加作业: 添加 plonkup
按照课程内容和讲义, 给 baby plonk 添加 plonkup
Beta Was this translation helpful? Give feedback.
All reactions