Công cụ hợp đồng

snark-verifier (Axiom)

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

Xem trên GitHub

Xem tiếp

Anon Aadhaar

Giới thiệu về snark-verifier (Axiom)

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.

Thẻ

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

Kho lưu trữaxiom-crypto

snark-verifier106 (mở trong tab mới)

Góihttps:

/crates.io/crates/snark-verifier (mở trong tab mới)

Thông tin

Loại: Mạch ZK & quyền riêng tư
Số sao trên GitHub: 106
Giấy phép: Apache-2.0
Đã đánh giá mục niêm yết: tháng 9 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.