Bitcoin Bridge：治愈还是诅咒？

news2024/11/29 8:44:15

1. 引言

主要参考：

  • Bitcoin Bridges: Cure or Curse?

2. 为何需关注Bitcoin bridge？

当前的Bitcoin bridge，其所谓bridge，实际是deposit：
在这里插入图片描述
在其它链上的BTC情况为：
在这里插入图片描述
尽管当前约有43.7万枚BTC在其它链上，但其去中心化程度不足0.3%。
在这里插入图片描述

3. Bitcoin bridge 101

Bitcoin bridge的目标是：

  • 将BTC存入某appchain（“application chain”）内
  • 在appchain内，将BTC用作某原生资产
  • 将BTC赎回到Bitcoin
  • 用户体验（UX，User Experience）：与在中心化交易所内使用BTC一样
  • 安全性（Security）：总是能拿回你的BTC

但是需注意：

  • 在Bitcoin和appchain上，二者的信任模型是有差异的
Bitcoin链上的BTC其它appchain上的BTC
所需资源？Bitcoin钱包Bitcoin钱包、appchain钱包、bridge BTC的方式
所需信任？Bitcoin网络是安全的、钱包未损坏Bitcoin网络是安全的、appchain网络是安全的、钱包未损坏、（可能是中心化的）bridge未损坏
如何检查？开源代码开源代码、中心化bridge的声誉

在这里插入图片描述

3.1 Wrapping

BTC仅存在于Bitcoin链上。

所谓Wrapping，是指：

  • 在另一条链上，创建1:1的BTC原生token表示。

在计算机科学属于中：

  • 获取某UTXO state的write lock，并确保在该write lock释放之前，在其它链上完成（applied） 该 updates。

3.2 为何bridge如此难？

在这里插入图片描述
这是一个好的、老的公平交易问题：

  • Alice有BTC，Bob有苹果，如何确保二者交易总是公平的？
    在这里插入图片描述

在数字世界中，总是有某人先做动作，为确保所有情况下的100%公平性：

  • 需引入可信第三方
    在这里插入图片描述

这与bridge的关系为：

  • Wrapping：将BTC，替换为，wrapped BTC
  • Unwrapping：将wrapped BTC，替换为，BTC

即，需有人在Bitcoin链上做BTC的锁定和解锁。

bridge的难点在于：

  • 如何确保在锁定的同时，同步，在appchain上mint wrapped BTC？即保证整个bridge操作的原子性。
    在这里插入图片描述

bridge的挑战在于：

  • 选择合适的custodian（监护人）
    • 中心化实体
    • 委员会/联盟
    • 第三方网络的共识
    • 所关联链的共识

在这里插入图片描述

3.3 bridge最好情况：链共识

bridge最好情况：链共识，即继承目标链的安全性/去中心化。
在这里插入图片描述

如：

  • 以太坊，验证，Bitcoin SPV proof
  • Bitcoin，验证，以太坊SPV proof
  • 需有一个在线方负责relay proofs

但这需要引入新的Bitcoin opcode，来验证其它网络/系统的lock/unlock。

3.4 当今的BTC bridge：hard模式

希望能实现的目标为：

  • 根据其它链上的事件，来lock/unlock Bitcoin链上的BTC

问题在于：

  • Bitcoin链并不知道其它链上的事件。

因此，需要有人来处理BTC的lock/unlock。
当前大多数（中心化）BTC bridge的mint和redeem操作流程为：
在这里插入图片描述
但是，这样的中心化bridge，没有防盗/扣押/审查/丢失保护。
在这里插入图片描述

3.5 如何在不改变Bitcoin的情况下，实现去中心化bridge？

在这里插入图片描述
如何在不改变Bitcoin的情况下，实现去中心化bridge？
可采用如下措施：

  • 1）支持任何人成为operator/custodian。
  • 2）意识到情况更糟……则将BTC发送给网络上的随机用户。
  • 3）使用与Bitcoin相同的工具来解决：
    • 激励措施：operator锁定抵押
    • 惩罚：若operator行为不端，则slash抵押（且 补偿受害者）

如interBTC：

  • 1）任何人都可在interlay网络注册运行vaults，并存入抵押
  • 2）若用户锁定BTC，其锁定值应小于抵押值（即要求过度抵押）
    在这里插入图片描述
  • 3）则interlay网络为用户mint iBTC。
  • 4）若用户想要赎回BTC，Good Vault情况下，则：
    • 用户先返还iBTC，
    • 然后Vault将BTC返还给用户，
    • Vault的抵押解锁
  • 5）若用户想要赎回BTC，Bad Vault情况下，则：
    • 用户先返还iBTC，
    • 然后Vault fails，
    • 用户被偿付（或，尝试不同的Vault）
      在这里插入图片描述

其中，可采用如下方式来验证Bitcoin payment：【用于验证BTC锁定，以及BTC赎回完成】

  • 将Bitcoin light client (SPV) 作为智能合约部署
    • 可跟踪所有Bitcoin区块头
    • 可验证Bitcoin交易
  • 其安全模型为：若在Bitcoin主链上存在，则必须有效（与任何手机钱包一样）
  • 需有人负责持续更新该light client为最新
    在这里插入图片描述
    总之，interBTC bridge中：
  • issuer为智能合约
  • 任何人可参与的，由Vaults组成的无需许可的网络
  • 作为安全保证，Vaults需过度抵押
  • 验证：SPV light client
  • 安全假设：总是能拿回BTC，或者被偿付。
    在这里插入图片描述
    在此，忽略了：
  • 抵押管理和流动性
    • Vault抵押市值可能会下降
    • 与lending协议一样，会top up或被清算
  • 如何获得BTC报价？
    • 需要oracle
    • 可混合中心化交易所和去中心化交易所报价

还存在其它扩展：

  • Vault模式
    • Single key
    • Vault = multisig (plain, musig, MPC threshold sig,…)
    • Free for all vs pre-defined group vs one big Vault
  • 抵押类型及金额
    • Full / partial
    • Diversified (USDC, ETH,…) vs native token (risky)
  • 安全假设
    • Pessimistic / optimistic
  • 验证类型
    • Light client / 3rd party oracle / coinvote（共同投票）

4. 现有Bitcoin bridge方案对比

现有Bitcoin bridge方案对比为：

BTC保管/安全模型是否抵押？
RSK由第三方群体组成的多签否
Stacks xBTC中心化第三方保管否
Stacks sBTC由STX质押者组成的多签，会轮换是，但仅抵押STX token
tBTC v2由大量（50/100）第三方组成的多签，会轮换否
Liquid由侧链（联盟系统）operators组成的多签。否
Fedmint由mint（联盟系统）operators组成的多签。否
CashuSingle Key，为mint（保管系统）operator。否
Interlay iBTC由抵押过的第三方保管人组成的去中心化网络是（多种抵押物）

在这里插入图片描述

5. 其它bridge模式

5.1 miners强化的bridge

所谓miners强化的bridge，是指：

  • 由Bitcoin miners验证bridge，确保locking/unlocking处理正确。

如：

  • BIP300：基于很长一段时间，miners对peg-in和peg-out交易进行投票。
    • 缺点是：需要硬分叉

更多细节，可参看：

  • https://layertwolabs.com/（https://github.com/LayerTwo-Labs）

5.2 基于zkRollup实现的bridge

所谓基于zkRollup实现的bridge，是指：

  • Bitcoin通过检查cryptographic proof，来验证appchain上的lock/unlock是否正确。

如：

  • 将appchain上状态的验证编码为一个opcode。验证ZK proofs是非常高效的（创建ZK proofs是昂贵的）。
    • 缺点是：需要分叉
    • 需要ZK技术的成熟

更多细节，可参看：

  • Validity Rollups on Bitcoin（https://github.com/john-light/validity-rollups）

6. 总结

Bridge问题，等价为，安全保管问题。

Cure（治愈）：

  • 更多应用场景和BTC使用，不对Bitcoin造成安全风险。
  • 若使用安全bridge，客观上比中心化交易所更安全。

Curse（诅咒）：

  • 99%的BTC bridge是中心化的，且错误营销的
  • 去中心化很难，而且是有代价的（资本效率）
  • 其他链上增加手续费，而不是Bitcoin

6.1 走向非保管bridge

完全的non-custodial bridge是不可能的。
可能的是：为专有应用设置的non-custodial bridge。

如：

  • Lending：
    • 用户BTC与第三方多签管理
    • 仅当用户贷款时，第三方才能获得其BTC

具体实现方式为：

  • DLC（discrete log contracts）：基于交易汇率，编码不同的outcomes。
  • 另一 第三方：oracle基于outcome签署交易（理想情况下，应使用“blind”盲签名）。

但是：

  • 这需要信任oracle。“但是”大多数去中心化的金融应用程序都是这样。

在这里插入图片描述

参考资料

[1] Interlay合伙人Alexei Zamyatin Bitcoin Bridges: Cure or Curse?

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/1447974.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

Stable Diffusion主流UI详细介绍

Stable Diffusion主流UI详细介绍

Stable Diffusion目前主流的操作界面有WebUI、ComfyUI以及Fooocus 这里webui和fooocus在人机交互上的逻辑是一样的，fooocus界面更加简洁。 comfyui是在人机交互上是采用流程节点的交互逻辑，和上面略有区别。 界面分别如下： WebUI界面如下 we…
阅读更多...
P1990 覆盖墙壁题解

P1990 覆盖墙壁题解

题目 有一个长为N宽为2的墙壁，给你两种砖头：一个长2宽1，另一个是L型覆盖3个单元的砖头。如下图： 0 0 0 00砖头可以旋转，两种砖头可以无限制提供。你的任务是计算用这两种来覆盖N2的墙壁的覆盖方法。例如一个23的墙…
阅读更多...
HotCoin Global: 澳洲双牌照持有平台，坚守全球合规之路

HotCoin Global: 澳洲双牌照持有平台，坚守全球合规之路

前言： 加密交易平台的合规性不仅是相关法规遵守的问题，更是市场透明度和用户公平性的关键。为促使加密市场的交易活动有规范、有秩序地进行，确保加密投资者的资产与交易安全，部分国家明确对加密资产的交易和经营活动进行监督及管…
阅读更多...
概率在AI中的应用

概率在AI中的应用

更多AI技术入门知识与工具使用请看下面链接： https://student-api.iyincaishijiao.com/t/iNSVmUE8/
阅读更多...
Solidworks：剖切模型

Solidworks：剖切模型

剖切模型可以看清模型内部。今天设计了一个模型，试验一下如何剖切。 操作很方便，只需要点击一下零件模型上方的剖切按钮，立即就转入剖切视图。剖切后结果如下。 工程图纸中也可以展示剖面视图，操作方法是点击工程图工具页中的“…
阅读更多...
计算机组成原理：存储系统【二】

计算机组成原理：存储系统【二】

🌈个人主页：godspeed_lucip 🔥 系列专栏：计算机组成与原理基础 🛰️1 Cache概述🛩️1.1 局部性原理🛫1.1.1 空间局部性🛫1.1.2 时间局部性 🛩️1.2 性能指标&#x1f6eb…
阅读更多...
探索IDE的世界：什么是IDE？以及适合新手的IDE推荐

探索IDE的世界：什么是IDE？以及适合新手的IDE推荐

引言 在编程的世界里，集成开发环境（IDE）是我们日常工作的重要工具。无论是初学者还是经验丰富的开发者，一个好的IDE都能极大地提高我们的编程效率。那么，什么是IDE呢？对于新手来说，又应该选择哪…
阅读更多...
【C++】内存五大区详解

【C++】内存五大区详解

💐 🌸 🌷 🍀 🌹 🌻 🌺 🍁 🍃 🍂 🌿 🍄🍝 🍛 🍤 📃个人主页 ：阿然成长日记 …
阅读更多...
MySQL表的基础操作

MySQL表的基础操作

创建表 create table 表名（列名 类型，列名 类型……） 注意 1.在进行表操作之前都必须选中数据库 2.表名，列名等一般不可以与关键字相同，如果确定相同，就必须用反引号引住 3.可以使用comment来增加字段说…
阅读更多...
多模态论文串讲·下【论文精读·49】最近使用 transformer encoder 和 decoder 的一些方法

多模态论文串讲·下【论文精读·49】最近使用 transformer encoder 和 decoder 的一些方法

大家好，我们今天就接着上次多模态串讲，来说一说最近使用 transformer encoder 和 decoder 的一些方法。 1 BLIP：Bootstrapping Language-Image Pre-training for Unified Vision-Language Understanding and Generation 我们要过的第一篇论文…
阅读更多...
Linux中alarm/setitimer函数（信号函数）

Linux中alarm/setitimer函数（信号函数）

alarm函数 函数原型： unsigned int alarm(unsigned int seconds); 函数描述：设置定时器（闹钟）。在指定seconds后，内核会给当前进程发送 14）SIGALRM信号。进程收到该信号，默认动作终止。每个进程…
阅读更多...
Ubuntu下Anaconda+PyCharm搭建PyTorch环境

Ubuntu下Anaconda+PyCharm搭建PyTorch环境

这里主要介绍在condapytorch都正确安装的前提下，如何通过pycharm建立开发环境； Ubuntu下AnacondaPyCharm搭建PyTorch环境 系统环境：Ubuntu22.04 conda: conda 23.11.0 pycharm:如下 condapytorch的安装教程介绍，请点击这里&…
阅读更多...
代码随想录算法训练营29期|day50 任务以及具体任务

代码随想录算法训练营29期|day50 任务以及具体任务

第九章 动态规划part07 70. 爬楼梯 （进阶）import java.util.Scanner; class climbStairs{public static void main(String [] args){Scanner sc new Scanner(System.in);int m, n;while (sc.hasNextInt()) {// 从键盘输入参数，中间用空格隔开…
阅读更多...
简单工厂模式-Simple Factory Pattern

简单工厂模式-Simple Factory Pattern

原文地址：https://jaune162.blog/design-pattern/simple-factory-pattern/ 简介 简单工厂模式是一种非常常用的设计模式，但是并不属于GoF中的23种设计模式。简单设计模式有很多种实现方式。 本文我们就来讨论简单工厂模式的实现方式，以及如何借助Spring实现一个扩展性很好…
阅读更多...
寒假作业-day11

寒假作业-day11

1>编程实现二维数组的杨辉三角 2>编程实现二维数组计算每一行的和以及列和 3>编程实现二维数计算第二大值 代码&#xff1a; #include<stdio.h> #include<stdlib.h> #include<string.h>void yanghui(int n){int arr[n][n];for (int i 0; i <…
阅读更多...
分享个CSDN自定义模块模板

分享个CSDN自定义模块模板

在开了会员或升级为博客专家后&#xff0c;才有这个自定义模块的权限 当然这也是为了有很多粉丝的博主更方便的推广一些业务场景展示的橱窗 自定义模块管理 下面就列下我使用的自定义模块相关的代码 <marquee><b><font color"#8A2BE2">不</…
阅读更多...
在git bash中可以提交代码，但是在android studio中提交代码就会报错

在git bash中可以提交代码，但是在android studio中提交代码就会报错

出现这个错误 error: unable to read askpass response from ‘C:\Users…\AppData\Local\Google\AndroidStudio2021.2\tmp\intellij-git-askpass-local.sh’ bash: line 1: /dev/tty: No such device or address 勾选git的use credential helper选项再提交就行了
阅读更多...
使用Word Embedding+Keras进行自然语言处理NLP

使用Word Embedding+Keras进行自然语言处理NLP

目录 介绍&#xff1a; one-hot&#xff1a; pad_sequences: 建模: 介绍&#xff1a; Word Embedding是一种将单词表示为低维稠密向量的技术。它通过学习单词在文本中的上下文关系&#xff0c;将其映射到一个连续的向量空间中。在这个向量空间中&#xff0c;相似的单词在空间…
阅读更多...
ChatGPT高效提问—prompt实践（漏洞风险分析-重构建议-识别内存泄漏）

ChatGPT高效提问—prompt实践（漏洞风险分析-重构建议-识别内存泄漏）

ChatGPT高效提问—prompt实践&#xff08;漏洞风险分析-重构建议-识别内存泄漏&#xff09; 1.1 漏洞和风险分析 ChatGPT还可以帮助开发人员预测代码的潜在风险&#xff0c;识别其中的安全漏洞&#xff0c;而不必先运行它&#xff0c;这可以让开发人员及早发现错误&#xff0…
阅读更多...
Docker-现代化应用部署的利器

Docker-现代化应用部署的利器

一、容器部署的发展 今天我们来说说容器部署。我们知道容器部署的发展大致分三个阶段&#xff0c;下面来介绍一下不同阶段的部署方式的优缺点 物理机部署 优点是可以提供更高的性能、资源控制&#xff0c;也可以提供更好的数据隔离和安全性&#xff0c;因为不同的应用程序运行在…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023