Công cụ hợp đồng

SP1 (Succinct)

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

Xác minh · Khả năng mở rộng · Lớp 2

succinctlabs/sp1 https://crates.io/crates/sp1-primitives

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program 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.