こちらは、ZK回路における健全性バグの発見に関する私の新しい記事で、Circom、Cairo、Rustの具体的な例を紹介しています。リンクが返信できました。
リンク:
169