Công cụ hợp đồng

snark-verifier (Axiom)

Mạch ZK & quyền riêng tư

Xác minh · Solidity · Tối ưu hóa gas

axiom-crypto/snark-verifier https://crates.io/crates/snark-verifier

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

Tài nguyên liên quan

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.

Self Protocol

Self Protocol cung cấp các nguyên thủy về danh tính mở và bằng chứng mà các nhà xây dựng có thể nhúng vào khi họ cần các luồng xác minh bảo vệ quyền riêng tư gắn liền với ví hoặc thông tin xác thực.

zkTLS/ TLSNotary

zkTLS / TLSNotary là một Giao thức mở để chứng minh các thuộc tính của phiên TLS bằng MPC để các trình xác minh có thể tin tưởng các bản ghi mà không cần xem toàn bộ văn bản thuần túy.

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.

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.

Semaphore

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.