Contract tooling

Circom-MPC

ZK circuits & privacy

Zorientowane na prywatność · Szyfrowanie

Projekt badawczy PSE umożliwiający wykorzystanie języka Circom do tworzenia aplikacji MPC. Skompilowane arytmetyczne i logiczne obwody MPC przy użyciu Circom z integracją backendu MP-SPDZ dla aplikacji uczenia maszynowego.

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