Новий ZK-proof із відкритим кодом скорочує час виконання запитів SQL

Представлено нову технологію підтвердження нульового знання (ZK-proof), підтвердження SQL. Він обіцяє скоротити традиційний 30-хвилинний час очікування для запитів на мові структурованих запитів (SQL) до секунди.

Різке скорочення часу може призвести до значного підвищення ефективності в програмах, які вимагають обробки даних у реальному часі.

Space and Time (SxT) — верифікований обчислювальний рівень для штучного інтелекту (AI) і блокчейну — 12 червня представив новий ZK-прівер із відкритим кодом для обробки даних на GitHub.

За темою: StarkWare відкриває дослідницький фонд у розмірі 1 мільйона доларів для масштабування ZK Bitcoin

ZK-proof прорив

У розмові з Cointelegraph Джей Уайт, співзасновник і керівник відділу досліджень SxT, пояснив контрольні показники, які використовуються для вимірювання продуктивності до секунди:

«Ми провели контрольні тести з різними запитами, такими як фільтри, GROUP BY, агрегації та інші стандартні операції SQL для великих таблиць даних, що містять понад 100 000 рядків. Останні тести показують, що доказ SQL може перевірити 100 000 рядків менш ніж за секунду, один мільйон рядків за 1,2 секунди та 100 мільйонів рядків приблизно за одну хвилину».

Підтвердження SQL було випущено в альфа-версії для обраної групи клієнтів SxT у серпні 2023 року та тепер доступно для громадськості на GitHub.

Загальнодоступний криптографічний інструмент дозволить членам спільноти виконувати ненадійні запити на SxT, а розробники можуть завантажити репозиторій безпосередньо з GitHub.

«Наша команда вперше запровадила субсекундні ZK-докази, щоб розумні контракти та агенти штучного інтелекту могли задавати питання про діяльність ланцюга, а також дані поза ланцюгом і отримувати назад надійні результати SQL-запитів у ланцюжку під час транзакції, не чекаючидля 30-хвилинної перевірки».

За темою: Polygon Labs придбала Toposware, збільшивши загальні інвестиції в ZK до 1 мільярда доларів

ZK-докази стають відкритими

Новий ZK-proof є частиною ширшої стратегії SxT щодо підвищення безпеки та продуктивності децентралізованих програм (DApps) і заохочення співпраці спільноти.

Уайт додав: «Наша команда дуже дбає про UX [користувальницький досвід], тому ми вирішили зосередитись на SQL […], щоб зробити інтеграцію максимально легкою та легкою для розробників.

«Зараз ми працюємо над інтеграцією підтвердження SQL у мережу Chainlink [і] працюємо з екосистемою zkSync над рішенням, яке дозволить розробникам запускати SQL-запити зі свого смарт-контракту з підтвердженням SQL».

Неефективність затримки перешкоджає масштабованості та продуктивності DApps, які покладаються на перевірку даних у реальному часі.

Відповідно до прес-релізу, наданого ексклюзивно Cointelegraph, доказ SQL «дозволяє розробникам підключати аналітику безпосередньо до смарт-контрактів, відкриваючи безліч нових ефективних випадків використання та бізнес-логіки технології блокчейн».

За темою: Matter Labs відмовляється від заявок на торговельну марку ZK після негативної реакції галузі

Вирішення проблем масштабованості

Уайт пояснив, як доказ SQL буде масштабуватися зі збільшенням обсягу даних, більш складними запитами та майбутніми вдосконаленнями для усунення вузьких місць:

«Доказ SQL масштабується лінійно. Доведення в кластерному масштабі є найближчим планом, що означає ще швидші перевірки за ще більшими таблицями. Інші майбутні вдосконалення включають розширену підтримку SQL, зокрема багатотабличні запити (наприклад, JOIN) і підзапити, а також нову схему зобов’язань».

Інтеграція ZK-proofs у індустрію криптовалют може мати значні наслідки. Уайт пояснив, які випадки використання, на його думку, може мати ця розробка в ZK:

Наша команда твердо вірить, що протягом наступних кількох років агенти штучного інтелекту здійснюватимуть транзакції переважно в ланцюжку. Точні, непідроблені, перевірено правильні дані через підтвердження SQL сприятимуть цій революції агентів у мережі. Кожен додаток у світі використовує базу даних, і […] ми бачимо майбутнє, де кожна база даних використовує доказ SQL.

Поштовх до технології ZK розвивається все швидше, про що свідчить нещодавній запуск дослідницького фонду StarkWare в розмірі 1 мільйона доларів США для розгортання ZK-масштабування для Bitcoin.

Ініціатива спрямована на одночасне масштабування Ethereum і Bitcoin за допомогою технології ZK.