这篇文章介绍了一种新的拍卖设计,我们称之为 "SneakyAuction",它结合了CREATE2操作码和状态证明来保证投标隐私,而不要求投标人锁定超过要求的抵押物。
原本标题:Hidden in Plain Sight: A Sneaky Solidity Implementation of a Sealed-Bid Auction
原文作者:Michael Zhu
原文来源:a16zcrypto
编译:MarsBit,MK
编者注:这篇文章是我们正在进行的web3拍卖系列的一部分。 第一部分是对拍卖设计的概述,以及在无需许可的区块链背景下机制设计的具体技术挑战(和机会)。第二部分是关于清理市场和避免GAS战争的文章。第三部分分享了对典型拍卖类型的概述、理论如何转化为实践的研究,以及我们对一个新颖的、密封投标的Vickrey拍卖的首次实施。
链上拍卖是web3中最有趣(且无处不在的)设计空间之一——从NFT销售到抵押品拍卖——产生了新的实现和研究景观。虽然拍卖机制的设计已经存在了几个世纪,并在最近几十年随着网络和电子商务的出现而不断发展,但我们现在才将这些方法应用于智能合约。
我们也开始看到更多区块链原生的拍卖设计,包括我们对Vickrey拍卖的开源Solidity实现,以及来自社区的一些有趣的发展(包括对效率改进的建议,新的理论结果,以及两个黑客马拉松中获胜的私密投标拍卖的实现)。在我们的第一个设计中,我们在隐私和资本效率之间做了一个权衡。我们使用了超额抵押(投标人锁定了比他们的投标要求更多的抵押品),以便从获胜的投标人那里强制付款,而不通过抵押品的数量揭示精确的投标价值。通过锁定更多的资本,你可以在潜在的更大的机会成本下获得更多的隐私。但是,如果我们可以在没有过度抵押的情况下拥有投标隐私呢?
这篇文章介绍了一种新的拍卖设计,我们称之为 "SneakyAuction",它结合了CREATE2操作码和状态证明来保证投标隐私,而不要求投标人锁定超过要求的抵押物。我们首先分解了它的工作原理,然后在气体成本、用户体验和隐私方面与我们之前的实现(OverCollateralizedAuction)进行比较。我们还将该实现添加到GitHub上的Auction Zoo仓库中,这样你就可以分叉它,在它的基础上构建,并在我们深入研究更多的机制时跟随我们;与此同时,更多关于它如何工作以及与我们过去的设计进行比较的信息如下。
要在链上创建一个 "最终公开 "的密封投标拍卖,需要满足两个要求。首先,出价需要在投标期间保密,然后在投标结束时才公开;承诺-公开方案(用户发布哈希提交值,然后会在稍后公开他们的输入)可以在链上复制这种机制。第二个要求是抵押:出价必须有抵押物支持,以确保赢家有足够的资金来履行他们的承诺。
在我们的超额抵押的Vickrey实现中,潜在的买家通过调用commitBid函数,提供哈希承诺和要托管的抵押物来出价。这种方法满足了要求,但也有一些缺点。尽管出价本身被哈希值所隐藏,但commitBid交易公开并立即表明了用户的意图。"我想在这个拍卖会上出价,这是我出价的抵押品。" 如果没有过度抵押,意图和抵押品的可见性(和可链接性)会暴露出投标价值。但是,如果我们能够混淆交易的意图,我们也许能够在不依赖过度抵押的情况下实现投标隐私。
在EIP-1014中引入并包含在君士坦丁堡硬分叉中的CREATE2操作码为我们提供了一种方法来做到这一点。CREATE和CREATE2操作码都是用来部署智能合约的,但它们在计算部署地址的方式上有所不同。CREATE部署地址是作为部署者地址和nonce的哈希值计算的;另一方面,CREATE2部署地址是作为合约的字节码和构造器参数、任意盐和部署者地址的哈希值计算的。
CREATE2经常被用于工厂模式,将合约部署到可预测的地址--例如,UniswapV3PoolDeployer合约使用CREATE2将每个池子的合约部署到一个地址,这个地址是代币对和收费层的函数。CREATE2也可用于(重新)部署可升级的智能合约,最明显的是在变质合约模式中。
对我们来说更重要的是,CREATE2的部署地址可以作为对输入字节码和参数定义的任何行为的散列承诺。如果构造器参数编码了一个投标,那么CREATE2地址可以作为一个投标承诺。
计算Solidity中金库的地址
此外,合同本身可以作为一个保险库——投标人可以在合同部署之前向CREATE2的金库地址发送ETH,以抵押和承诺他们的投标,只需一次简单的转账 由于竞标者没有金库地址的私钥,抵押物被锁定,直到竞标被公开,这时SneakyAuction合约部署并解锁金库。
SneakyVault合约。检查其投标是否获胜,并相应地将其ETH发送给卖家或投标人。所有这些都在构造函数中!
这种方法使交易与转移到外部拥有的地址(EOA)无法区分。投标交易与其它交易一样隐藏在众目睽睽之下。然而,有一个重要的注意事项:这种看似整洁的解决方案也使得很难确定抵押品何时被锁定。对于拍卖的安全性来说,在任何出价被公开之前,金库的资金是至关重要的。否则,一个投机取巧的买家可以等到公开期结束时,即大多数出价已经被公开时,才决定是否抵押他们的金库。我们需要使用另一个工具来确保金库在投标期间,而不是在公开期间被抵押,即状态证明。
确保金库在投标期间被抵押的一种方法是通过检查其在过去区块的余额。通过查询一个存档节点,在链下做这件事相对容易;但在链上完成(无需信任的)要困难得多。EVM的BALANCE操作码可以读取一个地址的当前余额,但是没有这样的操作码来检索过去的余额。事实上,唯一提供任何历史状态访问的EVM操作码是BLOCKHASH,它返回最后256个块的哈希值。幸运的是——在一些链外的帮助下——blockhash对我们的用例来说已经足够好。
区块哈希是区块头的哈希值,其中包括(在其他元数据中)该区块的状态根。状态根是Merkle-Patricia trie的根节点,其中每个叶子节点对应于一个特定的地址,包括该地址在该区块的余额。我们不能直接访问链上的这些叶子节点,但是我们可以验证一个叶子节点的内容是否正确。事实上,Alchemy(以及其他供应商)支持的eth_getProof RPC方法会返回执行这种验证所需的Merkle证明(Leo Zhang深入解释了在以太坊轻型客户端的背景下这是如何工作的)。这意味着,通过一点链外帮助(一个RPC调用),投标人可以向SneakyAuction合约证明他们的金库在投标期间有抵押。
EVM 区块头的组成部分。来源:
https ://ethereum.stackexchange.com/a/6414
在我们的实现中,拍卖的第一个出价会存储上一个区块的区块链。该交易有效地将拍卖从投标阶段过渡到揭示阶段--所有随后揭示的投标必须提供Merkle证明,证明他们的金库在该区块之前(即在第一个投标被揭示之前)已经有足够的抵押。请注意,第一次揭示出价交易最好是通过私人交易池(如Flashbots)提交;否则,观察mempool的竞标者(看到揭示出价的价值)可以提前进行交易并在最后一刻出价。
为了最大限度地降低投标人的成本,我们编写了一个GAS优化库来验证链上的余额证明,该库建立在Aragon团队(在2018年开创了链上存储证明)编写的合同,以及Hamdi Allam的链上RLP解码的合同。我们的库使用了一些低级技巧和优化,这些技巧和优化依赖于状态 trie 的特殊结构,所以它不能用于通用的 Merkle-Patricia trie 证明。作为回报,它允许SneakyAuction合约在不到3万个气体中验证金库的过去余额。
我们还为eth_getProof RPC方法写了一个轻量级的JavaScript包装器。给定一个地址和区块号码,它返回余额证明和RLP序列化的区块头,可以用来显示投标。
让我们把我们新的SneakyAuction方法与我们上次发布的OverCollateralizedAuction设计进行比较,沿着技术设计者或用户关心的几个关键维度:GAS成本、用户体验和隐私。
SneakyAuction的revealBid、endAuction和withdrawCollateral功能需要部署SneakyVault,所以它们比OverCollateralizedAuction的对应功能更昂贵。revealBid尤其昂贵,因为它还需要验证一个余额证明,这需要花费大约25000个气体。
虽然这两个实现遵循类似的整体流程(投标阶段、揭晓阶段、拍卖结束),但在用户体验上还是有一些区别。SneakyAuction有一些小的缺点:
OverCollateralizedAuction的投标隐私依赖于投标人选择锁定额外的抵押品(因此旁观者知道投标的上限,但不知道确切的金额)。另一方面,SneakyAuction的隐私来自与拍卖本身完全无关的链上活动。在拍卖的投标期间发生的ETH转移。
为简单起见,我们假设每个投标都是用一个ETH转账来抵押的。我们观察到:
在投标期间,ETH转移到其他 "未触及 "的地址似乎是投标——换句话说,它们是隐藏投标交易的 "噪音"。为了帮助量化SneakyAuction的隐私,我们可以看一下这个噪音分布的形状。
这个直方图显示了今年以来每天ETH转移(在以太坊主网)到未触及的地址的分布,说明了24小时投标期的噪音分布。我们可以看到,大多数交易都落在[0.001,1]ETH范围内,这意味着预期出价值在该范围内的拍卖将具有最强的隐私。另一方面,对于预期出价大于10ETH的拍卖,典型的噪音可能无法提供足够的隐私--在这个范围内很少有超过100次的转账,所以吸引很多出价的拍卖会在分布中产生一个明显的峰值。
为了从另一个角度看这个数据,这些散点图描述了2022年10月15日的转账情况,与两个假设拍卖的出价相叠加:
200次出价,正常分布在1ETH左右
200次出价,正常分布在100ETH左右
从直观上看,观察者更容易识别来自第二次拍卖的出价。在实践中,你可以使用一个聚类算法,如期望最大化(EM)算法来预测哪些交易是投标。
然而,还有一些其他因素可以使SneakyAuction在实践中更加私密(因此也更有说服力)。
SneakyAuction也可以从过度抵押中获益--因为SneakyVault将任何多余的ETH返还给竞标者,竞标者可以选择过度抵押以进一步保护隐私。因此,从某种意义上说,SneakyAuction提供了严格意义上比我们之前的实现更强的隐私。
SneakyAuction的隐私机制的一个简单推论是,它隐藏了投标期间的投标数量。这比OverCollateralizedAuction有优势,OverCollateralizedAuction只隐藏了出价值--在特定的拍卖中已经做出的出价承诺的数量是完全公开的(并且可能泄露了拍卖的竞争程度)。
虽然我们对密封出价拍卖的第一个实现将现实世界的特征转化为链上的设计决策,但我们的第二个设计依赖于一种新颖而实用的机制,将区块链的公共性质用于其优势:密封出价 "隐藏 "在不相关的区块链活动中。
虽然这种新方法是实现投标隐私而不过度抵押的便捷方式,但它不一定适合所有的拍卖(例如,有许多高价值投标的拍卖)。对于期望出价较小的拍卖(尤其是在较长的时间内),隐私性会得到改善。
责任编辑:MK