Railgun

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.

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.

Semaphore là một giao thức không tri thức cho các bằng chứng thành viên nhóm riêng tư, cho phép phát tín hiệu và xác thực ẩn danh mà không tiết lộ danh tính.