比特币:用于加密货币和区块链的语言Simplicity

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

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

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

Avalanche将推出用于加速自定义虚拟机开发的工具HyperSDK:2月22日消息，Avalanche宣布将推出HyperSDK，这是开发人员在Avalanche上构建高性能虚拟机的第一个框架，开箱即用。HyperSDK旨在加速自定义虚拟机开发，为构建最快的区块链创建基础。

HyperSDK的结构使开发人员可以插入闪电般快速的执行环境，而无需从头开始编写大量代码，从而将构建自己的区块链运行时所需的时间从几个月缩短到几天。HyperSDK的公共开发网络将在不久的将来公开发布，并支持原生的Avalanche Warp Messaging。[2023/2/22 12:22:17]

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

声音 | FinCEN主任：反法也适用于加密货币:美国金融犯罪执行网络(FinCEN)主任Kenneth Blanco在乔治城大学发表讲话时明确表示，反(AML)法律适用于所有人。Blanco表示，向加密货币用户提供匿名服务的金融科技公司必须像其他所有公司一样遵守反法。（cointelegraph）[2019/10/22]

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

动态 | 塞浦路斯证监会CySEC主席:反条款必须适用于加密资产:据FX168财经报社消息，在塞浦路斯举行的iFX博览会上，塞浦路斯监管机构主席Demetra Kalogerou谈到了监管和监控加密货币空间的重要性，因为如果放任不管，它可能会危及金融市场。Kalogerou表示，反条款必须适用于加密资产；一方面，我们认识到基于加密资产的新技术的价值，包括区块链在现代交易中的长期适用性。另一方面，我们看到加密资产本身存在已被证实的反和FTC风险，这不仅会损害投资者保护，还会损害市场的完整性、合法性和支撑市场的基础设施。[2019/5/23]

Simplicity的设计目标是：

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

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

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

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

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

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

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

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

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

结论

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

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

标签：区块链比特币加密货币区块链工程专业学什么区块链存证怎么弄区块链技术发展现状和趋势比特币中国官网联系方式40亿比特币能提现吗比特币最新价格行情走势加密货币是什么意思啊加密货币市场还有未来吗

PEPE币热门资讯