Công cụ hợp đồng

ZK-Kit

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

Truy cập trang web

Xem tiếp

snark-verifier (Axiom)

Giới thiệu về ZK-Kit

Một monorepo gồm các Thư viện không tri thức có thể tái sử dụng trên nhiều ngôn ngữ (JavaScript, Solidity, Rust, Noir), cung cấp các bản triển khai đã được kiểm thử kỹ lưỡng của các nguyên thủy mật mã học như cây Merkle, Mã băm Poseidon và nhiều thứ khác.

Thẻ

Tập trung vào quyền riêng tư
SDK
Cây Merkle
Mã hóa

Kho lưu trữprivacy-scaling-explorations

zk-kit385 (mở trong tab mới)

Thông tin

Loại: Mạch ZK & quyền riêng tư
Số sao trên GitHub: 385
Giấy phép: MIT
Đã đánh giá mục niêm yết: tháng 7 năm 2026

Các công cụ tương tự

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.

SP1 (Succinct)

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.

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.