合约工具

RISC Zero risc0-ethereum

ZK 电路与隐私

验证 · 可扩展性 · SDK

risc0/risc0-ethereum https://crates.io/crates/risc0-ethereum-contracts

risc0-ethereum holds the integration libraries and verifier contracts for using the RISC Zero zkVM with Ethereum and other EVM chains. Teams proving computation off chain import these crates to settle the resulting proofs onchain.

相关资源

ZK Email

ZK Email 提供电路和 SDK，用于在链上证明关于已编辑电子邮件副本的事实。当你需要保护隐私的身份或收据检查，而又不想暴露收件箱信息时，它非常有用。

Self Protocol

Self Protocol 提供了开放的身份和证明基元，当构建者需要与钱包或凭证绑定的保护隐私的验证流程时，可以将其嵌入。

zkTLS/ TLSNotary

zkTLS / TLSNotary 是一个开放协议，用于通过 MPC 证明 TLS 会话的属性，以便验证者可以在不查看完整明文的情况下信任副本。

Circom

Circom 是一种领域特定语言和编译器，用于编写和编译零知识证明系统中使用的算术电路。

snarkjs

snarkjs 是一个 JavaScript 和 CLI 工具包，用于生成和验证 zk-SNARK 证明，以及在 Node.js 和浏览器中运行常见的证明工作流。

Semaphore

Semaphore 是一个用于私密群组成员资格证明的零知识协议，可在不泄露身份的情况下实现匿名信号发送和身份验证。