Источник: Акарат Фасура — Shutterstock
- Интеграция Tezos с Wolfram Language предоставляет разработчикам доступ к вычислительным контрактам и защищенным данным.
- WBL размещает узел Tezos, чтобы обеспечить прямое соединение с языком Wolfram Language.
В пресс-релизе, представленном CNF, Wolfram Blockchain Labs (WBL) объявила об интеграции Tezos в свою платформу технологии распределенного реестра (DLT). В сотрудничестве с TQ Tezos компания WBL полностью интегрировала Tezos с Wolfram Language и Wolfram | Alpha, обеспечивая легкий программный доступ для разработчиков, работающих над аналитикой блокчейнов и вычислительными контрактами.
Партнерство также направлено на предоставление оракула для Tezos, который WBL разработала для подпитки смарт-контрактов, построенных на Tezos, данными Wolfram Alpha. Он используется вместе со структурой проверки Mi-Cho-Coq, разработанной Nomadic Labs. Таким образом, смарт-контракты будут иметь «предсказуемое поведение» при каждом выполнении.
WBL расширяет свои возможности с Tezos
Известная компания Стивена Вольфрама также объявила о размещении узлов Tezos. Таким образом, интеграция будет иметь прямую связь с языком программирования в Wolfram’s Cloud и вычислительной системой под названием Mathematica.
WBL известен, помимо прочего, тем, что предоставляет экосистему на основе DLT для создания приложений со смарт-контрактами. Благодаря интеграции Tezos эти смарт-контракты стали более безопасными за счет упрощения формальной проверки
[This] доказывает правильность свойств смарт-контракта, чтобы помочь снизить риски ошибок и других уязвимостей. WBL сотрудничал с TQ Tezos для создания поддержки WolframLanguage для расширенной функциональности, что сделало интеграцию Tezos простой и интуитивно понятной частью системы Wolfram.
Цель состоит в том, чтобы предоставить разработчикам, использующим блокчейн Tezos, упрощенный путь к развертыванию смарт-контрактов. Кроме того, обширная база знаний и алгоритмов Wolfram (на которых основан Wolfram | Alpha) может надежно предоставлять вычислительные данные для оракулов на Tezos. Это открывает ряд новых безопасных функций, которые можно легко включить в приложения блокчейн. Технический директор Wolfram Blockchain Labs Йохан Веерман сказал об интеграции следующее:
Tezos — это захватывающий блокчейн третьего поколения, который включает ряд сервисов и функций, которые могут быть расширены и доступны нашим разработчикам. Мы очень рады работать с TQ Tezos над внедрением экосистемы инструментов WBL в блокчейн Tezos.
Как сообщает CNF, Tezos недавно выпустила одно из своих самых важных обновлений — Edo. Разработанный Nomadics Labs, Marigold, DaiLambda и Metastate, Edo был реализован на высоте блока 1,343,489. В обновлении был представлен протокол Sapling, позволяющий выполнять больше транзакций с повышенным уровнем конфиденциальности с библиотекой для экранированных транзакций, также используемой Zcash.
