コントラクトツールCircomZK回路とプライバシーコンパイラ · CLI · プライバシー重視ウェブサイト （新しいタブで開きます）iden3/circom(1696 ☆) （新しいタブで開きます）Circomは、ゼロ知識証明システムで使用される算術回路を記述およびコンパイルするためのドメイン固有言語およびコンパイラです。関連リソースZK EmailZK Emailは、編集されたメールのトランスクリプトに関する事実をオンチェーンで証明するための回路とSDKを提供します。受信トレイを晒すことなく、プライバシーを保護した身元確認やレシートの確認を行いたい場合に便利です。SP1 (Succinct)SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.snarkjssnarkjsは、ZK-SNARK証明を生成および検証し、Node.jsおよびブラウザで一般的な証明ワークフローを実行するためのJavaScriptおよびCLIツールキットです。arkworks algebraarkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.Plonky3Plonky3 is a toolkit of polynomial IOP building blocks for constructing custom SNARK and STARK proving systems, and several zkVM projects build on it. Rust builders add the p3 crates when writing their own proving system.SemaphoreSemaphoreは、プライベートなグループメンバーシップ証明のためのゼロ知識プロトコルであり、アイデンティティを明らかにすることなく匿名のシグナリングと認証を可能にします。
