区块链 | OpenSea:Toward Achieving Anonymous NFT Trading 一文的改进方案

🥑原文: Toward Achieving Anonymous NFT Trading
🥑吐槽: 这论文怎么老有描述不清、前后不一致的地方😇



正文

在本节中,我们将具体展示我们方案的构建。我们将基于一个示例来描述我们方案的工作流程,该示例中 Alice 是 NFT的所有者,而 Bob 想要购买它。交易是通过采用我们提出的方案的市场进行的。

该论文的创新点就是对 NFT 市场的交易流程进行了修改。

我们还假设所有链下的通信都是通过端到端的安全通道进行的,以抵御监听攻击。此外,市场选择了一个有限椭圆曲线域上的群 G G G,该域的阶为 q q q,两个生成元 G G G H H H,以及一个抗碰撞哈希函数 h ( ) h() h(),并将这些作为公共参数发布。

下图展示了我们方案的框架:

在这里插入图片描述
其中,NFT 的转移是通过智能合约执行的,而 ETH 的支付则是通过市场控制的假账户进行的。

下图展示了我们方案是如何工作的:

在这里插入图片描述

请注意,仅卖方需要代理服务,并且卖方与代理之间不存在直接交互。



A 代理的注册

在我们的方案中,区块链上部署的 代理注册合约 负责新代理的注册,它还用于记录代理和对应所有者之间的映射关系,这点与 Wyvern 协议相同。

在后文中,代理注册合约又被简称为注册表😇

在 Wyvern 协议中,是通过用户和注册表的直接交互来注册代理的。而在我们的方案中,是通过市场和注册表的交互来注册代理的。接下来,我们将具体介绍注册一个代理的流程。

首先,每个用户通过以太坊的密钥生成算法生成一个新的密钥对 ( p k t , s k t ) (pk_t,sk_t) (pkt,skt),称为 临时密钥 s k t sk_t skt 是需要保密的私钥,而公钥 p k t pk_t pkt 用于生成临时地址 a d d r t addr_t addrt。到时候,市场将使用临时地址为用户创建一个新的代理。注意:临时密钥对的格式与区块链密钥对的相同。但是,用户只应该在 NFT 交易中使用它,而不应该用于其他场合。

公钥 p k t pk_t pkt 用于生成临时地址 a d d r t addr_t addrt

接着,假设 U U U 表示所有区块链用户, T T T 表示所有临时地址 a d d r t addr_t addrt,那么市场记录了用户和临时地址之间的映射关系 U T ⊆ U × T UT ⊆ U × T UTU×T。关系 U T UT UT市场的数据库 保密保存,意味着用户和临时地址之间的映射关系仅被市场和临时地址的所有者本人所知。

随后,市场将调用注册表的函数,以创建一个新的代理。在此过程中,市场传入的是临时地址,而非所有者的真实地址。由此一来,新代理所有者的地址将被记录为临时地址 a d d r t addr_t addrt。通过这种方式,代理与所有者之间的关系将由对一个临时密钥的知识来维持。

简而言之,为了不暴露真实的所有者地址,要求一个由临时密钥对生成的临时地址来充当所有者地址。



B NFT 所有权

使用 关于所有者地址的承诺 来将 NFT 的所有权绑定到某个用户。

假设 NFT M 的所有者是 Alice,且她的地址为 a d d r 1 addr_1 addr1。生成承诺的流程如下:

首先,给定一个阶为 p p p 的公共组 ( G , ⋅ ) (G, ·) (G,⋅),市场随机选择两个生成元 g g g h = g α h = g^α h=gα,并将 ( G , g , h , p ) (G, g, h, p) (G,g,h,p) 作为公共参数发布,其中 α α α 作为秘密保存。

接着,Alice 随机选择一个秘密值 r 1 ∈ Z p r_1 ∈ Z_p r1Zp 并计算:

C A l i c e = g a d d r 1 h r 1 C_{Alice} = g^{addr_1}h^{r_1} CAlice=gaddr1hr1

在非匿名模式下,NFT 合约存储了一个包含相应所有者地址的 代币 ID 列表。在匿名模式下,代币 ID 列表 中存储的是 C A l i c e C_{Alice} CAlice,以表示 M 的所有者存在但保持身份隐藏。

简而言之,使用 Pedersen 承诺为 Alice 的真实地址 a d d r 1 addr_1 addr1 生成一个承诺值 C A l i c e C_{Alice} CAlice。将承诺值保存在 NFT 的 ID 列表中,既能隐藏所有者的地址,又能在揭示阶段证明所有者的身份。



C 订单生成

订单生成始于链下。

1 卖方 + 销售订单

对于卖方 Alice,她将生成一个 销售订单。该订单包括如下信息:

  • 目标 NFT 的 ID
  • 价格
  • 上架时间
  • 到期时间
  • calldata
  • 用于承诺的知识证明

上述信息都将由 Alice 的临时私钥 s k t , A l i c e sk_{t,Alice} skt,Alice 进行签名。

用于承诺的知识证明的生成过程如下:

  1. x , y ← Z q x, y ← Z_q x,yZq
  2. P = x G + y H P = xG + yH P=xG+yH
  3. t ← h ( o r d e r ) t ←h(order) th(order)
  4. x ′ = x + t m x' = x + tm x=x+tm y ′ = y + t r y' = y + tr y=y+tr
  5. P r o o f = ( P , x ′ , y ′ ) Proof = (P, x', y') Proof=(P,x,y)

P r o o f Proof Proof 是在承诺的揭示阶段使用的,这里只是在讲它是如何生成的,和上文没有太大联系。

接着,Alice 通过一个安全的端到端通道将销售订单提交给市场。市场接收到销售订单后,将继续完善这笔销售订单,如下表所示。最后,市场将销售订单提交给交换协议。

在这里插入图片描述

市场在 Alice 填写的销售订单的基础上,增加了 Alice 的临时公钥、注册表和 Alice 对应的代理。


2 买方 + 购买订单

对于买方 Bob,他首先与市场的前端通信,以获得假账户的地址。在向市场提交购买订单之前,Bob 必须将足够的 ETH 转账到这个假账户。

Bob 将生成一个 购买订单。该订单包括如下信息:

  • 目标 NFT 的 ID
  • 出价
  • 上架时间
  • 到期时间
  • 关于 Bob 地址的承诺

上述信息都将由 Bob 的临时私钥 s k t , B o b sk_{t,Bob} skt,Bob 进行签名。

比起 Alice 少了 calldata 这一信息。

原文把 关于 Bob 地址的承诺 写错了,我改成了:

C B o b = g a d d r 2 h r 2 C_{Bob} = g^{addr_2}h^{r_2} CBob=gaddr2hr2

请注意,我们不要求 Alice 和 Bob 同时向市场的提交订单,Bob 也可以提前提交购买订单。

接着,Bob 通过一个安全的端到端通道将购买订单提交给市场。在接收到 Bob 的购买订单后,市场首先会检查 Bob 是否已经将足够的 ETH 转入了指定的假账户。然后,市场也会完善购买订单,如下表所示。

在这里插入图片描述

市场在 Bob 填写的购买订单的基础上,增加了 Bob 的临时公钥。

最终,两个订单都会存储在市场的链下数据库中,等待上传到交换协议。



D 给代理授权

除了生成订单之外,Alice 还生成了另一条带有她签名的消息,以授权代理访问目标 NFT 。为此,Alice 生成了关于订单的消息,并使用临时私钥对其进行签名:

m a u = " A U T H "   ∣ ∣   t a r g e t   N F T   ∣ ∣   t i m e s t a m p s i g a u = s i g n ( m a u , s k t , A l i c e ) \begin{alignat}{2} m_{au} &= "AUTH"\ ||\ target\ NFT\ ||\ timestamp \\ sig_{au} &= sign(m_{au}, sk_{t,Alice}) \end{alignat} mausigau="AUTH" ∣∣ target NFT ∣∣ timestamp=sign(mau,skt,Alice)

貌似 Alice 就只会告诉代理目标 NFT 的 ID 是什么😇

具体来说,Alice 首先通过链下通道将 ( m a u , s i g a u ) (m_{au}, sig_{au}) (mau,sigau) 发送给市场。然后,市场通过调用相关函数将其转发给注册表。

Alice 是通过临时地址才和代理联系起来的,而这个映射关系又是由市场数据库保存的。因此,市场不仅需要告诉注册表 ( m a u , s i g a u ) (m_{au}, sig_{au}) (mau,sigau) 是什么,还要告诉注册表 Alice 的代理是谁。否则,注册表怎么知道 Alice 的代理是哪个。

注册表在收到消息 m a u m_{au} mau 和签名 s i g a u sig_{au} sigau 后,首先检查时间戳是否有效,接着验证签名 s i g a u sig_{au} sigau。如果验证通过,那么注册表将添加 Alice 对应的代理和目标 NFT 到列表中。该列表用于存储所有被委托的代理和它们的目标 NFT 。

为了检验消息是否被篡改,在发送消息的时候都会附上一个数字签名。



E 交换

如果根据目标 NFT 的 ID、价格等条件匹配到了两个订单,那么市场就会将 销售订单、卖家签名、购买订单、买家签名 打成一个捆绑包,并提交给交换协议。

匹配这一工作不是交换协议在做的吗?怎么市场也来掺一脚?

交换协议收到这个捆绑包后,将按以下步骤进行处理:

  1. 通过比较目标 NFT 的 ID、价格和出价、有效期来检查两个订单是否匹配。
  2. 锁定目标 NFT 的交易状态。
  3. 验证卖方签名、买方签名的有效性。
  4. 验证卖方提供的证明。
  5. 检查卖方的代理是否已被认证。
  6. 如果上述任何步骤失败,交易阶段将中止并发出错误信息。如果所有上述步骤都成功,交换协议将检查卖方是否认证了代理。如果是,它将调用卖方代理并传入 calldata 参数以执行。
  7. 代理执行 calldata,并将目标 NFT 的所有权字段替换为 C B o b C_{Bob} CBob。然后作为交易收据发出此次交易完成的事件。

太离谱了,明明说了买方不使用代理,原文却在第 5 步说要检查买方的代理是否被认证😇

算法 1 展示了定义在交换协议中的交换函数:

Upon receiving(Order1, Order2):
	Assert message.sender = marketplace  // 验证消息发送者是否是市场
	Assert Order1.target = Order2.target  // 验证目标NFT是否一致
	Assert Order2.bid >= Order1.price  // 验证出价是否大于等于价格
	Assert t > listing.time || expiration.time > t  // 验证时间戳是否处于有效期内
	Lock(Order1.target)  // 锁定目标NFT
	Verify(Order1.sig)  // 验证卖家签名
	Verify(Order2.sig)  // 验证买家签名
	Assert VerifyProof(Order1.proof) = 1  // 验证卖家证明
	Assert Registry[proxy] = approved  // 验证代理是否已被认证
	r = Call(proxy, Order1.calldata, Order2.commit)
	Unlock(Order1.target)  // 解锁目标NFT
	Return r and emit event

代理的过程在算法 2 中展示:

Upon receiving(calldata, commit):
	Verify(calldata.sig, pkt)
	calldata.receiver = commit
	r = Proxy(calldata)
	Return r

说明:

  • 参数:order1 的 calldata、order2 的 commit
  • 第一步:检验??
  • 第二步:将 calldata 的接受者设置为关于 Bob 地址的承诺
  • 第三步:进行 NFT 所有权的转移

其中,Proxy() 是由 Wyvern 库定义的,以允许代理执行 Alice 创建的所有权转移命令。在检测到完成事件后,市场使用假账户向 Alice 支付以太币,作为出售 NFT 的收入。

什么是 Alice 创建的所有权转移命令?答:Alice 销售订单里写的 calldata 定义了所有权转移命令。



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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

如何快速完成手头工作 待办工作的处理技巧

作为忙碌的上班族,我们每天都要处理大量的工作任务。面对堆积如山的工作,稍有不慎,就可能导致任务的延误甚至遗忘。想象一下,在紧张而忙碌的一天结束时,突然发现一个重要的报告还未完成,或者忘记了一个关键…

Python从0到100(十五):函数的高级应用

前言: 零基础学Python:Python从0到100最新最全教程。 想做这件事情很久了,这次我更新了自己所写过的所有博客,汇集成了Python从0到100,共一百节课,帮助大家一个月时间里从零基础到学习Python基础语法、Pyth…

【ARFoundation自学01】搭建AR框架+检测平面+点击克隆立方体到地面=自信入门!

介绍 AR 的功能其实是个大手机系统厂商和眼镜设备厂商开发的功能,并不是Unity的功能,毕竟Unity没有自己的手机设备!比如谷歌公司的安卓开发了ARcore,让所有安卓8.0版本以上的用户能够在手机上体验AR功能!苹果推出了AR…

token逆向和简单的字体解密

一、token加密部分 网址:aHR0cHM6Ly9qenNjLmpzdC56ai5nb3YuY24vUHVibGljV2ViL2luZGV4Lmh0bWwjLw 点开查询的xhr的包,发现headers中含有token这一加密参数。 直接跟栈,很容发现在第三个栈加密。 s Object(L.b)(l).toString(),由…

VASA-1:一键生成高质量视频,颠覆你的想象!

VASA-1:语音生成AI视频 前言 最近,微软公司公布了一项图生视频的 VASA-1 框架,该 AI 框架只需使用一张真人肖像照片和一段个人语音音频,就能够生成精确逼真的相对应文本的视频,而且可以使表情和面部动作表现的十分自然…

Dubbo应用可观测性升级指南与踩坑记录

应用从dubbo-3.1.*升级到dubbo-*:3.2.*最新稳定版本,提升应用的可观测性和度量数据准确性。 1. dubbo版本发布说明(可不关注) dubbo版本发布 https://github.com/apache/dubbo/releases 【升级兼容性】3.1 升级到 3.2 2. 应用修改点 应用一般只需要升级dubbo-s…

Windows 的常用命令(不分大小写)

Net user (查看当前系统所有的账户) net user yourname password /add 添加新用户 net localgroup administrators yourname /add 添加管理员权限 net user yourname /delete 删除用户 net user 命令 [colorred]说明:以下命令仅限持管理员…

CentOS 7安装、卸载MySQL数据库(一)

说明:本文介绍如何在CentOS 7操作系统下使用yum方式安装MySQL数据库,及卸载; 安装 Step1:卸载mariadb 敲下面的命令,查看系统mariadb软件包 rpm -qa|grep mariadb跳出mariadb软件包信息后,敲下面的命令…

振弦采集仪在岩土工程施工控制中的作用与效果

振弦采集仪在岩土工程施工控制中的作用与效果 河北稳控科技振弦采集仪在岩土工程施工中是一种常见的测量仪器,它通过对地表地震波的传播和振动特性进行监测,可以提供关键的信息,用于控制施工质量和安全。振弦采集仪具有精度高、反应快的特点…

ADOP带您了解光模块发射光功率的四种测试方法

🤲🤲品质优良的光模块在发货前一般经过了严格的硬件测试和光学测试,光学测试主要检测光模块的兼容性,硬件测试主要是参数测试,其中包含发射光功率、接收灵敏度、工作温度、偏置电流等等。 🌐🌐…

07 文件-IO流字节流

File File类的使用 File对象既可以代表文件、也可以代表文件夹。它封装的对象仅仅是一个路径名,这个路径可以存在,也可以不存在 创建File类的对象 构造器说明public File(String pathname)根据文件路径创建文件对象public File(String parent, Strin…

(精)3款好用的企业防泄密软件推荐 | 好用电脑文件防泄密软件推荐

企业防泄密是指通过一系列的技术手段和管理措施,防止企业的敏感信息、核心技术、商业机密等被未经授权的第三方获取或泄露。 这不仅是保护企业资产和知识产权的重要手段,也是维护企业声誉、保持市场竞争力的关键因素。 而企业防泄密软件则是专门用于实…

JavaScript之模块化规范详解

文章的更新路线:JavaScript基础知识-Vue2基础知识-Vue3基础知识-TypeScript基础知识-网络基础知识-浏览器基础知识-项目优化知识-项目实战经验-前端温习题(HTML基础知识和CSS基础知识已经更新完毕) 正文 CommonJS、UMD、CMD和ES6是不同的模块…

2024/4/21周报

文章目录 摘要Abstract文献阅读题目问题贡献方法卷积及池化层LSTM层CNN-LSTM模型 数据集参数设置评估指标实验结果 深度学习使用GRU和LSTM进行时间预测1.库的导入&数据集2.数据预处理3.模型定义4.训练过程5.模型训练 总结 摘要 本周阅读了一篇基于CNN-LSTM黄金价格时间序列…

【热门话题】常用经典目标检测算法概述

🌈个人主页: 鑫宝Code 🔥热门专栏: 闲话杂谈| 炫酷HTML | JavaScript基础 ​💫个人格言: "如无必要,勿增实体" 文章目录 常用经典目标检测算法概述1. 滑动窗口与特征提取2. Region-based方法R-CNN系列M…

心理学|变态心理学健康心理学——躯体疾病患者的一般心理特点

一、对客观世界和自身价值的态度发生改变 患者除了内部器官有器质或功能障碍外,他们的自我感觉和整个精神状态也会发生变化。使人改变对周围事物的感受和态度,也可以改变患者对自身存在价值的态度。这种主观态度的改变,可以使患者把自己置于人…

【Linux驱动层】iTOP-RK3568学习之路(三):字符设备驱动框架

一、总体框架图 二、字符设备相关函数 静态申请设备号 register_chrdev_region 函数原型:register_chrdev_region(dev_t from, unsigned count, const char *name) 函数作用:静态申请设备号,可以一次性申请多个连续的号,count指定…

Python读取influxDB数据库(二)(influxDB2.X版本)

1. influxDB连接 首先在浏览器中输入influxDB的IP和端口,然后输入账号密码进入到influxDB数据库来进行数据的相关操作: 里面的bucket相当于sql中的数据库,_measurement相当于sql中的表 2. 获取influxDB数据库的token方法 3. 写查询语句来查询…

新火种AI|号称“史上最强大开源模型”的Llama3,凭什么价值百亿美金?

作者:小岩 编辑:彩云 4月19日,Facebook母公司Meta重磅推出了Llama3。 即便大家现在对于大厂和巨头频繁迭代AI模型的行为已经见怪不怪,Meta的Llama3仍旧显得与众不同,因为这是迄今最强大的开源AI模型。 Meta推出了重…

Redis从入门到精通(二十一)Redis最佳实践(二)mset、pipeline、慢查询优化、内存划分

文章目录 前言7.2 批处理优化7.2.1 命令执行流程7.2.2 mset7.2.3 Pipeline7.2.4 集群下的批处理7.2.4.1 问题与解决方案7.2.4.2 基于Spring的串行化执行 7.3 服务器端优化7.3.1 持久化配置7.3.2 慢查询优化7.3.2.1 什么是慢查询7.3.2.2 如何查看慢查询 7.3.3 命令及安全配置7.3…