" 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 добавляет важный компонент в инструментарий разработчика смарт-контрактов, упрощая аналитику смарт-контрактов. Тем не менее, интеграция остается на ранней стадии и имеет относительно базовый набор функций. Генеральный директор Wolfram Blockchain Джон Вудард сказал:
«У нас есть планы расширить эти возможности в нескольких ключевых областях в экосистеме Tezos: аналитика, предоставление вычислительных фактов и образовательная информация о блокчейне».
Wolfram Blockchain Labs также изучает возможность стать «пекарем» Tezos, что означает «стейкеры». Блокчейн - один из крупнейших по размеру капитала, заблокированного для стекинга.
