Contract tooling

Halo2

ZK circuits & privacy

Tập trung vào quyền riêng tư · Khả năng mở rộng · Trải nghiệm nhà phát triển · Xác minh

privacy-scaling-explorations/halo2(250 ☆)

Bản phân nhánh được thiết kế lại của PSE từ hệ thống bằng chứng Halo2 PLONK của Zcash, có backend KZG với trình xác minh Solidity để xác minh lớp 1 (l1) tiết kiệm, hỗ trợ nhiều đường cong elliptic và kiến trúc frontend/backend tách rời.

Related resources

ZK Email

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

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

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

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

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

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.