木星链 木星链
Ctrl+D收藏木星链
首页 > 加密货币 > 正文

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

作者:

时间:1900/1/1 0:00:00

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

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

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

Portal Ventures推出首支3500万美元规模基金 用于加密种子前投资:金色财经报道,Portal Ventures推出首支3500万美元规模基金,用于加密货币创业界的种子期前投资。该基金由前Insight投资者Evan Fisher领导。自今年1月以来,Portal Ventures已经完成了8笔交易,包括对web3开发者工具创业公司Polywrap和加密游戏基础设施创业公司Worlds.org的投注。Portal公司的另一位风险合伙人Ori Shimony来自web3基础设施领域的建设者背景,并经营着一个相当大的加密货币开发者团体,协助这家年轻的公司履行其承诺,除了财务指导外,还帮助年轻的创业公司制定战略和产品路线图。(techcrunch)[2022/8/10 12:13:58]

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

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

由于其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。

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

加密货币热门资讯
比特币:【数据图】区块链鼻祖——比特币自诞生以来的整个涨幅可视化过程

比特币的突破性一年 比特币的概念最初由中本聪在2009年提出,根据中本聪的思路设计发布的开源软件以及建构其上的P2P网络。比特币是一种P2P形式的数字货币.

1900/1/1 0:00:00
Polkadot:2023年Polkadot波卡生态比较值得关注的7个潜力项目

尽管Polkadot直到现在依然是一个尚未被广泛采用的区块链,但我发现似乎越来越多的人正在开始谈论它。 Polkadot将自己定位为下一代区块链协议,能够将多个专业链连接成一个通用网路.

1900/1/1 0:00:00
比特币:火币网、OKCoin停止所有虚拟币业务

此前宣布停止人民币交易业务;知情人士称各平台负责人目前被要求不得离京有关比特币等虚拟货币交易所是否保留两家出口的悬念最终揭晓,中国将告别传统的比特币交易平台.

1900/1/1 0:00:00
元宇宙:世界上最安全硬币的那些小秘密

网络配图 世界上最安全硬币的那些小秘密是什么呢?这枚新硬币被称作“世界最安全、最难伪造”的硬币,它到底有何特殊之处呢?据悉该硬币比旧款略大,但更薄、更轻.

1900/1/1 0:00:00
RWA:崛起社区:RWA,风浪越大,鱼越大

MakerDAO针对RWA的链下资产,在抵押借贷的业务逻辑上有些调整。主要是清算部分不是通过链上公开拍卖执行清算,而是由第三方在链下强制执行.

1900/1/1 0:00:00
BCD:比特币分叉币之比特币钻石BCD

本文由币乎社区(bihu.com)内容支持计划赞助比特币钻石是将于比特币高度为495866发生分叉的分叉币,全名BitcoinDiamond,简写BCD.

1900/1/1 0:00:00