01:36

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

• 19:29 Dogecoin обгоняет рыночную капитализацию Porsche
• 14:33 Тестировщики слили в сеть Sora от OpenAI
• 14:28 Эксперты подсчитали долю публичных компаний с биткоин-стратегией
• 14:19 Джессика Дэвис: Экстремисты станут чаще использовать криптовалюты
• 14:00 Мы можем масштабировать. Как финансовые пирамиды стали «крипто»
• 13:35 Полковника СБУ посадили на 10 лет за вымогательство у майнеров-нелегалов
• 13:13 В Trezor сообщили о 600% скачке спроса на аппаратные кошельки
• 13:08 Капитализация компании MicroStrategy рухнула на $30 млрд за четыре дня

И еще 17