컨트랙트 도구Halo2ZK 회로 및 프라이버시프라이버시 중심 · 확장성 · 개발자 경험 · 검증privacy-scaling-explorations/halo2(252 ☆) (새 탭에서 열림)Zcash의 Halo2 PLONK 증명 시스템을 재설계한 PSE의 포크로, 경제적인 레이어 1 (l1) 검증을 위한 Solidity 검증자가 있는 KZG 백엔드, 다중 타원 곡선 지원, 분리된 프런트엔드/백엔드 아키텍처를 특징으로 합니다.관련 리소스ZK EmailZK Email은 온체인에서 수정된 이메일 기록에 대한 사실을 증명하기 위한 회로 및 SDK를 제공합니다. 받은 편지함을 노출하지 않고 프라이버시를 보호하는 신원 또는 영수증 확인을 원할 때 유용합니다.RailgunRailgun은 영지식 증명을 통해 차폐된 트랜잭션과 프라이빗 탈중앙화 금융 (DeFi) 상호 작용을 제공하는 이더리움 및 EVM 네트워크용 프라이버시 프로토콜입니다.NoirNoir는 Aztec에서 유지 관리하는 개발자 친화적인 구문과 도구를 사용하여 영지식 회로를 작성하기 위한 Rust에서 영감을 받은 언어입니다.snarkjssnarkjs는 영지식 스나크 증명을 생성 및 검증하고 Node.js 및 브라우저에서 일반적인 증명 워크플로를 실행하기 위한 JavaScript 및 CLI 툴킷입니다.AztecAztec은 프로그래밍 가능한 프라이버시 및 영지식 증명을 갖춘 애플리케이션을 구축하기 위한 프라이버시 우선 이더리움 롤업 및 개발자 플랫폼입니다.CircomCircom은 영지식 증명 시스템에 사용되는 산술 회로를 작성하고 컴파일링하기 위한 도메인 특화 언어 및 컴파일러입니다.
