又一种新的编程语言问世啦!Simplicity最初是被设计为执行智能合约的低级语言,如今极有可能成为加密货币和区块链应用的最佳应用。
Blockstream的Dr.RussellO'Connor在《ANewLanguageforBlockchainsaspartofasessiononnewlanguagesandtoolsatPLAS2017》中是如此描述Simplicity的:
Simplicity旨在改进现有的加密货币语言,例如BitcoinScript和Ethereum'sEVM。Simplicity在Coq中定义了正式的指称语义。
Yuga Labs申请注册“APE”商标 用于加密货币和网络游戏等:11月22日消息,NFT 项目“Bored Ape Yacht Club”创造者 Yuga Labs 向美国专利和商标局(USPTO)提交了“APE”商标申请,用于加密货币、网络游戏、计算机软件平台和定制区块链的开发软件,目前该申请正在等待审核中。[2021/11/22 22:08:05]
同时,Simplicity还引入了一种称为BitMachine的抽象机器定义的操作语义,用于评估Simplicity程序所需的计算空间和时间资源。
声音 | Galaxy Digital首席执行官:普通投资者应将其投资资金的2%-3%用于加密:据CryptoGlobe 8月4日消息,Galaxy Digital首席执行官Michael Novogratz在接受采访被问及“一个普通人应该把多少钱配置到比特币和其他加密资产上”,Michael Novogratz表示,普通投资者应该将其投资组合的2%到3%用于加密。当被问及是否在贵金属或比特币上投入了更多资金时,Michael Novogratz称,更多地投入比特币。并表示其不会用比特币进行投机,而是将其用于长期增长。[2019/8/4]
由于其Turing不完整性,Simplicity适用于静态分析,可用于在执行之前导出所需计算资源的上限。虽然Turing不完整,但Simplicity仍然可以执行任何有用的功能,并且我们相信它足以为区块链应用程序构建有用的"智能合约"。
LINE:未授权“LINE”公司的名称和LOGO用于加密货币活动:LINE在3月26日表示,该公司的公司名称和LOGO被擅自使用在有关“游戏×块链虚拟货币”的活动公告媒体上,并澄清“此活动我与公司无关”。该活动在活动传单上将LINE公司名称和LOGE列为合作伙伴,但是,LINE公司及集团与活动无关,且与主办单位没有任何合作或投资关系。[2018/3/27]
Simplicity的设计目标是:
创建一个富有表现力的语言,为用户提供构建程序和智能合约所需的工具。
启用静态分析,提供所需计算量的有用上限。
最大限度地减少带宽和存储需求,并通过在redemptiontime删除未使用的代码来增强隐私。
保持比特币自设交易的设计,即程序不能访问交易以外的任何信息。
提供正式的语义,便于使用现有的proof-assistantsoftware。
需要注意的是,"Simplicity是被设计为执行智能合约的低级语言,而不是程序员直接编写的语言。"
Simplicity是一种类型化的组合语言,这一点很重要。每种类型的Simplicity表达式都有两种类型:输入类型和输出类型。每一个表达式都表示从输入类型到输出类型的函数。
"Simplicity的优势是在于它所具有的功能,而不是它所包含的功能"
这种语言没有状态,也没有命名变量,没有函数类型(这意味着没有更高阶的函数),也没有无限循环或递归-可以建立contracts状态来实现循环,而不需要在Simplicity本身内无限循环。
结论
Simplicity可以部署在新的区块链应用中,包括sidechain和比特币本身,也可以用于需要在潜在对抗条件下传输和执行有限程序的任何应用。
目前,Simplicity仍然是一个Blockstream研究和开发项目,未来有可能用于Blockstream产品。它的下一步是发布SimplicitySDK。
标签:区块链比特币加密货币区块链工程专业学什么区块链存证怎么弄区块链技术发展现状和趋势比特币中国官网联系方式40亿比特币能提现吗比特币最新价格行情走势加密货币是什么意思啊加密货币市场还有未来吗
编者按:这里是36氪推出的栏目,盘点当天国内外投融资动态。今日国内的焦点是十分到家获得1.05亿人民币战略投资,海外的投融资关注重点则是4DReplay获得100万美元天使轮融资.
1900/1/1 0:00:00前言 在我们日常生活中,经常会看到GIF动图,也许是你的朋友给你发的,也许是你在网上看到的,但是你也许会很好奇,这种GIF动图是怎么做的,那么今天小编就分享一款GIF动图制作软件.
1900/1/1 0:00:00Coinbase已与加拿大监管机构签署预注册承诺:金色财经报道,Coinbase在最新发布的博客文章中表示,已于3月24日与加拿大监管机构签署了一份加强版预注册承诺.
1900/1/1 0:00:00Billions项目组 RWA概念的热度起来了,相关的XVS价格也出现了大幅波动。简单介绍一下RWAs概念和相关项目$POLYx&$OM,$TRU,$ENJ,$PERL,$MKR,$SN.
1900/1/1 0:00:00国美电器日前宣布,于2017年4月5日在香港交易所回购2590.9万股,耗资2772.26万港币,每股回购价格为1.07港元。公司可能根据实况进一步购回股份.
1900/1/1 0:00:00玩客币推出后,迅雷屡登头条,加上前段时间与迅雷金融的“内讧”,将迅雷推上风口浪尖。12月9日下午消息,迅雷官方今日《玩客奖励计划重大调整公告》.
1900/1/1 0:00:00