본문으로 건너뛰기
컨트랙트 도구

snark-verifier (Axiom)

ZK 회로 및 프라이버시

GitHub에서 보기 (새 탭에서 열림)

다음 보기

Anon Aadhaar

snark-verifier (Axiom) 소개

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

태그

  • 검증
  • Solidity
  • 가스 최적화

리포지토리axiom-crypto

패키지https:

정보

유형
ZK 회로 및 프라이버시
GitHub 스타
106
라이선스
Apache-2.0
리스팅 검토일
2026년 9월

유사한 도구

ZK Email

ZK Email

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

SP1 (Succinct)

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

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