比特币开发人员提出了一种新方法,无需软分叉即可为比特币(BTC)带来更具表现力的链下智能合约。
在 9 月 XNUMX 日的白皮书中宣布 标题 “BitVM:在比特币上计算任何东西”由 ZeroSync 的项目负责人 Robin Linus 撰写,BitVM 可以在不改变比特币共识规则的情况下实现图灵完备的比特币合约。
“任何可计算的函数都可以在比特币上验证”https://t.co/Itf9UHos0C pic.twitter.com/CLQv49Ydsg
— яobin linus (@robin_linus) 2023 年 10 月 9 日
图灵完备系统理论上可以为任何计算问题提供答案。
使用 BitVM,比特币合约的“逻辑”将在链外执行,但验证将在比特币上进行——类似于以太坊的乐观汇总。
BitVM 的架构基于欺诈证明和挑战响应模型,其中“证明者”可以提出主张,“验证者”可以执行欺诈证明,以在提出虚假主张时惩罚证明者。
Linus 解释说,比特币目前的形式仅限于基本操作,例如签名、时间锁和哈希锁,但现在可以通过 BitVM 进行扩展,Linus 表示 BitVM 可以计算许多有趣的应用程序。
“潜在的应用包括国际象棋、围棋或扑克等游戏,特别是比特币合约中有效性证明的验证。”
“此外,还可以将 BTC 与外国链连接起来,建立一个预测市场,或者模拟新颖的操作码,”Linus 说。
Linus 表示,该模型的局限性在于,它仅限于具有证明者和验证者的两方设置,并且需要大量的链下计算和通信来执行程序。
Linus 表示,下一个“里程碑”是除了 Tree++(一种用于编写和调试比特币合约的高级编程语言)之外,全面实现 BitVM。
BitVM 由 2021 年 XNUMX 月发生的 Taproot 软分叉启用。
Linus 在撰写这份长达八页的白皮书时引用了以太坊对乐观汇总的研究以及对 Merkle 树的研究。
比特币支持者对 BitVM 的回应
著名比特币专家埃里克·沃尔 (Eric Wall) 在 X (Twitter) 上发帖称,BitVM 白皮书中概述的概念“经过检验”,并且“谨慎地兴奋”地想看看它在现实世界中的实验结果。
比特币分析师迪伦·勒克莱尔 (Dylan LeClair) 也是 印象深刻 与 BitVM 的白皮书。但是 Adam Back,比特币核心贡献者 建议 人们还不应该对这一发展过于兴奋。
对于那些变得(过度)兴奋的人来说,这很酷,但实际上是两方游戏的概括 - 它在抽象中说得对 - 所以它有点像 Greg Maxwell 的 2016 ZKP 或有支付实施示例 https://t.co/OeHRsbFjud
- Adam Back(@adam3us) 2023 年 10 月 9 日
相关:BIP-300 biff:围绕多年的比特币驱动链提案重新引发争论
区块链领域的一位建设者“dotta” 注意到 GitHub 上已经有一个概念验证。
另一位 X 用户 Sam Parker 试图通过以下方式解决比特币最大化主义者的普遍恐惧: 说明 BitVM 不会强迫比特币被“锁定”到这些合约中。
“最后,这是选择加入。 如果您不相信您的代币被锁定到某个图灵完备的合约(完全合理),那么就不要将它们锁定到图灵完备的智能合约。 UTXO 系统的优点之一是安全沙箱。”
其他人,例如“psage”,则表示 BitVM 增加了将在下一个牛市中推动比特币价格上涨的因素。
周围看涨的东西 #Bitcoin 正在滚雪球,其中很多都是有争议的,但有一些是我的指尖:
– 比特虚拟机
– 序数词
– 多位总统候选人谈论此事
– ETF
– 减半
– 隐私改进
– 指数哈希率增加
– 国家采矿
....
— psage (@perspiringsage) 2023 年 10 月 9 日
Cointelegraph 联系了 Linus 请求置评,但没有立即收到回复。
杂志:《Wolf Of All Streets》对比特币突破 1 万美元的世界感到担忧:Hall of Flame
#Bitcoiner #drops #BitVM #paper #bringing #Ethereumlike #contracts #Bitcoin
- :具有
- :是
- :不是
- :在哪里
- 2016
- 2021
- 9
- a
- 关于
- 摘要
- Adam
- 亚当回来
- 增加
- 添加
- 所有类型
- 已经
- 还
- 其中
- 量
- an
- 分析人士
- 和
- 回答
- 任何
- 什么
- 应用领域
- 架构
- 保健
- 围绕
- AS
- 尝试
- 背部
- 基于
- 基本包
- BE
- 作为
- 位
- 比特币
- 比特币核心
- 比特币开发商
- 比特币极端主义者
- blockchain
- 区块链空间
- 桥
- 带来
- 瞻
- BTC
- 建立
- 建设者
- 公牛
- 牛市
- 看涨
- 但是
- by
- CAN
- 候选人
- 链
- 棋
- 引
- 索赔
- 硬币
- 评论
- 相当常见
- 沟通
- 完成
- 计算
- 计算
- 计算
- 概念
- 共识
- 继续
- 合同
- 合同的
- 贡献
- 贡献者
- 争议
- Cool
- 核心
- 核心贡献者
- 国家
- 加密信息网
- 电流
- 辩论
- 开发商
- 研发支持
- DID
- 别
- 滴
- 迪伦·勒克莱尔
- 只
- 启用
- 使
- 埃里克
- 复仇
- 以太坊的
- 例子
- 兴奋
- 执行
- 执行
- 实验
- 解释
- 指数
- 表现的
- false
- 恐惧
- 少数
- 手指
- 针对
- 力
- 国外
- 叉
- 申请
- 向前
- 骗局
- 止
- 充分
- 功能
- 游戏
- Games
- 得到
- 越来越
- GitHub上
- Go
- 大厅
- 哈希
- 散列率
- 高水平
- 点击
- 主持人
- HTTPS
- if
- 即时
- 实施
- 实施
- in
- 包括
- 有趣
- 成
- IT
- 它的
- JPG
- 只是
- 语言
- 铅
- 喜欢
- 局限性
- 有限
- 友情链接
- 莱纳斯
- 清单
- 锁定
- 很多
- 制成
- 使
- 市场
- 最高纲领
- 默克尔树
- 可能
- 采矿
- 模型
- 更多
- 多
- my
- 旅游导航
- 打印车票
- 需要
- 虽然
- 全新
- 下页
- 小说
- 十一月
- 2021年 十一月
- 现在
- 十月
- of
- 折扣
- on
- 一
- 运营
- 乐观的
- 乐观汇总
- or
- 概述
- 超过
- 纸类
- 尤其
- 支付
- 员工
- 演出
- 地方
- 柏拉图
- 柏拉图数据智能
- 柏拉图数据
- 扑克
- 可能
- 发布
- 预测
- 预测市场
- 车资
- 隐私
- 市场问题
- 代码编程
- 训练课程
- 项目
- 样张
- 建议
- 提供
- 推
- 率
- 阅读
- 真实的世界
- 合理
- 接收
- 研究
- 回应
- 响应
- 右
- 知更鸟
- 汇总
- 定位、竞价/采购和分析/优化数字媒体采购,但算法只不过是解决问题的操作和规则。
- 说
- Sam
- 对工资盗窃
- 说
- 保安
- 看到
- 设置
- 签名
- 显著
- 类似
- 智能
- 聪明的合同
- 智能合同
- So
- 软
- 软叉
- 一些
- 太空
- 干
- 学习
- 这样
- 系统
- 说
- 直根
- 这
- 他们
- 然后
- 那里。
- 博曼
- 事
- Free Introduction
- 秘诀
- 至
- 也有
- 了
- 完全
- 树
- 信任
- 图灵
- 用户
- 企业验证
- 专利
- 墙
- 方法..
- 什么是
- ,尤其是
- 这
- 白色
- 白皮书
- 将
- 也完全不需要
- 狼
- 世界
- 将
- 写
- X
- 但
- 您
- 您一站式解决方案
- 和风网