Інструменти для контрактів

Halo2

Схеми ZK та приватність

Орієнтований на приватність · Масштабованість · Досвід розробника · Верифікація

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

Пов'язані ресурси

ZK Email

ZK Email надає схеми та SDK для доведення фактів про відредаговані транскрипти електронних листів ончейн. Корисно, коли вам потрібна перевірка особи або квитанцій зі збереженням приватності без розкриття вмісту поштових скриньок.

zkTLS/ TLSNotary

zkTLS / TLSNotary — це відкритий протокол для доведення властивостей TLS-сесій за допомогою MPC, щоб верифікатори могли довіряти транскриптам, не бачачи повного відкритого тексту.

ZKPassport

Приватна верифікація особи за допомогою доведень з нульовим розголошенням. Перевіряйте вік, країну або доказ людяності без розкриття будь-якої особистої інформації. Дизайн, орієнтований на мобільні пристрої, з SDK для інтеграції та контрактами реєстру ончейн.

Self Protocol

Self Protocol надає відкриті примітиви ідентичності та доведень, які будівельники можуть вбудовувати, коли їм потрібні процеси верифікації зі збереженням приватності, прив'язані до гаманців або облікових даних.

Circom

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

snarkjs

snarkjs — це набір інструментів JavaScript та CLI для генерації та перевірки доведень zkSNARK, а також для запуску типових робочих процесів доведення в Node.js та браузері.