pnyda2 released halo2 ccs+, a transpiler that converts zcash/halo2 circuits to CCS circuits, and provided a benchmark result with poseidon hash. pnyda2发布了halo2 ccs+,一个将zcash/halo2电路转换为CCS电路的转译器,并以poseidon hash为例给出了基准测试结果。
Václav Rozhoň released an introduction to zero-knowledge proofs, interestingly explaining the satisfiability problem in zero-knowledge proofs using colored circuits. Václav Rozhoň发布了关于零知识证明的入门讲解,有趣的是利用彩色电路讲解零知识证明中的可满足性问题。