Tezos получает новый оракул благодаря интеграции Wolfram Blockchain Labs

Tezos получает новый оракул благодаря интеграции Wolfram Blockchain Labs

Wolfram Blockchain Labs, подразделение популярного поставщика вычислительных машин Wolfram Alpha, ориентированное на криптовалюту, добавляет поддержку Tezos на своей платформе, обеспечивая двусторонний интерфейс с блокчейном.

Анонсированная в понедельник интеграция добавляет поддержку данных цепочки блоков Tezos в языке Wolfram Language. Это позволяет разработчикам получать аналитические данные из цепочки блоков. Язык специализируется на сложных статистических запросах, которые анализируют деятельность смарт-контрактов. Интеграция в первую очередь направлена ​​на облегчение развертывания смарт-контрактов на Tezos.

Wolfram Blockchain разработала оракул для Tezos, который будет предоставлять его смарт-контрактам данные, доступные из Wolfram Alpha. Эти данные также включают цены на активы, которые сегодня являются одним из основных вариантов использования оракулов. Это сделает Wolfram третьим поставщиком оракулов в сети после Chainlink и Harbinger, собственного решения Tezos.

Для интеграции Wolfram Blockchain сотрудничал с TQ Tezos, одной из компаний-разработчиков экосистемы Tezos. Компания заявила, что контракты оракула формально проверялись с помощью фреймворка Mi-Cho-Coq, разработанного Nomadic Labs. Формальная проверка позволяет создать математическое доказательство, гарантирующее, что определенная программа ведет себя правильно. Tezos уделяет особое внимание упрощению этого процесса, разделяя его внимание с Cardano, еще одним проектом, поддерживаемым Wolfram Blockchain.

Недавно Tezos предприняла ряд шагов, направленных на привлечение разработчиков смарт-контрактов и децентрализованных финансовых проектов. В ноябре 2020 года обновление сети снизило комиссию за транзакции на 75%.

Интеграция с Wolfram добавляет важный компонент в инструментарий разработчика смарт-контрактов, упрощая аналитику смарт-контрактов. Тем не менее, интеграция остается на ранней стадии и имеет относительно базовый набор функций.