Circom

ZK Emailは、編集されたメールのトランスクリプトに関する事実をオンチェーンで証明するための回路とSDKを提供します。受信トレイを晒すことなく、プライバシーを保護した身元確認やレシートの確認を行いたい場合に便利です。

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.

snarkjsは、ZK-SNARK証明を生成および検証し、Node.jsおよびブラウザで一般的な証明ワークフローを実行するためのJavaScriptおよびCLIツールキットです。