Công cụ hợp đồng

Circom

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

Truy cập trang web

Xem tiếp

arkworks algebra

Giới thiệu về 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.

Thẻ

Trình biên dịch
CLI
Tập trung vào quyền riêng tư

Kho lưu trữiden3

circom1,7 N (mở trong tab mới)

Thông tin

Loại: Mạch ZK & quyền riêng tư
Số sao trên GitHub: 1,7 N
Giấy phép: GPL-3.0
Đã đá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.

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.