ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Mon 星期一 月曜日
03.24
2025
https://ethresear.ch/t/transpiling-a-halo2-circuit-into-ccs/21963
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为例给出了基准测试结果。 pnyda2は、zcash/halo2サーキットをCCSサーキットに変換するトランスパイラであるhalo2 ccs+をリリースし、Poseidonハッシュを用いたベンチマーク結果を提供しました。
https://vasekrozhon.wordpress.com/2025/03/17/zero-knowledge-proofs/
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ň发布了关于零知识证明的入门讲解，有趣的是利用彩色电路讲解零知识证明中的可满足性问题。 Václav Rozhoňがゼロ知識証明の入門書をリリースしました。特筆すべきは、色付き回路（colored circuits）を用いてゼロ知識証明における充足可能性問題（satisfiability problem）を説明している点です。