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

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

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

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

印度播主Carry Minati的YouTube频道遭黑客入侵,被用于加密货币:印度顶级YouTuber Carry Minati(真名为Ajey Nagar)的第二个频道CarryisLive被黑客入侵,成为比特币的一部分。据报道,Carry Minati通常用CharryIslive发布游戏视频。该频道被入侵后,直播了两个名为“以太坊赚钱电话”和“慈善直播:帮助阿萨姆邦和比哈尔邦”的视频,要求用户捐赠比特币。这些视频已经被删除。

据此前报道,苹果联合创始人史蒂夫·沃兹尼亚克(Steve Wozniak)已就比特币赠品局起诉YouTube及其母公司Google。Wozniak是周二提起诉讼的18名原告之一,该诉讼寻求惩罚性赔偿,并将由陪审团进行审判。Wozniak要求YouTube删除使用其姓名和肖像进行的所有比特币赠品和促销活动。(Business Insider)[2020/7/25]

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

独家 | SEC委员:豪威测试可能不适用于加密货币,很多加密资产具有独特的特性:金色财经现场报道,今日在旧金山区块链周的主会上,美国证券交易委员会委员、“加密妈妈”Hester Peirce表示,监管政策应该更清晰,让创新者知道自己的位置,哪些是合规的,哪些是不合规的。加密资产最让人兴奋的地方在于它们具有互联网货币的潜力,或许还是可以和黄金媲美的更安全的价值存储工具。Peirce称,事实上,SEC正在试图定义一个时间“安全港”框架,从代币发行至代币开始用起来的这段时间,这样就可以在不违背证券法的同时允许在监管框架内创新。Peirce表示自己的观点已经改变了,豪威测试可能不适用于加密货币,SEC需要更清楚,因为很多加密资产具有自己独特的特性。我们可以看到,好的监管有时候不是来自政府,相反来自市场参与者。行业自律组织的作用很大,监管者应该和各种团体密切合作。Peirce最后表示,SEC不能决定哪个技术最终能成功,但是SEC还是应该深入理解行业。[2019/11/1]

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

动态 | 尼日利亚联合银行:将监控用于加密货币交易的账户:据bitcoin.com消息,在本周向账户持有人发表的一份声明中,尼日利亚联合银行警告:为了保证客户资金的安全,联合银行将监控用于加密货币交易的账户,并可能施加限制,包括关闭此类账户。[2018/11/28]

Simplicity的设计目标是:

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

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

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

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

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

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

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

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

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

结论

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

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

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

地球链

酷币下载ETH:Tokenmics:Web3项目如何发币(3)

引言 同志们,币圈又见君,吾心神摇曳。当你为一个项目设计,或者正在研究一个项目的代币经济学时,有一个重要的问题,这些代币将怎么到用户的手上?你不得不重视这个环节,代币的发布方式会对项目是否能获得.

比特币交易ONG:造币工艺及相关术语大全

欢迎关注“天涯钱币”,钱币收藏领域最精彩的自媒体关于贵金属纪念币的一些专业术语和一些造币工艺,小天特意整理出来希望对收藏的新手朋友有所帮助.

[0:0ms0-0:905ms