Halo2

ZK 회로 및 프라이버시

GitHub에서 보기

다음 보기

p0tion

Halo2 소개

Zcash의 Halo2 PLONK 증명 시스템을 재설계한 PSE의 포크로, 경제적인 레이어 1 (l1) 검증을 위한 Solidity 검증자가 있는 KZG 백엔드, 다중 타원 곡선 지원, 분리된 프런트엔드/백엔드 아키텍처를 특징으로 합니다.

리포지토리privacy-scaling-explorations

halo2250 (새 탭에서 열림)

정보

유형: ZK 회로 및 프라이버시
GitHub 스타: 250
리스팅 검토일: 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은 영지식 증명 시스템에 사용되는 산술 회로를 작성하고 컴파일링하기 위한 도메인 특화 언어 및 컴파일러입니다.

Halo2

Halo2 소개

태그

리포지토리privacy-scaling-explorations

정보

유사한 도구