第 4 课 练习 ​

Halo2 基本应用 - 成员证明 ​

利用 Halo2 的基本 API 尝试完成成员证明的工作 ---- 对于承诺的成员小组，我可以证明我属于他们。

Halo2 基本逻辑 - 判零及分支 ​

我们需要实现以下简单的逻辑：

if a > b { a - b } else { c };

if a > b { a - b } else { c };

Halo2 高级应用 - 压缩 Poseidon 函数 ​

你是否可以将现有的 Poseidon 函数减少列去实现？