컨트랙트 도구

arkworks algebra

ZK 회로 및 프라이버시

검증

arkworks-rs/algebra https://crates.io/crates/ark-serialize

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

관련 리소스

ZK Email

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

Self Protocol

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

zkTLS/ TLSNotary

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

Circom

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

snarkjs

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

Semaphore

Semaphore는 프라이빗 그룹 멤버십 증명을 위한 영지식 프로토콜로, 신원을 밝히지 않고도 익명 신호 및 인증을 가능하게 합니다.