Перейти к основному контенту
Инструменты для контрактов

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 г.

Похожие инструменты

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 — это предметно-ориентированный язык и компилятор для написания и компиляции арифметических схем, используемых в системах доказательств с нулевым разглашением.