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, что означает «стейкеры». Блокчейн - один из крупнейших по размеру капитала, заблокированного для стекинга.

• 13:06 Автор мема Chill guy пригрозил судом создателям токенов
• 12:22 ЦБ РФ выпустил доклад об RWA-рынке
• 11:16 Биткоин растет из-за досрочной отставки
• 11:01 MicroStrategy завершила размещение долга на сумму 3 миллиарда долларов
• 10:15 Джон Дитон прогнозирует рыночную капитализацию XRP в размере 100 млрд долларов: «Времена меняются»
• 10:13 Спасут ли стейблкоины россиян от инфляции
• 09:32 Страховая компания Charles Schwab готовится выйти на крипторынок
• 09:21 VanEck и 21Shares готовятся к запуску Solana ETF на Cboe

И еще 6