Přejít na hlavní obsah
Nástroje pro kontrakty

Circom

ZK obvody a soukromí

Visit website (otevře se v nové záložce)Circom on GitHub (otevře se v nové záložce)

See next

Plonky3

About 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

Info

Typ
ZK obvody a soukromí
GitHub stars
1,7 tis.

Související zdroje

ZK Email

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 (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.

arkworks algebra

arkworks algebra

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.