区块链科技股有哪些:为什么语言设计在分布式分类账技术中如此重要

  为什么语言设计在区块链和其他分布式账本中很重要?当然,这是选择技术平台时应该仔细评估的标准之一:由于使用了易于利用的脚本语言,价值数百万美元的加密货币已经被盗。

  

  分布式分类账是一个数据库网络,它们之间有某种自动调节的方法。这可以确保在节点中不包含冲突的信息。智能合约允许我们将业务逻辑编码来修改分类账状态的可执行代码,这些代码本身存储在分类账上。从现在起,我们将把智能合约称为工作流——因为我们相信这是一个更好、更准确的术语。

  好的工作流语言设计

  什么是一种好的工作流脚本语言?

  · 易于用户理解

  · 易于计算机分析

  虽然这看起来很简单,但不幸的是,许多工作流脚本语言的优先级恰恰相反。它们要么是针对Java或Python等现有编程语言的库(嵌入式特定于域的语言),要么是适当的、独立的特定于域的语言,模拟成熟的编程语言。例如,稳定性,多重继承性,这是一种面向对象的语言特性,即使对于高级程序员也很难对其进行推断(理解所写代码的影响或结果)。

  据推测,由于编程语言的复杂性,无论多么聪明的计算机程序员都不可避免地要编写带有bug的软件。鉴于此,很明显,面对具有如此复杂的商业和金融背景的人并不是一个好主意。而事实上,这是一个非常糟糕的主意。

  另一个需要考虑的重要因素是机器的可分析性。所有主流的编程语言都是图灵完备的,也就是说,给定这样一种语言中的任意一个程序的时候,我们无法确定该程序是否能够完成运行。在真实的资产和资源环境中,这是不可取的,因为在这些环境中,我们绝对希望确保事务能够完成,计算能够准确完成。

  此外,其他更复杂和有趣的分析(例如,根据某些约定,在某一日期之前付款;最终发放所有资金等)变得难以用正常的编程语言解决。

  在Adjoint公司,我们开发了FCL,一种基于可用性和可分析性原则的图灵不完全工作流脚本语言。工作流是使用僵化网络以一种直观的方式构建的,僵化网络是一种用于并发流程的严格数学框架,类似于流程图。FCL编译器将检查工作流是否健全。换句话说,它遍历工作流的结构,并在工作流执行的任何阶段检查工作流能否达到预期的结束状态。

  

  在上面,您可以找到一个天然气交易工作流的可视化表示。此图是由底层FCL工作流的源代码自动生成的,它有助于可视化和沟通工作流执行过程中可能的操作过程。Adjoint正在对FCL的工程进行大量投资。并有令人兴奋的特性和工具,更直观的工作流开发和更复杂的分析即将出现。

  更多区块链信息:www.qukuaiwang.com.cn/news

文章内容系本站作者个人观点,不代表本站对其观点赞同或支持,文章的版权归该作者所有。如需转载,请注明文章来源。本文地址:http://www.cis.net.cn/kejikuaixun/42893.html
留言与评论(共有 条评论)
验证码:

最新文章

为什么语言设计在分布式分类账技术中如此重要

科技快讯
为什么语言设计在区块链和其他分布式账本中很重要?当然,这是选择技术平台时应该仔细评估的标准之一:由于使用了易于利用的脚本语言,价值数百万美元的加密货币已经被盗。分布式分类账是一个数据库网络,它们之间有某种自动调节的方法。这可以确保在节点中不包含冲突的信息。智能合约允许我们将业务逻辑编码来修改分类账状态的可执

安信证券:区块链利好政策频现 脱虚向实大有可为

科技快讯
【安信证券:区块链利好政策频现脱虚向实大有可为】12日,国家工信部发布公告表示,近期工业和信息化部信息化和软件服务业司就筹建全国区块链和分布式记账技术标准化技术委员会事宜开展专题研究。安信证券下午发布点评提到:区块链产业利好政策频现,脱虚向实大有可为。市场对于区块链行业最大的担忧就

美国官方推出2种市值1美元数字币,目的是挑起世界级金融灾难

科技快讯
这个世界正在加速改变,无法跟上的人都会成为时代的牺牲品。现在,就算你一辈子都不打算出国,也能感受到贸易战带给中国社会的种种影响:A股暴跌、外贸萧条、物价上涨。尤其是在特朗普就任美国总统后,这种改变正变得越发明显。2017年12月,美国公布了特朗普执政后的首份《国家安全战略报告》。在这份报告中,特朗普全面阐述了他的对华战

甘肃走上「云复工」潮流前排:用蚂蚁区块链实现无接触招投标

科技快讯
特殊环境中,各地正在比拼如何用科技创新开展「无接触复工」。这次,来自西北的拿出了创新新样本――甘肃公共资源交易局用上了技术,既最大限度保障项目建设,又避免了传统方式线下多人接触。2月10日,甘肃省公共资源交易局联合蚂蚁区块链、阿里云、甘肃文锐,基于蚂蚁Baa

比特币哈希函数简述

科技快讯
对比特币感兴趣的人或多或少应该都听说过“加密哈希函数(cryptographichashfunction)”这个术语。但是它究竟是什么意思,与加密货币又有什么联系?哈希函数不仅是比特币协议的重要部分,还是也是整个信息安全的重要部分。

王福重再谈区块链,泡沫是价值的另一种说法,区块链可能是普通人最后一次逆袭的机会了

科技快讯
比特吴导读:和大家一起探讨王福重老师的这两个视频,主要是想安抚一下大家焦躁的内心,不要急,现在的亏损只是暂时的,如果不等着用的资金,已经亏损超过70%的Token,就不建议割肉出来了,时间换空间而已,典型的泡沫期,泡沫只是价值的另一种说法而已,所以从本质上来讲,数字资产的增长空间还有无限大,关于这一点,王福重老师的视频中均可看到。昨日

支付宝区块链怎么玩(支付宝区块链怎么用)

科技快讯
日前,首单支付宝理赔出现,用户从提交申请到理赔款到账,全程用时仅5秒。“秒级”理赔速度背后离不开蚂蚁金服先进技术支撑,基于的电子票据更是一键保险理赔的关键。作为理赔凭证的区块链电子票据具有全程不可篡改、可追溯等特

巴西建立多个加密货币协会 促进加密货币规范发展

科技快讯
巴西著名的加密货币交易所包括Bitcointrade、MercadoBitcoin、Foxbit等,最近联手创建了一个加密货币协会,目标是捍卫加密货币用户的利益。这个被称为“ABCripto”的组织最近发现,其他公司也创建了一个类似的协会。

MANA(Decentraland)介绍、网址及交易平台

科技快讯
Decentraland是一个分布式共享虚拟平台。在这个平台上,用户可以浏览和发现内容,并与其他人和实体互动。用户还可以通过基于区块链的土地账本宣称对虚拟领地的所有权。领地由直角坐标(X,Y)来划定,其所有者可以决定领地上发布的内容,包括从静态3D场景到游戏等互动式系统。领地是存储在以太坊智能合同中的不可替代的、可转移的稀有数

英国|区块链大咖云集,来听一听ICO的融资方法!

科技快讯
2017年7月7日,在英国伦敦,将举办英国第一次专门讨论众筹、ICO和区块链社区建设议题一天的会议。真儿真儿地可谓是全世界高水平的区块链大咖云集的大party,16位大咖们将陆续登上演讲台演讲,上海快贝董事长作为唯一的中国区块链大咖,将会带来《ICOsinChina》的演讲,向世界发声讲述中国的ICO项目。那么,如何参与大会呢?答案是:登录我们的