Включивши Space and Time як рішення для співпроцесора ZK для забезпечення надійного скорочення та стимулів для розподілених безпечних служб Karak (DSS), Karak має намір просувати свою мету універсальної безпеки. Простір і час (SxT) — це верифікований обчислювальний рівень, який забезпечує надійну обробку даних для розумних контрактів, магістрів права та компаній шляхом масштабування доказів із нульовим знанням у децентралізованому сховищі даних. Space and Time поєднує набори даних поза мережею з індексованими даними блокчейну з основних мереж. Space and Time розробили Proof of SQL, унікальний ZK-proof, який гарантує масштабні обчислення, захищені від втручання, і демонструє, що результати запитів не були змінені. Крім того, Space and Time працює над DSS для свого ZK-сумісного індексування на Karak.
Розподілена захищена служба (DSS) — це децентралізована служба, заснована на Karak, використовуючи повторно активи як універсальний захист для пропонованих послуг. Завдяки властивій гнучкості, розширюваності та масштабованості фреймворк DSS можна використовувати для широкого спектру додатків, від простих утиліт, як-от калькуляторів, до складних мереж, як-от торговельні майданчики DA та співпроцесори ZK. Одна з найважливіших частин інформації, яка потрібна Караку як DSS на борту, це те, як довести слешінг у ланцюжку. Простір і час забезпечують значно швидше визначення логіки розрізання, що, у свою чергу, дозволяє набагато швидше створювати та запускати DSS.
SxT також розробляє DSS для свого блокчейн-сервісу індексування, що полегшує членам спільноти керування вузлами індексації в мережі SxT. Розробка DSS є фантастичним поєднанням простору та часу, особливо для таких випадків використання, як децентралізоване індексування даних, яке потребує максимальної безпеки, децентралізації та узгодження стимулів.
Наша мета досягнення універсальної безпеки прискорюється завдяки цій стратегічній інтеграції, оскільки Space and Time тепер може індексувати дані для додаткових DSS. Продовжуючи розвивати ефективність і безпеку, ми з нетерпінням чекаємо, що в найближчі місяці поділимося новими даними.
Децентралізована верифікована обчислювальна мережа
Будь-який смарт-контракт може отримувати та перевіряти дані блокчейну з різних основних блокчейнів за допомогою мережі простору та часу. Оператори SQL можуть використовуватися смарт-контрактами для запиту даних блокчейну, і ці запити можна перевірити в ланцюжку за допомогою доказів нульового знання (ZK).
Архітектура
Потік
Запланований SQL-оператор, який потрібно перевірити, викликається розрізним контрактом Karak до контракту ретранслятора простору та часу. Інформація про завдання запиту включається в подію, яка створюється контрактом ретранслятора простору та часу.
Викид завдання запиту в вихідному ланцюжку виявляється операторами мережі простору та часу за допомогою ZK-сумісних вузлів індексування (ця послуга також реалізована як DSS).
Мережа простору та часу призначає завдання оператору, який доступний у мережі перевірки простору та часу після перевірки події. Окрім виконання запиту, оператор створює підтвердження ZK і криптографічне зобов’язання щодо запитаних даних. Потім оператор використовує ретрансляційну транзакцію, щоб повернути ці частини до контракту ретранслятора простору та часу в вихідному ланцюжку.
За допомогою функції зворотного виклику контракт ретранслятора простору та часу підтверджує результат запиту та надсилає його до вихідного контракту розрізання Karak.
Результат запиту використовується розрізним контрактом Карака, щоб обчислити, наскільки скоротити певний DSS.
Учасники
Контракт ретранслятора: отримує запити SQL, надсилає мережеві події простору та часу, перевіряє та повертає результати запитів.
Мережа простору та часу (оператори): індексує діяльність DSS у ланцюжку (наприклад, завершені завдання) і відстежує події завдань із запитами, надсилаючи їх доступним операторам перевірки мережі простору та часу.
Мережа простору та часу (перевірники): запускайте запити, створюйте докази ZK і надсилайте результати назад до контракту ретранслятора.
Висновок
Розробники створили Karak для розробників. Завдяки об’єднанню простору та часу в Karak досягається мета забезпечення перевіреної універсальної безпеки для всіх розробників у всьому світі. Будь ласка, зв’яжіться, якщо ви хочете розширити DSS у просторі та часі, думаєте про розширення DSS або вже розробляєте DSS на Karak!