Công cụ hợp đồng

arkworks algebra

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

Xác minh

arkworks-rs/algebra https://crates.io/crates/ark-serialize

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

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.