没有哈希时间锁定合约的跨链原子交换

在上一篇文章中，我们介绍了使用哈希时间锁定合约（HTLC）的跨链原子交换实现。 今天，我们介绍一种无需 HTLC 即可实现的替代方法。 这将原子交换扩展到缺乏哈希锁和时间锁的区块链。

使用 SPV 证明交易已被挖掘

让我们按照商定的价格将 Alice 的 BTC 币与 Bob 的 BSV 币进行交换。

在这篇文章中，我们展示了 BSV 智能合约能够验证区块链中包含的交易。 重要的是，这是在不依赖外部预言机的情况下实现的。 基本思想是使用工作难度证明来验证区块头。 使用 Merkle 证明，我们可以验证该区块中是否包含交易，类似于链下完成的 SPV。

图片源于BSV Academy

这意味着 BSV 上的智能合约可以编程为根据 BTC 等区块链上特定交易的确认来执行特定操作。

在原子交换的背景下，智能合约本质上是这样说的：

“如果您将X BTC发送到Y地址，您就可以获得该合约中当前持有的BSV资产。”

该功能之所以成为可能，是因为 BSV 合约能够验证特定交易是否已在 BTC 区块链上成功开采。 合约可以对特定的BTC交易进行验证，确保预期的BTC金额已发送到正确的地址。

为了发起报价，Bob 在智能合约中确保 BSV 币的安全，并指定接收 BTC 所需的地址。 一旦 Alice 发送了 BTC，她就可以领取合约中锁定的 BSV。 此过程不涉及任何受信任的中介机构。

完整的协议序列

BSV 和 BTC 之间的原子交换协议可以按照以下步骤执行。

  1. 合约部署：Bob 在 BSV 链上部署智能合约。 该合约持有 Bob 打算与 Alice 交换的 BSV 资金。 该合同还包含故障安全时间锁。

  2. 付款和证明：Alice 将约定数量的 BTC 在 BTC 链上发送给 Bob。 在该交易被开采到区块中后，她获得了该交易的 Merkle 证明。 请注意，这是一个简单的支付交易，没有 HLTC。

  3. 验证和解锁：Alice 将 Merkle 证明提交给 BSV 合约。 合约验证证明并确认将 Alice 的 BTC 交易包含给 Bob。 如果证明得到验证，Alice 就可以解锁并领取合约中的 BSV 资金。

如果Bob没有及时收到付款，他可以在时间锁定到期后取回他的币。

请注意，智能合约是在 BTC 付款广播之前部署的。 这样，Alice 就能保证在向 Bob 付款后，她会收到正确金额的 BSV。 该锁定时间还必须足够长，以便支付交易能够在 BTC 上进行挖掘。

通过稍加修改，Alice 在 Bob 合约部署时甚至可以是未知的。 Bob 的报价是公开的，任何人向他支付适量的 BTC 都可以解锁他锁定的 BSV。

与基于 HTLC 的原子交换相比

这种方法的一个关键优点是，即使对于没有哈希锁或时间锁的区块链，它也可以实现原子交换。 只要有一种机制可以不信任地证明其中包含交易（例如，使用 Merkle 证明），则具有智能合约功能来验证该证明的其他链就可以与其进行交换。

实现

在 BSV 中，智能合约可以在 sCrypt 中实现，如下所示。

export type VarIntRes = {val: bigintnewIdx: bigint
}class CrossChainSwap2 extends SmartContract {static readonly LOCKTIME_BLOCK_HEIGHT_MARKER = 500000000static readonly UINT_MAX = 0xffffffffnstatic readonly MIN_CONF = 3static readonly BTC_MAX_INPUTS = 3@prop()readonly aliceAddr: PubKeyHash@prop()readonly bobAddr: PubKeyHash@prop()readonly bobP2WPKHAddr: PubKeyHash@prop()readonly timeout: bigint // Can be a timestamp or block height.@prop()readonly targetDifficulty: bigint@prop()readonly amountBTC: bigint@prop()readonly amountBSV: bigint// ...@method()checkBtcTx(btcTx: ByteString): void {// Most things should be the same as in BSV except the witness data and flag.// - Check (first) output is P2WPKH to Bobs public key.// - Check (first) output amount is equal to this.amountBTClet idx = 4n// Make sure to serialize BTC tx without witness data.// See https://github.com/karask/python-bitcoin-utils/blob/a41c7a1e546985b759e6eb2ae4524f466be809ca/bitcoinutils/transactions.py#L913assert(slice(btcTx, idx, idx + 2n) != toByteString('0001'),'Witness data present. Please serialize without witness data.') INPUTS:const inLen = CrossChainSwap2.parseVarInt(btcTx, idx)assert(inLen.val <= BigInt(CrossChainSwap2.BTC_MAX_INPUTS),'Number of inputs too large.')idx = inLen.newIdxfor (let i = 0n; i < CrossChainSwap2.BTC_MAX_INPUTS; i++) {if (i < inLen.val) {//const prevTxID = slice(btcTx, idx, idx + 32n)idx += 32n//const outIdx = slice(btcTx, idx, idx + 4n)idx += 4nconst scriptLen = CrossChainSwap2.parseVarInt(btcTx, idx)idx = scriptLen.newIdxidx += scriptLen.val//const nSequence = slice(btcTx, idx, idx + 4n)idx += 4n}} FIRST OUTPUT:// Check if (first) output pays Bob the right amount and terminate and set res to true.const outLen = CrossChainSwap2.parseVarInt(btcTx, idx)idx = outLen.newIdxconst amount = Utils.fromLEUnsigned(slice(btcTx, idx, idx + 8n))assert(amount == this.amountBTC, 'Invalid BTC output amount.')idx += 8nconst scriptLen = CrossChainSwap2.parseVarInt(btcTx, idx)idx = scriptLen.newIdxconst script = slice(btcTx, idx, idx + scriptLen.val)assert(len(script) == 22n, 'Invalid locking script length.')assert(script == toByteString('0014') + this.bobP2WPKHAddr,'Invalid locking script.')// Data past this point is not relevant in our use-case.}@method()public swap(btcTx: ByteString,merkleProof: MerkleProof,headers: FixedArray<BlockHeader, typeof CrossChainSwap2.MIN_CONF>,alicePubKey: PubKey,aliceSig: Sig) {// Check btc tx.this.checkBtcTx(btcTx)// Calc merkle root.const txID = hash256(btcTx)const merkleRoot = MerklePath.calcMerkleRoot(txID, merkleProof)// Check if merkle root is included in the first BH.assert(merkleRoot == headers[0].merkleRoot,"Merkle root of proof doesn't match the one in the BH.")// Check target diff for headers.for (let i = 0; i < CrossChainSwap2.MIN_CONF; i++) {assert(Blockchain.isValidBlockHeader(headers[i],this.targetDifficulty),`${i}-nth BH doesn't meet target difficulty`)}// Check header chain.let h = Blockchain.blockHeaderHash(headers[0])for (let i = 0; i < CrossChainSwap2.MIN_CONF; i++) {if (i >= 1n) {const header = headers[i]// Check if prev block hash matches.assert(header.prevBlockHash == h,`${i}-th BH wrong prevBlockHash`)// Update header hash.h = Blockchain.blockHeaderHash(header)}}// Verify Alices signature.assert(hash160(alicePubKey) == this.aliceAddr, 'Alice wrong pub key.')assert(this.checkSig(aliceSig, alicePubKey))}@method()public cancel(bobPubKey: PubKey, bobSig: Sig) {// Ensure nSequence is less than UINT_MAX.assert(this.ctx.sequence < CrossChainSwap2.UINT_MAX,'input sequence should less than UINT_MAX')// Check if using block height.if (this.timeout < CrossChainSwap2.LOCKTIME_BLOCK_HEIGHT_MARKER) {// Enforce nLocktime field to also use block height.assert(this.ctx.locktime <CrossChainSwap2.LOCKTIME_BLOCK_HEIGHT_MARKER,'locktime should be less than 500000000')}assert(this.ctx.locktime >= this.timeout,'locktime has not yet expired')// Verify Bobs signature.assert(hash160(bobPubKey) == this.bobAddr, 'Bob wrong pub key.')assert(this.checkSig(bobSig, bobPubKey))}
}

源码文件crosschainswap2.ts

智能合约有两个公共方法：

  1. swap()：如果 Alice 提供了她向 Bob 支付了足够数量的 BTC 的证据，则 Alice 会调用该函数来获取资金。
  2. cancel()：由 Bob 在指定的时间过后调用以提取资金。

完整的代码和测试可以在 GitHub 上找到。

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

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

相关文章

支撑材料-软件项目质量保证措施-资料大全

支撑材料-软件项目质量保证措施-资料大全

一、 质量保障措施 二、 项目质量管理保障措施 &#xff08;一&#xff09; 资深的质量经理与质保组 &#xff08;二&#xff09; 全程参与的质量经理 &#xff08;三&#xff09; 合理的质量控制流程 1&#xff0e; 质量管理规范&#xff1a; 2&#xff0e; 加强协调管理…
阅读更多...
【23-24 秋学期】NNDL 作业11 LSTM

【23-24 秋学期】NNDL 作业11 LSTM

习题6-4 推导LSTM网络中参数的梯度&#xff0c; 并分析其避免梯度消失的效果 习题6-3P 编程实现下图LSTM运行过程 李宏毅机器学习笔记&#xff1a;RNN循环神经网络_李宏毅rnn笔记_ZEERO~的博客-CSDN博客https://blog.csdn.net/weixin_43249038/article/details/132650998 L5W…
阅读更多...
Spring-AOP与声明式事务

Spring-AOP与声明式事务

为什么要用AOP ①现有代码缺陷 针对带日志功能的实现类&#xff0c;我们发现有如下缺陷&#xff1a; 对核心业务功能有干扰&#xff0c;导致程序员在开发核心业务功能时分散了精力 附加功能分散在各个业务功能方法中&#xff0c;不利于统一维护 ②解决思路 解决这两个问题&…
阅读更多...
Python基础快速过一遍

Python基础快速过一遍

文章目录 一、变量及基本概念1、变量2、变量类型3、变量格式化输出4、type()函数5、input()函数6、类型转换函数7、注释 二、Python运算/字符1、算数运算2、比较运算3、逻辑运算4、赋值运算符5、转义字符6、成员运算符 三、判断/循环语句1、if判断语句2、while循环语句3、for循…
阅读更多...
【ret2user】InCTF2021-Kqueue

【ret2user】InCTF2021-Kqueue

前言 这题给了源码&#xff0c;感觉代码的问题很大。然后题目不算难&#xff0c;但是最后 ret2user 执行的代码很有意思。这里的思路是参考的 Roland_ 大佬的思路&#xff1a;[原创]InCTF 内核Pwn之 Kqueue-Pwn-看雪-安全社区|安全招聘|kanxue.com 最后不去泄漏 kernel_offse…
阅读更多...
IDEA构建springBoot新项目时JDK只有17和21，无法选择JDK8解决方案

IDEA构建springBoot新项目时JDK只有17和21，无法选择JDK8解决方案

今天创建springboot新项目时&#xff0c;发现IDEA里JDK选项只有17和21&#xff0c;无法选择本机的JDK8&#xff0c;网上查资料后发现是springboot2.7于11.24号后停止维护&#xff0c;基于2.7和java8的spring Initializ官方不再维护&#xff0c;解决方案是在server URL栏&#x…
阅读更多...
STM32CubeIde 实现printf打印输出

STM32CubeIde 实现printf打印输出

STM32CubeIde 实现printf打印输出&#xff0c;在IDE生成的程序的main中的/* USER CODE BEGIN 4 /和/ USER CODE END 4 */之间放下面代码&#xff1a; #ifdef __GNUC__ #define PUTCHAR_PROTOTYPE int __io_putchar(int ch) #define GETCHAR_PROTOTYPE int __io_getchar(FILE *…
阅读更多...
集线器-交换机-路由器

集线器-交换机-路由器

1.集线器(Hub) 集线器就是将网线集中到一起的机器&#xff0c;也就是多台主机和设备的连接器。集线器的主要功能是对接收到的信号进行同步整形放大&#xff0c;以扩大网络的传输距离&#xff0c;是中继器的一种形式&#xff0c;区别在于集线器能够提供多端口服务&#xff0c;也…
阅读更多...
OpenGL 和 OpenGL ES 2.0/3.X 一致性测试说明（CTS）

OpenGL 和 OpenGL ES 2.0/3.X 一致性测试说明（CTS）

本文档介绍如何构建、移植和运行 OpenGL 和 OpenGL ES 2.0/3.X 一致性测试&#xff0c;以及如何验证和提交测试结果。 [TOC]目录 测试环境要求 一致性测试需要文件系统。文件系统需要支持长文件名&#xff08;即 > 8.3 名称格式&#xff09;。一致性测试中的源文件使用大…
阅读更多...
面试题：MySQL为什么选择B+树作为索引结构

面试题：MySQL为什么选择B+树作为索引结构

文章目录 前言二、平衡二叉树(AVL)&#xff1a;旋转耗时三、红黑树&#xff1a;树太高四、B树&#xff1a;为磁盘而生五、B树六、感受B树的威力七、总结 前言 在MySQL中&#xff0c;无论是Innodb还是MyIsam&#xff0c;都使用了B树作索引结构(这里不考虑hash等其他索引)。本文…
阅读更多...
Redis命令详解

Redis命令详解

文章目录 Key&#xff08;键&#xff09; DEL EXISTS EXPIRE EXPIREAT PEXPIRE PEXPIREAT PERSIST KEYS TTL PTTL RENAME RENAMENX TYPE SCAN HSCAN SSCAN ZSCAN DUMP String&#xff08;字符串&#xff09; SET GET INCR DECR MSET MGET APPEND SETNX STRLEN INCRBY DECRBY IN…
阅读更多...
opencv知识库：cv2.add()函数和“+”号运算符

opencv知识库：cv2.add()函数和“+”号运算符

需求场景 现有一灰度图像&#xff0c;需求是为该图像增加亮度。 原始灰度图像 预期目标图像 解决方案 不建议的方案——“”运算符 假设我们需要为原始灰度图像的亮度整体提升88&#xff0c;那么利用“”运算符的源码如下&#xff1a; import cv2img_path r"D:\pych…
阅读更多...
Django二转Day03 04

Django二转Day03 04

0 cbv执行流程&#xff0c;self问题 path(index/, Myview.as_view()),Myview.as_view() 实例化后返回 变成return Myview.dispatch(request, *args, **kwargs)但是视图函数Myview中没有 dispatch 方法 所以去 父类View中寻找return View.dispatch(request, *args, **kwargs)调用…
阅读更多...
jmeter接口自动化部署jenkins教程

jmeter接口自动化部署jenkins教程

首先&#xff0c;保证本地安装并部署了jenkins&#xff0c;jmeter&#xff0c;xslproc 我搭建的自动化测试框架是jmeterjenkinsxslproc ---注意&#xff1a;原理是&#xff0c;jmeter自生成的报告jtl文件&#xff0c;通过xslproc工具&#xff0c;再结合jmeter自带的模板修改&…
阅读更多...
9.Spring 整合 Redis

9.Spring 整合 Redis

引入依赖&#xff1a;spring-boot-starter-data-redis配置 Redis&#xff1a;配置数据库参数、编写配置类&#xff0c;构造 RedisTemplate访问 Redis&#xff1a; redisTemplate.opsForValue() redisTemplate.opsForHash() redisTemplate.opsForList() redisTemplate.opsForSe…
阅读更多...
el-table 删除某行数据时 删除语句包含行号/序号

el-table 删除某行数据时 删除语句包含行号/序号

el-table可展示每行数据的序号列&#xff0c;在点击删除按钮的时候&#xff0c;会获取到该行所有的数据值&#xff0c;但是要想删除时提示到具体的序号&#xff0c;如&#xff1a;“是否确认删除序号为1的数据项&#xff1f;”&#xff0c;我是这样写的&#xff1a; /** 删除按…
阅读更多...
C++ Easyx 让圆球跟随鼠标移动

C++ Easyx 让圆球跟随鼠标移动

目录 下载Easyx 检验 绘制窗口 画圆 响应事件的处理 清除原先绘图 渲染缓冲区 逻辑 代码托管 下载Easyx 在Easyx官网下载大暑版: 检验 写如下代码: 编译运行&#xff0c;如果控制台出现2023字样&#xff0c;代表配置成功: 绘制窗口 进入Eaxy官方网站&#xff0c;点…
阅读更多...
【Flink进阶】-- Flink kubernetes operator 快速入门与实战

【Flink进阶】-- Flink kubernetes operator 快速入门与实战

1、课程目录 2、课程链接 https://edu.csdn.net/course/detail/38831
阅读更多...
代码随想录第二十三天（一刷C语言）|组合总数组合总数II分割回文串

代码随想录第二十三天（一刷C语言）|组合总数组合总数II分割回文串

创作目的&#xff1a;为了方便自己后续复习重点&#xff0c;以及养成写博客的习惯。 一、组合总数 思路&#xff1a;参考carl文档 定义两个全局变量&#xff0c;二维数组result存放结果集&#xff0c;数组path存放符合条件的结果。&#xff08;这两个变量可以作为函数参数传入…
阅读更多...
【电机控制】PMSM无感foc控制（五）相电流检测及重构 — 单电阻采样

【电机控制】PMSM无感foc控制（五）相电流检测及重构 — 单电阻采样

0. 前言 相电流采样再FOC控制中是一个关键的环节&#xff0c;鉴于成本和易用性&#xff0c;目前应用较多的相电流采样方式是分流电阻采样&#xff0c;包括单电阻、双电阻以及三电阻采样法。 本章节先讲解单电阻采样相电流的检测及重构技术&#xff0c;在下一章讲解双电阻和三电…
阅读更多...
最新文章
推荐文章

Copyright @ 2022~2023