Lambdaworks

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.

Circomは、ゼロ知識証明システムで使用される算術回路を記述およびコンパイルするためのドメイン固有言語およびコンパイラです。