Nástroje pro kontrakty

Circom

ZK obvody a soukromí

Navštívit webové stránky

Zobrazit další

arkworks algebra

O Circom

Circom je doménově specifický jazyk a kompilátor pro psaní a kompilaci aritmetických obvodů používaných v systémech důkazů s nulovou znalostí.

Štítky

Kompilátor
CLI
Zaměřeno na soukromí

Repozitářiden3

circom1,7 tis. (otevře se v nové záložce)

Informace

Typ: ZK obvody a soukromí
Hvězdičky na GitHubu: 1,7 tis.
Licence: GPL-3.0
Záznam zkontrolován: červenec 2026

Podobné nástroje

ZK Email

ZK Email poskytuje obvody a SDK pro dokazování faktů o redigovaných e-mailových přepisech onchain. Užitečné, když chcete ověřování identity nebo stvrzenek se zachováním soukromí bez odhalování doručené pošty.

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 je sada nástrojů v JavaScriptu a CLI pro generování a ověřování důkazů ZK-SNARK a pro spouštění běžných pracovních postupů dokazování v Node.js a v prohlížeči.