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

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

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

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

万事达卡提交新的商标申请,以引入用于加密货币和区块链交易的软件:6月20日消息,据美国商标许可律师Michael Kondoudis的推文,支付巨头万事达卡(Mastercard)于6月12日提交了一份新的商标申请,以引入用于加密货币和区块链交易的软件,并在虚拟资产服务提供商之间建立用于加密交易的链接。[2023/6/20 21:49:01]

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

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]

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

Yuga Labs申请注册“APE”商标 用于加密货币和网络游戏等:11月22日消息,NFT 项目“Bored Ape Yacht Club”创造者 Yuga Labs 向美国专利和商标局(USPTO)提交了“APE”商标申请,用于加密货币、网络游戏、计算机软件平台和定制区块链的开发软件,目前该申请正在等待审核中。[2021/11/22 22:08:05]

Simplicity的设计目标是:

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

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

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

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

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

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

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

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

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

结论

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

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

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

金星链

[0:15ms0-1:96ms