2021-3-3 21:25 |
In a post this Monday, Wolfram targets the high-speed network to build out its blockchain wing, Wolfram Alpha expanding the features and services available to developers. Johan Veerman, the chief technology officer of WBL, said,
“Tezos is an exciting third-generation blockchain that features several services and functions that will expand what's available to our developers.”
The post further explained that the partnership would enhance the deployment of smart contracts on the Tezos blockchain.
Read today’s announcement from @WolframResearch on their work to integrate #Tezos into the Wolfram language, to operate formally verified smart contracts on the Tezos Mainnet, and explore becoming a baker. https://t.co/aZxXeXjuzK
— Tezos (@tezos) March 1, 2021
Wolfram Blockchain Labs offers institutions and developers a computational tool necessary to build blockchain solutions and quickly develop smart contracts. The partnership sees Tezos added to the Wolfram Language, opening new avenues for developers to deploy their apps efficiently.
Notwithstanding, the partnership will also see Wolfram develop an oracle that allows Tezos apps and developers to get data from Wolfram Alpha, a computational engine built by Wolfram Research Inc. According to the statement, the oracles were verified through the Mi-Cho-Coq framework, created by Nomadic Labs, to ensure all smart contracts on the platform run smoothly and correctly.
WBL will also provide a smart contract development toolkit, currently supporting basic features and services, to simplify the development of smart contracts on the Tezos blockchain.
Tezos now becomes the latest blockchain to join the Wolfram Language following Bitcoin, Ethereum, Cardano, Ark, and Multichain, since 2019. Additionally, WBL is looking at solutions to add baking (staking) properties of Tezos in the near future, the statement reads.
“This and our other blockchain partnerships help move WBL toward the larger goal of bringing computational reform to the financial industry: smart contracts, symbolic data, and smart reporting.”
Tezos recently announced its major Edo hard fork upgrade late last year to increase users’ privacy on the network. The network automatically updated on November 30, adding the sapling protocol by Electric Coin Company (ECC), allowing shielded transactions.
Tezos/USD XTZUSD 3.6885 $0.09 2.55% Volume 456.34 m Change $0.09 Open$3.6885 Circulating 761.71 m Market Cap 2.81 b baseUrl = "https://widgets.cryptocompare.com/"; var scripts = document.getElementsByTagName("script"); var embedder = scripts[scripts.length - 1]; var cccTheme = {"Chart": {"fillColor": "rgba(248,155,35,0.2)", "borderColor": "#F89B23"}}; (function () { var appName = encodeURIComponent(window.location.hostname); if (appName == "") { appName = "local"; } var s = document.createElement("script"); s.type = "text/javascript"; s.async = true; var theUrl = baseUrl + 'serve/v1/coin/chart?fsym=XTZ&tsym=USD'; s.src = theUrl + (theUrl.indexOf("?") >= 0 ? "&" : "?") + "app=" + appName; embedder.parentNode.appendChild(s); })(); var single_widget_subscription = single_widget_subscription || []; single_widget_subscription.push("5~CCCAGG~XTZ~USD"); The post Tezos Partners with Wolfram, A Computational Tool to Integrate Data Oracles on the Blockchain first appeared on BitcoinExchangeGuide. origin »High Performance Blockchain (HPB) на Currencies.ru
![]() ![]() ![]() ![]() ![]() ![]() |