基于BitVM的乐观 BTC bridge

1. 引言

前序博客:

  • 区块链互操作协议
  • Bitcoin Bridge:治愈还是诅咒?
  • BitVM:Bitcoin的链下合约

基于BitVM的乐观 BTC bridge:

  • Trust-minimized two-way peg 机制

在这里插入图片描述
在这里插入图片描述

BitVM BTC bridge背后的主要思想是:

  • 为比特币全节点创建仅使用比特币脚本来操作sidechain bridge program的方式,包括sidechain light client。虽然众所周知不可能创建像链上比特币合约这样的程序,但利用 BitVM 的防欺诈机制乐观地在链下执行侧链轻客户端(以及桥接程序的其余部分),仅用链上交易于执行挑战-响应游戏,允许诚实的参与者防止离线或恶意参与者的不诚实行为。
  • 侧链以智能合约的形式实现了等效的bridge program和比特币轻客户端。
    *(注意:需假设有足够的功能可用。或者,侧链也可通过类似 BitVM 的机制来实现bridge program。)

为了将 BTC 从比特币转移到侧链,“Depositor”将 BTC 发送到由 N 个成员组成的委员会(一个 Prover=“Operator”,N-1 个Verifiers=“Watchtowers”)控制的多重签名,作为BitVM setup的一部分,该委员会对bridge program进行commit。只要这些参与者中有一个是诚实的,存款就仍然安全,因为恶意的委员会成员将受到质疑,并且他们对 BTC 存款的访问权限将被删除。每当Depositor请求将Wrapped xBTC 兑换为 BTC 时,当前活跃的Operator都会验证链下侧链的状态,如果一切正确,则从她自己的余额中将 BTC 发送给用户,即将 BTC 付款给用户。然后,Operator要求从多重签名存款中报销已赎回的 BTC 金额。Watchtowers观察该过程并验证正确性。一旦Operator请求报销,若链下程序执行产生不同的结果,如Operator发送了错误的 BTC 金额或支付到错误的地址,那么 Watchtowers 可以在预定义的挑战期内发出链上挑战。若Operator未在预定义的超时期限内支付 BTC,Watchtowers 将挑战不活动状态(inactivity)。在这两种情况下,Watchtowers都会通过 BitVM 触发链上挑战-响应协议。在最坏的情况下,这个过程需要进行多次链上比特币交易,并导致Operator被从委员会中除名,并无法访问存入bridge中的比特币。然后,其中一个Watchtower被选为Operator并恢复bridge的运营。

  • 为确保Watchtowers有足够的动力来执行挑战(并支付最终的链上比特币交易费用),Operator以比特币作为抵押。
  • 同样,为了抑制虚假挑战,Watchtowers还必须存入抵押。

参考资料

[1] BitVM Sidechain Bridge

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

51单片机编程基础(C语言):电子时钟(LED1602作为显示)

题目要求: 审题时这个题是用数码管来显示的,数码管显示时钟我完成了一个,只是要求跟他不一样,所以这次想用LCD1602来显示,所以我先用LCD1602完成,再用数码管完成(其实也只要在我之前的项目基础…

如何学习机器学习和深度学习: 软件工程师指南

一、简介 人工智能这个主题激发了我的兴趣,我一直在这个领域中不断学习和尝试新事物。 众所周知,与自然语言处理、计算机视觉等相关的技术已经出现并发展成为每天被数百万用户使用的解决方案。 尽管人们使用“人工智能”这一术语,但我们离…

[计算机网络]---网络编程套接字

前言 作者:小蜗牛向前冲 名言:我可以接受失败,但我不能接受放弃 如果觉的博主的文章还不错的话,还请点赞,收藏,关注👀支持博主。如果发现有问题的地方欢迎❀大家在评论区指正 目录 一、基础知识…

C++ //练习 6.7 编写一个函数,当它第一次被调用时返回0,以后每次被调用返回值加1。

C Primer(第5版) 练习 6.7 练习 6.7 编写一个函数,当它第一次被调用时返回0,以后每次被调用返回值加1。 环境:Linux Ubuntu(云服务器) 工具:vim 代码块 /**********************…

如何将字体添加到 ONLYOFFICE 文档服务器 8.0

作者:VincentYoung 阅读本文,了解如何为自己的在线办公软件 ONLYOFFICE 文档服务器的字体库添加字体 ONLYOFFICE 文档是什么 ONLYOFFICE 文档是一个功能强大的文档编辑器,支持处理文本文档、电子表格、演示文稿、可填写表单、PDF 和电子书…

无人机竞赛视觉算法开发流程开源计划(询问大家意见)

本科中参加过一系列的无人机机器人竞赛,像电赛、工训赛、机器人大赛这些,有一些比较常用的方案打算开源一下。现在读研了,也算是对本科的一个总结,但是还是想看看大家意见,大家有什么需求可以在评论区说,我…

EsayExcel文件导入导出

目录 准备工作 监听器类 导入测试 导出测试 上传Excel 下载Excel 混合导出模板导出 headRowNumber(1)&#xff1a;从第几行开始读 准备工作 导入依赖 <!--easyexcel--> <dependency><groupId>com.alibaba</groupId>x<artifactId>easye…

QTabWidget和QTabBar控件样式设置(qss)

QTabWidget和QTabBar控件样式设置 1、QTabWidget样式可自定义的有哪些示例&#xff1a;效果图 2、QTabBar样式可自定义的有哪些示例效果图 1、QTabWidget样式可自定义的有哪些 QTabWidget::pane{} 定义tabWidgetFrameQTabWidget::tab-bar{} 定义TabBar的位置QTabWidget::tab{}定…

简单的手指控制机械臂

跟之前的那个项目类似, 使用mediapipe, 拿到手指的位置, 来控制舵机, 从而控制一个机械臂. 直接上代码: """ 演示一个简单的虚拟拖拽 步骤&#xff1a; 1、opencv 读取视频流"""# 导入opencv import cv2 import numpy as np import math impor…

c++STL系列——(八)multiset

在C的标准模板库&#xff08;STL&#xff09;中&#xff0c;multiset是一个非常有用的容器&#xff0c;和set容器类似&#xff0c;用于存储一组按照特定顺序排列的元素。与set不同的是&#xff0c;multiset允许重复元素的存在。本文将详细介绍multiset容器的特点、用法以及一些…

基于物联网的实时数据分析(简单介绍)

在当今这个信息化、数字化飞速发展的时代&#xff0c;物联网&#xff08;Internet of Things, IoT&#xff09;和实时数据分析成为了技术革新的两大支柱。对于刚入行的新手来说&#xff0c;理解这两个概念及其相互作用不仅是迈入这一领域的第一步&#xff0c;更是掌握未来技术趋…

Acwing---842.排列数字

排列数字 1.题目2.基本思想3.代码实现 1.题目 给定一个整数 n&#xff0c;将数字 1∼n排成一排&#xff0c;将会有很多种排列方法。 现在&#xff0c;请你按照字典序将所有的排列方法输出。 输入格式 共一行&#xff0c;包含一个整数 n。 输出格式 按字典序输出所有排列方案…

React报错修复:“Uncaught TypeError: destroy is not a function”

报错&#xff1a;Uncaught TypeError: destroy is not a function at commitHookEffectListUnmount 如果你在useEffect函数中使用了async&#xff0c;运行后会出现该报错。 原理解析&#xff1a;     要知道&#xff0c;useEffect 钩子函数的一个特性是清理功能&#xff0c;…

OJ_求最大公约数和最大公倍数

欧几里得算法&#xff08;辗转相除法&#xff09;求最大公约数 这个算法的原理基于以下定理&#xff1a;两个整数的最大公约数等于其中较小的数和两数相除余数的最大公约数 #include <stdio.h> // Greatest Common Divisor&#xff0c;简称GCD #define _CRT_SECURE_N…

flask+python儿童福利院管理系统pycharm毕业设计项目

本系统解决了儿童福利院管理事务中的主要问题&#xff0c;包括首页、个人中心、爱心人士管理、员工管理、后勤人员管理、儿童信息管理、院所风采管理、活动管理、食谱管理、领养流程管理、政策法规管理、楼栋管理、宿舍管理、领养申请管理、义工申请管理、捐赠信息管理、宿舍物…

理解SMTP与IMAP协议:Python中的邮件发送与接收

源码分享 ​​https://docs.qq.com/sheet/DUHNQdlRUVUp5Vll2?tabBB08J2​​ 电子邮件是当代通信的一个重要工具。它涉及到多种协议&#xff0c;其中SMTP和IMAP是最关键的。本文将详细介绍这两个协议&#xff0c;并提供Python代码示例&#xff0c;帮助你理解如何在Python中实…

CTFshow web(php命令执行59-67)

web59 <?php /* # -*- coding: utf-8 -*- # Author: Lazzaro # Date: 2020-09-05 20:49:30 # Last Modified by: h1xa # Last Modified time: 2020-09-07 22:02:47 # email: h1xactfer.com # link: https://ctfer.com */ // 你们在炫技吗&#xff1f; if(isset($_POST…

一个 SpringBoot 项目能同时处理多少请求?

目录 1 问题分析 2 Demo 3 答案 4 怎么来的&#xff1f; 5 标准答案及影响参数一Tomcat配置 6 影响参数二 Web容器 7 影响参数三 Async 1 问题分析 一个 SpringBoot 项目能同时处理多少请求&#xff1f; 不知道你听到这个问题之后的第一反应是什么&#xff1f; 我大概…

支付交易——BIN服务

摘要 老王的杂货店里货很多&#xff0c;国产的&#xff0c;进口的&#xff0c;不同种类、不同品牌、不同型号的货&#xff0c;应有尽有。 货多了&#xff0c;老王就弄了个小本本记下店里卖的货有哪些&#xff0c;记得很详细&#xff0c;包括有哪些种类&#xff0c;每个种类里有…

ClickHouse--05--MergeTree 表引擎

提示&#xff1a;文章写完后&#xff0c;目录可以自动生成&#xff0c;如何生成可参考右边的帮助文档 文章目录 MergeTree 系列表引擎前言MergeTree 系列表引擎 --功能MergeTree 系列表引擎 --种类 1.MergeTree1.1MergeTree 建表语句&#xff1a;1.2 MergeTree 引擎表目录解析查…