Halo2

ZK obvody a soukromí

Zobrazit na GitHubu

Zobrazit další

p0tion

O Halo2

Přepracovaný fork systému důkazů Halo2 PLONK od Zcash vytvořený PSE, který obsahuje KZG backend s ověřovatelem v Solidity pro ekonomickou verifikaci na vrstvě 1 (l1), podporu více eliptických křivek a oddělenou architekturu frontendu a backendu.

Štítky

Zaměřeno na soukromí
Škálovatelnost
Vývojářská zkušenost
Verifikace

Repozitářprivacy-scaling-explorations

halo2250 (otevře se v nové záložce)

Informace

Typ: ZK obvody a soukromí
Hvězdičky na GitHubu: 250
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.

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