У цій статті ми заглибимося в інноваційний проєкт Space and Time, розглянемо його проривну технологію Proof of SQL і з’ясуємо, яку роль у всьому цьому відіграє ZK Coprocessor. Space and Time стали справжніми першовідкривачами, створивши унікальне zk-сховище даних, яке відкрило нову епоху верифікації інформації. Їхня амбітна мета — зробити так, щоб у майбутньому кожна база даних у світі могла пройти перевірку за стандартом Proof of SQL.
Proof of SQL — це zk-SNARK, що забезпечує криптографічне підтвердження точності запитів у системі Space and Time, одночасно захищаючи самі запити та базові дані від несанкціонованого доступу. Ця технологія працює для двох ключових завдань: гарантувати, що дані, отримані під час запиту, є автентичними та незмінними, і забезпечити, що результати запитів точно відображають дані, на яких вони базуються.
Proof of SQL стає вашим захисником проти фальсифікації даних, дозволяючи не лише швидко виявити втручання, але й легко відновити початкову інформацію. Наприклад, якщо адміністратор випадково видалить кілька таблиць із бази даних, Proof of SQL залишить незаперечний слід, який покаже, що було раніше. Ця система перетворює базу даних на захищений реєстр, подібний до блокчейну, але з розширеними функціями для зберігання, обчислення і підтримки бізнес-операцій за допомогою SQL.
Proof of SQL — це zk-proof, що надає криптографічну впевненість у тому, що ваші дані та результати запитів залишаються недоторканими оператором вузла, що керує базою. Ця технологія відкриває нові горизонти для підприємств і dApps, дозволяючи безпечно використовувати позаланцюгові обчислення, розширюючи можливості смарт-контрактів і підвищуючи їхню «розумність».
Попри всі переваги SQL, зловмисники все ще можуть втручатися в запити, відкриваючи доступ до даних або змінюючи їх. Впровадження шкідливого коду в законні запити призводить до маніпуляцій із даними та загрожує безпеці систем. Щоб боротися з цими загрозами, було створено ZK-сопроцесор, який генерує криптографічні докази правильності виконання SQL-запитів, захищаючи роботу з традиційними базами даних і зміцнюючи довіру до них.
Space and Time представили перший у світі субсекундний ZK-сопроцесор для SQL, що дозволяє смарт-контрактам обробляти величезні обсяги даних у рамках часу, необхідного для завершення транзакцій. Завдяки цьому новаторському рішенню смарт-контракти можуть звертатися до подій як у своїх ланцюжках, так і поза ними, отримуючи підтверджені відповіді вже в наступному блоці. ZK-сопроцесори роблять позаланцюгові обчислення для смарт-контрактів верифікованими та надійними.
Proof of SQL встановлює нові стандарти для швидкості верифікації SQL-обчислень, працюючи в 10–100 разів швидше за сучасні zkVM і сопроцесори. Недавні результати показали збільшення продуктивності на 40% з моменту публікації репозиторію на GitHub у червні. Тепер аналітичні запити обробляються з небаченою швидкістю:
🟣 100k рядків даних — за 0,4 секунди
🟣 200k рядків — за менше ніж секунду
🟣 1M рядків — за 1,2 секунди
🟣 100M рядків — приблизно за хвилину.
Proof of SQL — це перший субсекундний ZK-сопроцесор, оптимізований для SQL, який дозволяє смарт-контрактам працювати з масштабами, необхідними для застосунків, у реальному часі транзакцій. Ця технологія відкриває перед розробниками нові можливості для створення надійних блокчейн-застосунків, заснованих на даних і підтверджених за допомогою ZK.
Website:
Discord:
Twitter:
Space and Time whitepaper-v1.1: