Wolfram区块链实验室和Tezos正在将Tezos完全集成到Wolfram语言和Wolframalpha中。集成使想要与Tezos区块链及其智能合约进行交互的开发人员可以轻松访问。
WBL设计的Oracle扩展了Tezos开发人员的计算和分析能力
在简化智能合约部署的加速竞赛中,Tezos在整合Wolframalpha和Wolfram语言之后继续发挥其最新势头通过Wolfram的链。
美国国税局提交动议,驳回Tezos质押者拒绝退款并要求审判的诉讼:3月3日消息,美国国税局(IRS)周一提交动议,驳回了Tezos的两名质押者提起的诉讼,称该机构已经向其退还了近4000美元的税款和利息,交付日期为2月14日。
据悉,2021年5月26日Joshua和Jessica Jerrett夫妇向美国田纳西州中区地方法院提交法律诉状,要求退还2019年因收到8876枚Tezos代币而支付的3293美元所得税。
去年12月,国税局向这对夫妇提供了退款。但是他们拒绝接受退款,并表示这是为了迫使联邦法院就“国税局是否可以将通过质押获得的加密货币作为收入征税”做出裁决。
在本周早些时候提交的一份驳回动议和一份12页的支持性法律备忘录中,国税局表示,Jerrett夫妇不能拒绝退款,此案应被驳回。据悉,此案得到了权益证明联盟(POSA)的部分资助。根据这份文件,国税局预计原告将对其驳回动议提出异议,但称没有任何可能的例外情况将适用。(CoinDesk)[2022/3/3 13:34:23]
著名的计算技术提供商Wolfram通过其自己的分布式分类帐技术提供计算语言和答案引擎。Wolfram区块链实验室和TQTezos精心策划的双向整合旨在允许两个链相互提取和推送数据。
美国纽约检察官邀请FTX欺诈受害者提供信息并与当局合作:金色财经报道,美国纽约南区检察官办公室周五创建了一个新网站,邀请FTX欺诈案中的受害者提供相关信息,并与监管当局合作。该网站写道,请使用下面列出的电子邮件地址联系美国检察官办公室的受害者/证人协调员,以协助核实您是否是本案的受害者。[2023/1/7 10:59:22]
Wolfram设计的区块链预言机使这种集成成为可能,该预言机允许Tezos开发人员利用Wolframalpha数据和计算事实,同时使Wolfram用户能够分析Tezos区块链数据。甲骨文实质上是两个区块链之间的桥梁,允许区块链通过链下交易从类似于API的外部源中提取数据。
EthSign将为FTX受害者相关的FixDAO提供信贷分配和法律协议签署方面的支持:1月5日消息,为FTX受害者提供帮助的非营利DAO FixDAO与去中心化电子协议签署平台EthSign达成战略合作伙伴关系,EthSign将为FixDAO提供信贷分配和法律协议签署方面的支持。[2023/1/5 10:23:10]
在Tezos智能合约的情况下,此oracle授予智能合约从Wolframalpha中提取计算数据的能力,例如定价数据或满足合约条件或触发事件可能需要的其他形式。然后,可以在不损害安全性的情况下更轻松地使智能合约的分析组件自动化。
更安全可靠的智能合约
Wolfram的算法库和知识库通过oracle对计算事实的安全交付,完美地补充了Tezos形式验证方法,该方法证实了智能合约属性的正确性。总之,这为开发人员寻求建立更安全和可靠的智能合约提供了更多捷径。
通过扩展,此扩展功能不仅支持Tezos开发生态系统,而且还与其他举措相吻合,这些升级已大大降低了智能合约交易费用。此外,这种合作为Wolfram区块链用户提供了通过有效分析智能合约活动的统计查询挖掘Tezos区块链的潜力。
Tezos的自我升级特性和不断扩展的工具包标志着该第三代区块链的另一个重要里程碑。Wolfram还表示,随着有报道称Wolfram正在探索Tezos股权证明区块链中的“面包师”角色,随着协作的发展,开发人员的工具将继续扩大。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。