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 добавляет важный компонент в инструментарий разработчика смарт-контрактов, упрощая аналитику смарт-контрактов. Тем не менее, интеграция остается на ранней стадии и имеет относительно базовый набор функций.
