컨트랙트 도구

ZoKrates

ZK 회로 및 프라이버시

컴파일러 · CLI · 프라이버시 중심

Zokrates는 이더리움의 영지식 스나크(zkSNARK)를 위한 도구 상자로, DSL, 컴파일러, 그리고 신뢰할 수 있는 설정, 증명 생성 및 검증자 통합을 위한 유틸리티를 제공합니다.

관련 리소스

ZK Email

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

zkTLS/ TLSNotary

zkTLS / TLSNotary는 검증자가 전체 일반 텍스트를 보지 않고도 기록을 신뢰할 수 있도록 MPC를 사용하여 TLS 세션의 속성을 증명하기 위한 개방형 프로토콜입니다.

ZKPassport

영지식 증명을 사용한 비공개 신원 확인입니다. 개인 정보를 공개하지 않고 나이, 국가 또는 인격 증명을 확인합니다. 통합 및 온체인 레지스트리 컨트랙트를 위한 SDK를 갖춘 모바일 우선 설계입니다.

Self Protocol

Self Protocol은 빌더가 지갑이나 자격 증명에 연결된 프라이버시 보존 검증 흐름이 필요할 때 포함할 수 있는 개방형 ID 및 증명 프리미티브를 제공합니다.

Circom

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

snarkjs

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