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

Halo2

ZK-схемы и приватность

Посмотреть на GitHub (открывается в новой вкладке)

Смотреть далее

p0tion

О Halo2

Переработанный форк системы доказательств Halo2 PLONK от Zcash, созданный PSE, с бэкендом KZG и верификатором Solidity для экономичной верификации на уровне 1 (l1), поддержкой нескольких эллиптических кривых и разделенной архитектурой фронтенда/бэкенда.

Теги

  • Ориентированность на приватность
  • Масштабируемость
  • Опыт разработчика
  • Верификация

Репозиторийprivacy-scaling-explorations

Информация

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