Contract tooling

Halo2

ZK circuits & privacy

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

privacy-scaling-explorations/halo2(250 ☆)

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.

Related resources

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.

Railgun

Railgun to protokół prywatności dla Ethereum i sieci EVM, który zapewnia osłonięte transakcje i prywatne interakcje DeFi za pomocą dowodów z wiedzą zerową.

snarkjs

snarkjs to zestaw narzędzi JavaScript i CLI do generowania i weryfikacji dowodów zkSNARK oraz do uruchamiania typowych przepływów pracy dowodzenia w Node.js i przeglądarce.

Noir

Noir to inspirowany Rustem język do pisania obwodów z wiedzą zerową z przyjazną dla deweloperów składnią i narzędziami utrzymywanymi przez Aztec.

Circom

Circom to język dziedzinowy i kompilator do pisania i kompilowania obwodów arytmetycznych używanych w systemach dowodów z wiedzą zerową.

Aztec

Aztec to stawiający na prywatność rollup Ethereum i platforma deweloperska do budowania aplikacji z programowalną prywatnością i dowodami z wiedzą zerową.