Contract tooling

Verifiable UBT

ZK circuits & privacy

프라이버시 중심 · 검증

통합 이진 트라이(UBT) 및 머클 패트리샤 트라이 상태 업데이트가 이더리움 블록마다 일치하는지 검증하는 재귀적 zkVM 증명을 생성합니다. 라이트 클라이언트 및 비공개 정보 검색을 위한 무신뢰 상태 검증을 가능하게 합니다.

Related resources

ZK Email

ZK Email은 온체인에서 수정된 이메일 기록에 대한 사실을 증명하기 위한 회로 및 SDK를 제공합니다. 받은 편지함을 노출하지 않고 프라이버시를 보호하는 신원 또는 영수증 확인을 원할 때 유용합니다.

Railgun

Railgun은 영지식 증명을 통해 차폐된 트랜잭션과 프라이빗 탈중앙화 금융 (DeFi) 상호 작용을 제공하는 이더리움 및 EVM 네트워크용 프라이버시 프로토콜입니다.

snarkjs

snarkjs는 영지식 스나크 증명을 생성 및 검증하고 Node.js 및 브라우저에서 일반적인 증명 워크플로를 실행하기 위한 JavaScript 및 CLI 툴킷입니다.

Noir

Noir는 Aztec에서 유지 관리하는 개발자 친화적인 구문과 도구를 사용하여 영지식 회로를 작성하기 위한 Rust에서 영감을 받은 언어입니다.

Circom

Circom은 영지식 증명 시스템에 사용되는 산술 회로를 작성하고 컴파일링하기 위한 도메인 특화 언어 및 컴파일러입니다.

Aztec

Aztec은 프로그래밍 가능한 프라이버시 및 영지식 증명을 갖춘 애플리케이션을 구축하기 위한 프라이버시 우선 이더리움 롤업 및 개발자 플랫폼입니다.