Novel approach to detect bugs in ZKP circuits using algebraic computation.
アルゴリズムを使用してZKP回路のバグを検出する新しい代数計算手法が導入されました。