使用契约的链上限价订单

2023-11-21 08:52
文章标签 使用 订单 契约 限价

本文主要是介绍使用契约的链上限价订单,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

我们开发了链上限价订单。 它基于一种称为契约的智能合约,只有在花费输出的交易满足特定条件时才可以花费输出。 为了演示其工作原理,我们实施了以比特币支付的 Ordinals 代币买卖限价订单,无需托管人。 它可以运行在任何比特币协议链上,例如Bitcoin SV和MVC。

限价订单

限价单使买方或卖方(通常称为制造商)能够确定他们愿意在市场上买卖资产的特定价格。 随后,另一个交易者可以选择“接受”该报价并进行交易。 这一过程通常在托管交易所中得到促进,交易所暂时持有双方的资金,并采用内部结算机制来相应地分配资金。 然而,这种方法涉及将资金信任给第三方,从而使他们面临因系统黑客或内部盗窃而造成的潜在损失,其中第三方可能会消失或盗用资金。

契约

比特币契约 限制了 UTXO 的使用方式。 它是在 sCrypt 中使用 ScriptContext 实现的。

例如,做市商可以下一个卖出订单,将 10 个 PEPE 代币锁定到契约合约中,允许任何购买者提取最多 10 个 PEPE 代币,只要他们向卖家支付,例如,他们移除的每个 PEPE 1000 聪。

如果买方希望交易的金额低于 10 个 PEPE 限制(例如 7 个),他们可以选择为其余 3 个 PEPE 创建受相同契约约束的代币找零输出。 在这种特殊情况下,卖方被确定为做市商,买方在限价订单的框架内扮演接受者的角色。 该机制有利于部分履行限价订单的过程。

该限价订单可以看作是 RUN 代币的 OrderLock 和 Ordinals 的 OrdinalLock 的扩展,只能进行全额交易。

如果订单未 100% 成交,合同还允许卖方取消订单并拿走剩余的 PEPE。

实现

我们使用 BSV-20 同质化代币 作为创建限价订单的示例,并用比特币进行交易。

限价卖出订单

一定数量的 BSV-20 代币被锁定在契约智能合约中。 买方可以从智能合约中获取部分或全部代币,前提是他在同一合约调用交易中向卖方支付要价。

描述卖出限价订单的交易图

买家可以通过在同一合约调用交易中将聪转移到买家的地址来兑换 BSV-20 代币。 这是在调用合约的“buy”公共方法时完成的。

还有一种“cancel”方法,允许买家在订单未 100% 成交时取回资金。

class BSV20SellLimitOrder extends BSV20V2 {// Total amount of tokens we're selling.@prop()readonly tokenAmt: bigint// Amount of tokens already sold.@prop(true)tokenAmtSold: bigint// The seller's public key.@prop()seller: PubKey// Asking price per BSV-20 token unit.@prop()pricePerUnit: bigint...@method()public buy(amount: bigint, buyerAddr: Addr) {// Check token amount doesn't exceed total.assert(this.tokenAmtSold + amount < this.tokenAmt,'insufficient tokens left in the contract')// Update cleared amount.this.tokenAmtSold += amount// Build transfer inscription.const transferInscription = BSV20V2.createTransferInsciption(this.id,amount)const transferInscriptionLen = len(transferInscription)// Fist output is the contract itself, holding the remaining tokens.// If no tokens are remaining, then terminate the contractconst tokensRemaining = this.tokenAmt - this.tokenAmtSoldlet outputs = toByteString('')if (tokensRemaining > 0n) {outputs = this.buildStateOutput(1n)}// Ensure the sold tokens are being payed out to the buyer.outputs += BSV20V2.buildTransferOutput(pubKey2Addr(this.seller),this.id,amount)// Ensure the next output is paying the to the Bitcoin to the seller.const satsForSeller = this.pricePerUnit * amountoutputs += Utils.buildPublicKeyHashOutput(hash160(seller), satsForSeller)// Add change output.outputs += this.buildChangeOutput()// Check outputs.assert(hash256(outputs) == this.ctx.hashOutputs, 'hashOutputs mismatch')}@method()public cancel(buyerSig: Sig) {assert(this.checkSig(buyerSig, this.seller))}
}

BSV20SellLimitOrder

限价买入订单

限价卖出订单非常相似。 只是这一次,智能合约中锁定了一定数量的比特币,而不是 BSV-20 代币。

描述买入限价订单的交易图

由于智能合约本身无法确认 BSV-20 代币的真实性,因此使用了预言机服务。 预言机通过签署其引用以及金额和代币的铭文来保证代币的有效性。 智能合约验证此签名。

class BSV20BuyLimitOrder extends BSV20V2 {// Total amount of tokens we're buying.@prop()readonly tokenAmt: bigint// Amount of tokens already cleared.@prop(true)tokenAmtCleared: bigint// Public key of the oracle, that is used to verify the transfers// genesis.@prop()oraclePubKey: RabinPubKey// The buyer's public key.@prop()buyer: PubKey// Offered price per BSV-20 token unit.@prop()pricePerUnit: bigint...@method()public sell(oracleMsg: ByteString, oracleSig: RabinSig, sellerAddr: Addr) {// Check oracle signature.assert(RabinVerifier.verifySig(oracleMsg, oracleSig, this.oraclePubKey),'oracle sig verify failed')// Get token amount held by the UTXO from oracle message.const utxoTokenAmt = byteString2Int(slice(oracleMsg, 36n, 44n))// Check token amount doesn't exceed total.const remainingToClear = this.tokenAmt - this.tokenAmtClearedassert(utxoTokenAmt <= remainingToClear,'UTXO token amount exceeds total')// Update cleared amount.this.tokenAmtCleared += utxoTokenAmt// Build transfer inscription.const transferInscription = BSV20V2.createTransferInsciption(this.id,utxoTokenAmt)const transferInscriptionLen = len(transferInscription)// Check that the ordinal UTXO contains the right inscription.assert(slice(oracleMsg, 44n, 44n + transferInscriptionLen) ==transferInscription,'unexpected inscription from oracle')// Ensure the tokens are being payed out to the buyer.let outputs = BSV20V2.buildTransferOutput(pubKey2Addr(this.buyer),this.id,this.tokenAmt)// Ensure the second output is paying the Bitcoin to the seller.const satsForSeller = this.pricePerUnit * utxoTokenAmtoutputs += Utils.buildPublicKeyHashOutput(sellerAddr, satsForSeller)// If there's tokens left to be cleared, then propagate contract.if (this.tokenAmtCleared == this.tokenAmt) {outputs += this.buildStateOutput(this.ctx.utxo.value - satsForSeller)}// Add change output.outputs += this.buildChangeOutput()// Check outputs.assert(hash256(outputs) == this.ctx.hashOutputs, 'hashOutputs mismatch')}@method()public cancel(buyerSig: Sig) {assert(this.checkSig(buyerSig, this.buyer))}
}

BSV20BuyLimitOrder

这篇关于使用契约的链上限价订单的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/401259

相关文章

Java使用Javassist动态生成HelloWorld类

《Java使用Javassist动态生成HelloWorld类》Javassist是一个非常强大的字节码操作和定义库,它允许开发者在运行时创建新的类或者修改现有的类,本文将简单介绍如何使用Javass... 目录1. Javassist简介2. 环境准备3. 动态生成HelloWorld类3.1 创建CtC

使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解

《使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解》本文详细介绍了如何使用Python通过ncmdump工具批量将.ncm音频转换为.mp3的步骤,包括安装、配置ffmpeg环... 目录1. 前言2. 安装 ncmdump3. 实现 .ncm 转 .mp34. 执行过程5. 执行结

Java使用jar命令配置服务器端口的完整指南

《Java使用jar命令配置服务器端口的完整指南》本文将详细介绍如何使用java-jar命令启动应用,并重点讲解如何配置服务器端口,同时提供一个实用的Web工具来简化这一过程,希望对大家有所帮助... 目录1. Java Jar文件简介1.1 什么是Jar文件1.2 创建可执行Jar文件2. 使用java

C#使用Spire.Doc for .NET实现HTML转Word的高效方案

《C#使用Spire.Docfor.NET实现HTML转Word的高效方案》在Web开发中,HTML内容的生成与处理是高频需求,然而,当用户需要将HTML页面或动态生成的HTML字符串转换为Wor... 目录引言一、html转Word的典型场景与挑战二、用 Spire.Doc 实现 HTML 转 Word1

Java中的抽象类与abstract 关键字使用详解

《Java中的抽象类与abstract关键字使用详解》:本文主要介绍Java中的抽象类与abstract关键字使用详解,本文通过实例代码给大家介绍的非常详细,感兴趣的朋友跟随小编一起看看吧... 目录一、抽象类的概念二、使用 abstract2.1 修饰类 => 抽象类2.2 修饰方法 => 抽象方法,没有

MyBatis ParameterHandler的具体使用

《MyBatisParameterHandler的具体使用》本文主要介绍了MyBatisParameterHandler的具体使用,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参... 目录一、概述二、源码1 关键属性2.setParameters3.TypeHandler1.TypeHa

Spring 中的切面与事务结合使用完整示例

《Spring中的切面与事务结合使用完整示例》本文给大家介绍Spring中的切面与事务结合使用完整示例,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考... 目录 一、前置知识:Spring AOP 与 事务的关系 事务本质上就是一个“切面”二、核心组件三、完

使用docker搭建嵌入式Linux开发环境

《使用docker搭建嵌入式Linux开发环境》本文主要介绍了使用docker搭建嵌入式Linux开发环境,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面... 目录1、前言2、安装docker3、编写容器管理脚本4、创建容器1、前言在日常开发全志、rk等不同

使用Python实现Word文档的自动化对比方案

《使用Python实现Word文档的自动化对比方案》我们经常需要比较两个Word文档的版本差异,无论是合同修订、论文修改还是代码文档更新,人工比对不仅效率低下,还容易遗漏关键改动,下面通过一个实际案例... 目录引言一、使用python-docx库解析文档结构二、使用difflib进行差异比对三、高级对比方

sky-take-out项目中Redis的使用示例详解

《sky-take-out项目中Redis的使用示例详解》SpringCache是Spring的缓存抽象层,通过注解简化缓存管理,支持Redis等提供者,适用于方法结果缓存、更新和删除操作,但无法实现... 目录Spring Cache主要特性核心注解1.@Cacheable2.@CachePut3.@Ca