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

2018-12-03 17:55 栏目:经验之谈 来源: 查看()
为什么语言设计在区块链和其他分布式账本中很重要?当然,这是在选择技术平台时应该仔细评估的标准之一。:由于易​​于使用的脚本语言,数百万美元的加密货币被盗。

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

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

良好的工作流语言设计

什么是良好的工作流脚本语言?
·易于用户理解
·简单的计算机分析

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

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

另一个需要考虑的重要因素是机器的可分析性。所有主要的编程语言都是图灵完备的,也就是说,如果使用这种语言的任何程序,我们不确定程序是否会运行。在真实的资产和资源环境中,这是不可取的,因为在这些环境中,我们绝对希望确保事务完成并且计算准确完成。

此外,其他更复杂和有趣的分析(例如,基于特定惯例的付款,在特定日期之前;所有资金的最终发布等)变得难以在正常编程语言中解决。 

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

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

在上面,您可以找到天然气交易工作流程的直观表示。此图由底层FCL工作流的源代码自动生成,有助于在工作流执行期间可视化和传达可能的操作流程。 Adjoint正在大力投资FCL的工程。凭借令人兴奋的功能和工具,即将推出更直观的工作流程开发和更复杂的分析。


微信二维码
售前客服二维码

文章均源于网络收集编辑侵删

提示:仅接受技术开发咨询!

郑重申明:资讯文章为网络收集整理,官方公告以外的资讯内容与本站无关!
NFT开发,NFT交易所开发,DAPP开发 Keywords: NFT开发 NFT交易所开发 DAPP开发