Blockstream通过Liquid网络上的Simplicity实现比特币智能合约可编程性

芝麻开门

芝麻开门(Gateio)

注册芝麻开门享最高$2,800好礼。

币安

币安(Binance)

币安是世界领先的数字货币交易平台,注册领100U。

Blockstream在Liquid Network上推出Simplicity智能合约语言,为比特币基础设施带来可编程性。该语言由研究员Russell O’Connor于2017年提出,比比特币脚本更具表现力,同时比通用平台更简洁安全。Simplicity非图灵完备,支持静态分析和形式验证,适用于金融应用开发。目前处于alpha阶段,未来计划在比特币测试网激活。Blockstream还提供高级语言SimplicityHL,便于开发者编写可读合约。

Blockstream通过Liquid网络上的Simplicity实现比特币智能合约可编程性

Blockstream通过Liquid网络上的Simplicity实现比特币智能合约可编程性 Blockstream通过Liquid网络上的Simplicity实现比特币智能合约可编程性

Blockstream在Liquid网络上推出Simplicity,实现了比特币基础设施上的智能合约可编程性。

根据 7月31日的公告,该构想最初由研究员Russell O’Connor于2017年提出。Simplicity被设计为一种全新的智能合约语言,比比特币脚本更具表现力,同时比通用平台更简洁、更安全。

通过此次发布,开发者获得了在比特币网络上构建金融应用的新途径。

公告指出,Simplicity与Solidity或Rust等语言不同,因为它不是图灵完备的。

程序描述有限函数,排除无限循环,并避免全局可变状态。这些限制是刻意为之,旨在实现静态分析,以便提前了解每个执行路径和费用成本,支持形式化验证,并倾向于可以通过实现”jets”加速的紧凑程序。

其目标是为保障真实价值的合约提供可预测的行为,而不是引入隐藏边缘案例的开放式计算。

Blockstream通过Liquid网络上的Simplicity实现比特币智能合约可编程性 Blockstream通过Liquid网络上的Simplicity实现比特币智能合约可编程性

该功能以alpha阶段登陆Liquid网络,Blockstream将其视为全面推广的务实垫脚石。

公告称,随着比特币的广泛采用,对其可编程性的需求正在上升,Liquid旨在提供一个生产环境,以交付经过审计的高保证合约。

高级语言

该公司还表示,Simplicity可以为企业控制提供契约、保险库和委托方案。因此,它支持现金结算衍生品、池化钱包等市场原语,甚至支持避免平台代币的交换逻辑。

由于原始Simplicity是刻意保持低级的,Blockstream正在推出一种类似Rust的高级语言,从Simfony更名为SimplicityHL,以便开发者可以编写可读的合约,这些合约可以编译为正式指定的核心。

此外,路线图强调,下一个主要目标是在比特币测试网络上激活,将实验保持在主网之外,同时引导生态系统朝着可验证、资源受限的智能合约方向发展。

声明:文章不代表CHAINTT观点及立场,不构成本平台任何投资建议。投资决策需建立在独立思考之上,本文内容仅供参考,风险 自担!转载请注明出处:https://www.chaintt.cn/28419.html

CHAINTT的头像CHAINTT
上一篇 2025年8月1日
下一篇 2025年8月1日

相关推荐

  • AI智能体Lisan al Gaib的崛起:区块链与人工智能的未来趋势

    ChatGPT的普及推动AI与加密领域加速融合,2023年底涌现出Bittensor等去中心化AI项目。AI智能体成为市场焦点,其总市值曾达190亿美元,占AI加密项目的94%。Truth Terminal智能体与GOAT memecoin的意外结合,催生了AI智能体与memecoin文化的融合。目前AI智能体分为基础设施、互动、实用性和DeFAI四大类,其中DeFAI通过简化DeFi操作有望推动行业普及。尽管当前投机性强,AI智能体在重塑加密生态特别是DeFi领域具有长期潜力。

    2025年8月27日
    14500
  • TikTok加密货币交易员因身无分文被绑架者释放 真实经历曝光

    法国26岁TikTok加密货币交易员在巴黎近郊Juvisy-sur-Orge被绑架,绑匪索要5万欧元赎金。因账户资金不足,受害者次日获释。2023年法国加密货币相关绑架案激增,5月连续发生两起重大案件,包括Paymium联合创始人家属绑架未遂案和一名企业家父亲被非法拘禁案。法国警方已展开专项打击,6月逮捕多名嫌疑人并起诉25名涉案人员。该事件凸显加密货币从业者安全风险,引发业内对加强安全措施的呼吁。

    2025年6月17日
    13500
  • Buterin指出预测市场收益率差距,其角色争议升温

    以太坊联合创始人Vitalik Buterin指出预测市场因缺乏生息机制难以吸引避险交易者,建议弥补收益缺口以释放对冲需求。前量化交易员Lebron批评其结构缺陷可能导致社会失衡,而支持者则认为此类市场能为企业提供高效风险对冲工具。预测市场正面临投机娱乐与金融工具的双向未来之争。

    2025年8月26日
    10000
  • The Hive AI-Powered DeFi Smart Agent Revolutionizing Decentralized Finance

    去中心化金融(DeFi)虽革新了传统金融模式,但操作复杂性阻碍了主流采用。The Hive 作为 AI 驱动的 DeFi 代理网络,构建于 Solana 区块链,通过模块化 AI 代理自动化执行交易、借贷、质押等操作,降低技术门槛并优化收益。其核心功能包括实时市场分析、跨协议集成和智能风险管理,支持个人投资者、交易者和机构用户高效参与 DeFi。原生代币 BUZZ 用于治理、质押及激励 AI 代理,推动生态发展。The Hive 通过智能自动化简化 DeFi 交互,提升安全性与资本效率,助力用户实现金融目标。

    2025年10月16日
    8100
  • “Ledger淘汰Nano S引发用户不满:老牌硬件钱包将退出市场”

    加密货币社区对Ledger终止支持Nano S硬件钱包的决定反应强烈。5月30日,Ledger宣布将逐步停止对2016年推出的Nano S型号的支持,不再提供新应用、功能更新和安全补丁,理由是设备内存不足难以支持新功能。尽管4月已发布过渡通知,但用户近期才注意到这一变更并表达不满。以太坊开发者Pcaversaccio批评此举”不厚道”,认为应保持向后兼容性。安全专家Beau建议用户立即备份助记词并考虑转移资产,指出缺乏更新将增加安全风险。该事件引发对硬件钱包生命周期和用户资产安全的广泛讨论,Ledger暂未回应媒体质询。(160字)

    2025年6月26日
    11000

联系我们

400-800-8888

在线咨询: QQ交谈

邮件:admin@example.com

工作时间:周一至周五,9:30-18:30,节假日休息

风险提示:防范以"数字货币""区块链"名义进行非法集资的风险