Halo2

Obwody ZK i prywatność

Zobacz na GitHubie

Zobacz następne

p0tion

O Halo2

Przeprojektowane przez PSE rozwidlenie systemu dowodów Halo2 PLONK od Zcash, zawierające backend KZG z weryfikatorem w Solidity dla ekonomicznej weryfikacji na warstwie 1 (L1), obsługę wielu krzywych eliptycznych oraz oddzieloną architekturę frontend/backend.

Tagi

Zorientowane na prywatność
Skalowalność
Doświadczenie dewelopera
Weryfikacja

Repozytoriumprivacy-scaling-explorations

halo2250 (otwiera się w nowej karcie)

Informacje

Typ: Obwody ZK i prywatność
Gwiazdki na GitHubie: 250
Przegląd wpisu: lipiec 2026

Podobne narzędzia

ZK Email

ZK Email dostarcza obwody i SDK do dowodzenia faktów na temat zredagowanych transkryptów e-mail onchain. Przydatne, gdy chcesz zachować prywatność tożsamości lub sprawdzić pokwitowania bez ujawniania (doxxingu) skrzynek odbiorczych.

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 to język dziedzinowy i kompilator do pisania i kompilowania obwodów arytmetycznych używanych w systemach dowodów z wiedzą zerową.