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

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

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

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

CFTC专员:TradFi法规在一定程度上可以适用于加密货币:金色财经报道,商品期货交易委员会委员Christy Goldsmith Romero表示,加密货币可能对金融稳定构成一些风险,但可能只需要更明确的指导方针,而不是一套全新的规则。

尽管如此,Goldsmith Romero表示,由于数字资产与传统金融产品不同,我们在进行定制化处理时必须有点谨慎,因为我们不知道这样做的后果。官员们应该审查传统金融市场的既定监管方式,看看它们是否可以适用于加密货币。同时,国会的澄清将 \"有助于 \"界定哪个政府机构应该负责监管数字资产。在比特币或其他不是证券的商品和数字资产方面,没有一个市场监管机构,这是一个监管空白。(coindesk)[2022/10/29 11:54:49]

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

印度财政部长:加密货币所得应作为收入征税,消费税适用于加密货币交易所的服务:对政府目前是否对加密货币收入征收所得税,以及是否从加密货币交易所收取商品及服务税。印度财政部长Anurag Singh Thakur表示,由于任何来源的收入都包含在1961年《所得税法》中,并且任何服务的提供(如果未明确免除)都应按照商品及服务税(GST)征税,加密货币交易和加密交易所提供的服务所得都应纳税。Thakur说:“无论业务性质如何,税收总收入应包括来自任何来源的所有收入。加密货币/资产转让产生的收益应在收入项下征税。提供任何服务,如果没有特别豁免,则根据商品及服务税应纳税,与加密货币兑换有关的服务也没有豁免。”该部长补充说,政府没有保存加密收益的数据,因为信息技术报表中没有规定获取此类收益的数据。中央间接税和海关委员会(CBIC)发布了独特的服务会计代码(SAC),将每项服务归入商品及服务税。Thakur说,由于加密货币没有专门的SAC,政府无法获得加密货币的商品及服务税收款。(Financial Express)[2021/3/28 19:24:26]

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

动态 | 日本Kabu.com证券合作DSB开发防系统 可用于加密货币交易:据日经新闻报道,日本Kabu.com证券正与证券系统开发企业Daiko证券合作,开发一款防及恐怖融资的新系统,以应对今年秋季国际组织反金融行动特别工作组对日本进行的审查。据悉,除股票交易外,该系统还可用于外汇交易及加密货币交易。[2019/4/4]

Simplicity的设计目标是:

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

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

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

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

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

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

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

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

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

结论

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

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

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

银河链

FTT比特币中国暂停交易,互联网金融出路在哪?

文|孟永辉 继ICO被定性为非法集资之后,国内数字货币市场一直处于消极发展的状态。近期又有消息称国内的数字货币交易平台将会被关闭,比特币中国于9月14日宣布将会暂停新用户的注册,并将会在9月30.

[0:0ms0-2:950ms