利用Tezos和Wolfram语言实现第三代区块链功能

作为Wolfram Blockchain Labs（WBL）的首席执行官，我认为我工作中最令人兴奋的部分之一是与区块链领域的其他领导者合作，为开发人员和商业用例扩展工具。几年来，我们一直在将区块链功能源源不断地添加到Wolfram语言中，以实现基于知识的分布式应用和计算合约的开发。您可能已经注意到越来越多的流行区块链（ARK、比特币、bloxberg、Cardano、Ethereum、MultiChain......）与我们合作并整合到我们的平台中。这已经导致了一些很酷的探索，我们还有更多的探索正在进行中。

 

今天，WBL很高兴地宣布其最新的此类合作，即与TQ Tezos的合作。这包括Tezos区块链在Wolfram语言中的集成，这对智能合约开发者和爱好者来说是个好消息。但这只是一个开始。我们的长期计划包括很多大的想法，我们认为每个人都会感到兴奋!

 

互补合作

Tezos与Wolfram的合作从一开始就很有意义。我们一直致力于建立Wolfram语言对第三代区块链的支持，使Tezos集成成为我们系统中简单直观的一部分。长期以来，WBL特别关注智能合约的实现，WBL和TQ Tezos开发了一个oracle，为Tezos智能合约开发者提供Wolfram|Alpha数据。

 

Tezos最令人兴奋的方面之一是它对形式化验证的友好性。TQ Tezos使用Mi-Cho-Coq框架来创建一个高度的保证，即每次调用oracle合约时都会表现出相同的、可预测的行为。

 

我们还分享了技术民主化这一更广泛的目标。Tezos独特地使用链上机制进行治理，这意味着运行节点的人是决策人。任何与区块链互动的人都能像全球数字社区的公民一样获得投票权。Wolfram在通过Wolfram|Alpha、Wolfram Cloud和Wolfram资源系统使知识和计算广泛存在的历史。

 

基础：区块链整合

那么，现在有人可以用Wolfram语言访问Tezos区块链做什么呢？首先，您可以使用BlockchainBlockData从Tezos中检索数据（在这种情况下，最近的条目块）。

 

要在区块链上指定地址，请使用BlockchainKeyEncode与生成的PrivateKey（使用Tezos生态系统中使用的椭圆曲线）。

 

鉴于此地址，BlockchainAddressData将提供一系列信息：

 

这是目前该地址的余额：

 

您也可以创建智能合约，把自己的数据放在Tezos区块链上。为了实现这一点，您会先用BlockchainTransaction创建一个交易操作：

 

然后您可以通过将BlockchainTransaction对象和相应的PrivateKey传递给BlockchainTransactionSign来签署操作：

 

最后，使用BlockchainTransactionSubmit向区块链提交合同：

 

而只需几行简单的代码，您就已经将智能合约部署到了Tezos生态系统中。一旦交易操作在区块链上（有时可能需要几分钟），您就可以验证余额是否已经更新：

 

交易总金额等于100mutez付款加上76232mutez费用：

 

可以通过使用BlockchainTransactionData并传递提交的BlockchainTransaction的交易ID来检查费用的细节：

 

这种强大的简单性是任何Wolfram语言集成的核心优势：您不需要成为一个开发人员，就能完成严肃的工作。

 

更多内容

最终的结果将是一个广泛的工具包，使每个人都可以使用Tezos开发，无论编程技能如何。我们计划在Tezos生态系统内的几个关键领域扩展这些功能：分析、计算事实交付和区块链教育信息。WBL还在探索我们如何开始在Tezos上进行操作，这是我们对区块链网络股权的第一次试探。

 

这和我们的其他区块链合作伙伴关系有助于推动WBL朝着为金融行业带来计算改革的更大目标前进：智能合约、符号数据和智能报告。我们一直在寻找更多的方法来扩展我们在区块链和其他去中心化技术方面的工作。请关注我们的下一个重大公告!