Включив «Пространство и время» в качестве сопроцессорного решения ZK для обеспечения надежной резки и стимулирования распределенных безопасных служб Karak (DSS), компания Karak стремится достичь своей цели по обеспечению всеобщей безопасности. Пространство и время (SxT) — это проверяемый вычислительный уровень, который обеспечивает надежную обработку данных для умных контрактов, LLM и компаний путем масштабирования доказательств с нулевым разглашением в децентрализованном хранилище данных. Пространство и время объединяет наборы данных оффчейн с индексированными данными блокчейна из основных цепочек. Компания Space and Time разработала Proof of SQL — уникальную защиту от ZK, которая гарантирует защиту от несанкционированного доступа в масштабе и демонстрирует, что результаты запроса не были изменены. Кроме того, Space and Time работает над DSS для ZK-совместимой индексации на Караке.

Используя восстановленные активы в качестве универсальной защиты для предлагаемых услуг, Distributed Secure Service (DSS) представляет собой децентрализованную службу, основанную на Karak. Благодаря присущей ей гибкости, расширяемости и масштабируемости платформа DSS может использоваться для широкого спектра приложений: от простых утилит, таких как калькуляторы, до сложных сетей, таких как торговые площадки DA и сопроцессоры ZK. Одна из наиболее важных частей информации, которая нужна Караку как DSS на борту, — это то, как доказать сокращения в цепочке. Пространство и время обеспечивают значительно более быстрое определение логики резки, что, в свою очередь, позволяет гораздо быстрее создавать и запускать DSS.

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

Эта стратегическая интеграция ускоряет достижение нашей цели по достижению всеобщей безопасности, поскольку «Пространство и время» теперь могут индексировать данные для дополнительных DSS. Поскольку мы продолжаем расширять горизонты с точки зрения эффективности и безопасности, мы с нетерпением ждем возможности поделиться большей информацией в предстоящие месяцы.

Децентрализованная проверяемая вычислительная сеть

Любой смарт-контракт может получать и проверять данные блокчейна из различных основных блокчейнов, используя сеть Пространства и Времени. Операторы SQL могут использоваться смарт-контрактами для запроса данных блокчейна, и эти запросы могут быть проверены в цепочке с помощью доказательств с нулевым разглашением (ZK).

Архитектура

Поток

  • Предполагаемый оператор SQL, подлежащий проверке, вызывается контрактом преобразования Karak в контракт ретранслятора пространства и времени. Информация о задаче запроса включается в событие, которое генерируется контрактом ретранслятора пространства и времени.

  • Эмиссия задачи запроса в исходной цепочке обнаруживается операторами сети Пространства и Времени с помощью ZK-совместимых узлов индексации (данный сервис также реализован как DSS).

  • Сеть «Пространство и время» назначает задачу оператору, который доступен в сети проверяющего пространства и времени после проверки события. Помимо выполнения запроса, оператор создает доказательство ZK и криптографическое подтверждение запрошенных данных. Затем оператор использует ретранслируемую транзакцию для возврата этих частей в контракт ретранслятора пространства и времени в исходной цепочке.

  • С помощью функции обратного вызова контракт ретранслятора пространства и времени подтверждает результат запроса и отправляет его исходному контракту разрезания Карака.

  • Результат запроса используется контрактом сокращения Карака для расчета того, насколько нужно сократить определенный DSS.

Участники

  • Контракт ретранслятора: получает запросы SQL-запросов, отправляет сетевые события пространства и времени, проверяет и возвращает результаты запроса.

  • Сеть пространства и времени (операторы): индексирует активность DSS в цепочке (например, завершенные задачи) и отслеживает события заданий запроса, отправляя их доступным операторам проверки сети пространства и времени.

  • Сеть пространства и времени (пруверы): запускайте запросы, генерируйте доказательства ZK и возвращайте результаты в контракт ретранслятора.

Заключение

Разработчики создали Карак для разработчиков. Объединение Пространства и Времени в Карак ускоряет достижение проверенной универсальной безопасности для всех разработчиков во всем мире. Пожалуйста, свяжитесь с нами, если вы хотите расширить DSS «Пространство и время», думаете о расширении DSS или уже разрабатываете DSS на Караке!