ZoKrates

ZK Email cung cấp các mạch và SDK để chứng minh các sự kiện về bản ghi email đã được bôi đen trên chuỗi. Hữu ích khi bạn muốn kiểm tra danh tính hoặc biên lai bảo vệ quyền riêng tư mà không làm lộ hộp thư đến.

Railgun là một giao thức quyền riêng tư cho các mạng lưới Ethereum và EVM cung cấp các giao dịch được che chắn và các tương tác DeFi riêng tư với Bằng chứng không kiến thức.

snarkjs là một bộ công cụ JavaScript và CLI để tạo và xác minh các bằng chứng ZK-SNARK, cũng như để chạy các quy trình chứng minh phổ biến trong Node.js và trình duyệt.

Noir là một ngôn ngữ lấy cảm hứng từ Rust để viết các mạch không tri thức với cú pháp thân thiện với nhà phát triển và công cụ được duy trì bởi Aztec.

Circom là một ngôn ngữ đặc thù miền và trình biên dịch để viết và biên dịch các mạch số học được sử dụng trong các hệ thống bằng chứng không kiến thức.

Aztec là một Rollup Ethereum ưu tiên quyền riêng tư và nền tảng dành cho nhà phát triển để xây dựng các ứng dụng với quyền riêng tư có thể lập trình và các bằng chứng không kiến thức.