컨트랙트 도구

Sonobe

ZK 회로 및 프라이버시

웹사이트 방문

다음 보기

Anon Aadhaar

Sonobe 소개

증분 검증 가능한 계산(Incremental Verifiable Computation)을 위해 여러 폴딩 체계(Nova, HyperNova, ProtoGalaxy, CycleFold)와 디사이더 백엔드(Groth16, KZG)를 지원하는 모듈식 폴딩 라이브러리입니다. Arkworks, Circom, Noir 및 Noname 프런트엔드를 지원합니다.

리포지토리privacy-scaling-explorations

sonobe289 (새 탭에서 열림)

정보

유형: ZK 회로 및 프라이버시
GitHub 스타: 289
라이선스: MIT
리스팅 검토일: 2026년 7월

유사한 도구

ZK Email

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

SP1 (Succinct)

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Circom

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

Sonobe

Sonobe 소개

태그

리포지토리privacy-scaling-explorations

정보

유사한 도구