Новий модульний інструментарій zk! ⚡ Використовуйте його для генерації zkps з офчейн-атестацій. Потік: - Підписання/використання офчейн атестації - Створюйте коректури за допомогою SP1 - Підтвердьте за допомогою WASM - Засвідчення результату верифікації в ланцюжку (необов'язково) Особлива подяка @shivansheth & @whoisgautxm (zkAttestify) за ваш внесок і @SuccinctLabs за підтримку!

Ось ланцюжок: 1) Підпишіть/надайте дійсне посвідчення оффчейн - Структуровані атестації створюються за допомогою EAS - Підписано за допомогою EIP712 - Дані залишаються поза мережею та конфіденційними. - Підпис можна перевірити. 2) Створення доказу ZK (SP1) - Використовуйте SP1 zkvm для розбору структури EAS - Перевіряє правильність і логіку підпису (жорстко закодовано для демонстрації) - Програма SP1 генерує докази Groth16 або Plonk - Вихід включає файл доказу + публічні вхідні дані dob-програма та dob-скрипти репозиторію обробляють логіку. 3) Верифікація в WASM (браузері або вузлі) - Завантажте скомпільований верифікатор - Надання доказів + публічні входи - JS-скрипт виконує перевірку доказу та перевіряє логіку 4) Необов'язково: засвідчити результат верифікації в ланцюжку - Надішліть доказ zk до контракту з верифікатором солідності (groth16 verifier) - У разі успіху зателефонуйте EAS, щоб видати нову ончейн-атестацію - Схема та дані налаштовуються (isOver18 = true) - Дає вам контроль над терміном дії/відкликанням/компонуванням - Немає посилання на оригінальну атестацію поза мережею Нотатки - Цей потік передбачає, що ви довіряєте атестатору офчейн атестації. - Генерація доказів GROTH16/PLONK відбувається повільно. Використовуйте стислу мережу Prover для підвищення ефективності.

Цей урок/демонстрація розповість вам про те, як це працює за 15 хвилин. У ньому використовується простий приклад підтвердження віку. Набір інструментів є модульним, тому з деякими налаштуваннями ви можете замінити його на власні схеми / логіку схеми пізніше.

Відвідайте Github

Хочете подивитися відео від команди ZKAttestify?

Хочете налаштувати ланцюжок? Ось що потрібно змінити: - У 'dob-program/src/main.rs' – змініть логіку (наприклад, 'degree == "CS"') - У 'dob-script/input.json' – змінити дані атестації та схему - У «WASM_verifier/» – перевірте будь-який доказ з такою ж структурою

Цей проект є еталонним впровадженням. Він модульний, має відкритий вихідний код і готовий до форку. Допоможіть нам розширити підтримку більшої кількості схем, верифікаторів і випадків використання. Ми активно шукаємо контриб'юторів та розробників, які хочуть вивести цей репозиторій на новий рівень. Простягатися! 🫡