用于加密货币和区块链的语言Simplicity_区块链:区块链存证怎么弄

又一种新的编程语言问世啦!Simplicity最初是被设计为执行智能合约的低级语言,如今极有可能成为加密货币和区块链应用的最佳应用。

Blockstream的Dr.RussellO'Connor在《ANewLanguageforBlockchainsaspartofasessiononnewlanguagesandtoolsatPLAS2017》中是如此描述Simplicity的:

Simplicity旨在改进现有的加密货币语言,例如BitcoinScript和Ethereum'sEVM。Simplicity在Coq中定义了正式的指称语义。

Tropic Square完成400万欧元融资,其芯片将用于加密硬件钱包Trezor:捷克初创公司Tropic Square完成400万欧元融资,瑞士投资公司Auzera投资。融资将用于完成开发并开始测试世界上首个完全透明和可审计的安全芯片TASSIC,预计将于2022年底推出,将用于加密硬件钱包Trezor中。

据悉,Tropic Square和Trezor都隶属于SatoshiLabs集团。(PRNewsWire)[2021/3/22 19:07:43]

同时,Simplicity还引入了一种称为BitMachine的抽象机器定义的操作语义,用于评估Simplicity程序所需的计算空间和时间资源。

Solidus Labs将推出适用于加密交易所的市场监控工具:市场操纵是美国证券交易委员会(SEC)拒绝一些比特币交易所交易基金(ETF)申请的主要担忧之一。技术公司Solidus Labs 18日宣布,它将推出一款市场监控工具,用于监控加密交易所交易数据,并在不同平台上标记潜在的操纵行为,作为解决加密市场监管担忧的一部分。(Coindesk)[2020/11/19 21:21:28]

由于其Turing不完整性,Simplicity适用于静态分析,可用于在执行之前导出所需计算资源的上限。虽然Turing不完整,但Simplicity仍然可以执行任何有用的功能,并且我们相信它足以为区块链应用程序构建有用的"智能合约"。

澳大利亚将建设20兆瓦太阳能发电站,专用于加密货币挖矿:有报道称,澳大利亚计划批准一个20兆瓦的太阳能发电厂,该发电厂将用于为加密货币挖矿和澳大利亚西部柯利的数据中心供电。[2018/5/2]

Simplicity的设计目标是:

创建一个富有表现力的语言,为用户提供构建程序和智能合约所需的工具。

启用静态分析,提供所需计算量的有用上限。

最大限度地减少带宽和存储需求,并通过在redemptiontime删除未使用的代码来增强隐私。

保持比特币自设交易的设计,即程序不能访问交易以外的任何信息。

提供正式的语义,便于使用现有的proof-assistantsoftware。

需要注意的是,"Simplicity是被设计为执行智能合约的低级语言,而不是程序员直接编写的语言。"

Simplicity是一种类型化的组合语言,这一点很重要。每种类型的Simplicity表达式都有两种类型:输入类型和输出类型。每一个表达式都表示从输入类型到输出类型的函数。

"Simplicity的优势是在于它所具有的功能,而不是它所包含的功能"

这种语言没有状态,也没有命名变量,没有函数类型(这意味着没有更高阶的函数),也没有无限循环或递归-可以建立contracts状态来实现循环,而不需要在Simplicity本身内无限循环。

结论

Simplicity可以部署在新的区块链应用中,包括sidechain和比特币本身,也可以用于需要在潜在对抗条件下传输和执行有限程序的任何应用。

目前,Simplicity仍然是一个Blockstream研究和开发项目,未来有可能用于Blockstream产品。它的下一步是发布SimplicitySDK。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

水星链

[0:31ms0-0:665ms