Перейти до основного вмісту
Інструменти для контрактів
В архіві

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