又一种新的编程语言问世啦!Simplicity最初是被设计为执行智能合约的低级语言，如今极有可能成为加密货币和区块链应用的最佳应用。
Blockstream的Dr.RussellO'Connor在《ANewLanguageforBlockchainsaspartofasessiononnewlanguagesandtoolsatPLAS2017》中是如此描述Simplicity的：
Simplicity旨在改进现有的加密货币语言，例如BitcoinScript和Ethereum'sEVM。Simplicity在Coq中定义了正式的指称语义。
区块链生物技术公司Genomes.io获GEM Digital 2000万美元投资承诺:金色财经报道，专注于基因组数据安全、私密和可审计货币化的区块链生物技术公司Genomes.io宣布获得巴哈马数字资产投资公司GEM Digital 2000万美元投资承诺，目前该公司正在与AMD和ConsenSys等合作伙伴构建Web3基础设施，以确保基因组数据的安全存储、查询和管理。[2023/8/22 18:14:35]
同时，Simplicity还引入了一种称为BitMachine的抽象机器定义的操作语义，用于评估Simplicity程序所需的计算空间和时间资源。
数据：Base本周在日均交易量方面已超过Arbitrum和Optimism:8月18日消息，由Coinbase构建的以太坊Layer2网络Base本周在日均交易量方面超过Arbitrum和Optimism。根据The Block的数据仪表板显示，Base的七天移动平均每日交易数量于8月15日达到了61万笔，而Optimism为59.7万笔，Arbitrum为57.6万笔。[2023/8/18 18:09:04]
由于其Turing不完整性，Simplicity适用于静态分析，可用于在执行之前导出所需计算资源的上限。虽然Turing不完整，但Simplicity仍然可以执行任何有用的功能，并且我们相信它足以为区块链应用程序构建有用的"智能合约"。
Ripple律师：SEC利用报告的透明度来针对Ripple及其两名高管:金色财经报道，Ripple律师John E Deaton在社交媒体发文表示，SEC利用报告的透明度来针对Ripple及其两名高管。作为一家私营公司，Ripple没有义务分享这些信息。尽管美国证券交易委员会和其他机构利用这些信息来对付Ripple，但这种透明度阻止了SEC试图提出虚假欺诈、虚假陈述或操纵指控，如果可以的话，SEC肯定会这么做。当你的信息透明时，即使他们想欺诈，也无从下手。[2023/8/2 16:13:43]
Simplicity的设计目标是：
创建一个富有表现力的语言，为用户提供构建程序和智能合约所需的工具。
启用静态分析，提供所需计算量的有用上限。
最大限度地减少带宽和存储需求，并通过在redemptiontime删除未使用的代码来增强隐私。
保持比特币自设交易的设计，即程序不能访问交易以外的任何信息。
提供正式的语义，便于使用现有的proof-assistantsoftware。
需要注意的是，"Simplicity是被设计为执行智能合约的低级语言，而不是程序员直接编写的语言。"
Simplicity是一种类型化的组合语言，这一点很重要。每种类型的Simplicity表达式都有两种类型：输入类型和输出类型。每一个表达式都表示从输入类型到输出类型的函数。
"Simplicity的优势是在于它所具有的功能，而不是它所包含的功能"
这种语言没有状态，也没有命名变量，没有函数类型(这意味着没有更高阶的函数)，也没有无限循环或递归-可以建立contracts状态来实现循环，而不需要在Simplicity本身内无限循环。
结论
Simplicity可以部署在新的区块链应用中，包括sidechain和比特币本身，也可以用于需要在潜在对抗条件下传输和执行有限程序的任何应用。
目前，Simplicity仍然是一个Blockstream研究和开发项目，未来有可能用于Blockstream产品。它的下一步是发布SimplicitySDK。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。