合约工具

powdr

ZK 电路与隐私

验证 · 性能优化

powdr-labs/powdr https://crates.io/crates/powdr-number

powdr is a toolkit for accelerating and hardening zkVMs by moving specific computations into custom circuits. Teams running a zkVM use it to generate custom precompiles and check constraints, and its authors still describe the code as experimental.

相关资源

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