撰文:KailiWang,斯坦福大学区块链研究者
编译:0x11,ForesightNews
区块链交易的不可逆性既是福也是祸。BAYC网络钓鱼、PolyNetwork攻击、HarmonyBridge妥协、Ronin被黑,仅在2021年,就??有140亿美元的加密货币被盗。如此之多「不可否认」的盗窃频繁发生,却没有「撤消按钮」来取消交易,也并非每个人都像Wormhole那样好运,有JumpCrypto在需要时帮他们兜底。
但是,如果有一种公平的方法可以扭转这些盗窃行为呢?
这是我们斯坦福大学的几个人在过去几个月里一直在努力回答的问题。我们为ERC-20和ERC-721设计了支持逆向交易的代币标准,写了一篇关于它们的论文,并实现了它们的代码原型。我们将这些代币标准分别称为ERC-20R和ERC-721R。
斯坦福CodeX执行主任Dr. Roland Vogl博士加盟Euterpe:据官方消息,斯坦福法律科技孵化器CodeX执行主任Roland Vogl博士于近日正式加盟Euterpe团队担任顾问一职。作为法律界的权威人士,Vogl博士的加入为Euterpe业务发展带来更多资源,也为Euterpe探索在版权领域的未来发展战略提供有力翼助。
据悉,Vogl博士毕业于斯坦福大学法学院,拥有近20年法律从事经验,是美国知名学者、律师和企业家。多年来,Vogl博士主导多个国际法律科技创新项目,参与了快速增长的国际法律科技行业的建设, 并入选2016年“Fastcase 50”。[2022/1/11 8:41:20]
现在,你可能在想:可逆代币?这不是违背了区块链的目的吗?实际上,没有。该提案不会从区块链中删除交易;它只是允许事后通过去中心化的司法投票程序将资金转回到其合法所有者手中。
斯坦福计算机科学家启动区块链研究中心 V神表示支持:对于斯坦福计算机科学家新近启动的区块链研究中心,V神最近表示十分兴奋并支持。该中心由计算机科学教授Dan Boneh和DavidMazières领导 ,首任教师将包括Alex Aiken、David Dill等人。以太坊基金会也支持该中心。[2018/6/21]
工作原理
撤销交易的流程
假设攻击者从受害者那里盗取资金。资金可能会进一步转移到其他地址,如下图1所示,会发生以下情况:
受害者要求冻结被盗资金。受害者向治理合约发布冻结请求,并提交相关证据和一些抵押资产。有争议的交易必须是最近发生的。
法官接受或拒绝冻结请求。一定人数的法官通过去中心化投票的方式决定是否冻结资产,这个审议期最多需要一两天。如果他们拒绝该请求,撤销交易程序将停止,受害者将失去他们的抵押资产。如果他们接受请求,那么治理合约将调用ERC-20R/ERC-721R合约中的freeze函数。
斯坦福大学教授张首晟:在整个区块链的发展中找到内在的统一非常重要:斯坦福大学讲座讲授、区块链投资人张首晟近日表示:比特币只是区块链的开端,接下来整个区块链的发展中找到内在的统一非常重要。张首晟指出,绝大部分大数据跟个人信息有关,现在情况下,个人数据和信息往往去了中央平台,我们个人并没有达到我们隐私的保护,我们也没有由于提供本人数据而得到回报,这两个问题同时由区块链解决,所以区块链和人工智能必然有相辅相成的关系。[2018/5/28]
执行冻结。对于NFT,冻结只是阻止NFT被转移。对于ERC-20R,它将追踪被盗资金并禁止转移这些资金。请注意,只要账户所有者的余额在冻结金额以上,账户所有者仍然可以与其他人进行交易。这个过程可能会变得复杂,我将在下一节中解释。
斯坦福大学:加密货币市场的流动性令人惊讶:斯坦福大学Athey表示,加密货币市场海量流动性令人惊讶。[2018/4/27]
审判。双方可以向去中心化法庭提供证据,最终法官做出判决,此时他们指示治理合约调用受影响的ERC-20R/ERC-721R合约的reverse或者rejectReverse函数。如果调用rejectReverse函数,则解除对争议资产的冻结。审判过程可能会持续较长时间,可能需要几周。
逆转交易。调用reverse函数将冻结的资产发送回给受害者。
图1:交易图
追踪被盗资金
被盗取的资产很少只是放在一个地方。攻击者通常用某些方式将资产从一个帐户转移到另一个帐户。在这种情况下,攻击者甚至可以监控mempool,并在看到冻结请求提交时将资产转移到前端交易中。避免这种情况的解决方案是在单笔交易中在链上进行整个冻结,这样攻击者就无法「逃脱」冻结。
但是我们不能只禁用所有相关资产的账户,那么我们如何决定冻结什么以及冻结谁的账户呢?如果它是NFT,冻结非常简单:只需查看当前拥有NFT的人,然后冻结该帐户即可。然而如果是ERC-20资产,货币的可分割性使得冻结变得非常复杂。这些资金可以分配到数十个账户中,投入到Tornado等匿名混合器中,或者兑换成另一种加密货币。如果它通过许多帐户,至少其中一些将与黑客相关联,但有些人很可能是无辜的。不可能总是正确地辨别每个帐户的是否有罪。因此,我们提供了用于追踪和锁定被盗资金的默认冻结流程。我们的算法确保:
假设没有销毁,将冻结足够的资产来支付盗窃金额。,
账户资金只有在与盗窃资产有直接交易流的情况下才会被冻结
相对于交易图,该算法以合理的运行时复杂度运行。
我们在论文中讨论了算法的更多细节。
可逆性是病
在交易中,像往常一样交换两种不同的可逆代币是安全的;如果一方要求冻结,则有可能从另一方收回资金。但是,将可逆代币换成不可逆代币会很危险;为了保护自己免受逆转,交易可能仅在可逆时间窗口过去后才完成交换。这意味着可逆→不可逆交易将有很长的延迟。因此,一旦几个主要代币变得可逆,其他代币也面临着巨大的可逆压力。
去中心化司法系统
这个难题中比较模糊的部分涉及「法官的法定人数」。这些法官是谁?他们如何投票?他们如何获得奖励?
这些工作最终取决于治理,即创建ERC-20R/ERC-721R实例的人。然而,一般来说,法官必须从交易池中随机选择案例,他们的奖励独立于他们的投票决定。奖励来自与冻结请求一起提交的受害者的初始权益。法官的选举最好秘密进行,在提交选票之前不公开,以保证法官可以独立投票。同样,请参阅论文以进行进一步讨论。
想了解更多?
在我们的论文中,我们讨论了更多细节,例如如何降低法官不诚实的风险、对交易所和混币器的影响、相关工作以及对算法和实现的深入解释。如果有兴趣,我们鼓励你看一看。我们希望这会引发关于代币可逆性的讨论,并且你们中的一些人可能会找到更好的可逆解决方案,以帮助减少生态系统中的损失。
标签:区块链VERSEUTTER区块链最大局Kurai MetaVerseNeutral DollarNFMonsters
Web3游戏公司FlowstateGames完成200万美元Pre-Seed轮融资,PlayVenturesFutureFund领投.
1900/1/1 0:00:00作者:LouisLiu?,?章鱼网络OctopusNetwork2022年8月26日,链捕手主办的「Web3大航海时代畅谈会」邀请OctopusNetwork创始人Louis老师.
1900/1/1 0:00:00作者:PANewsDeFi协议的真实情况可能并不像表面数据那样光鲜亮丽。我们对MakerDAO的印象可能包括:TVL长期处于第一位,DAI是重要的DeFi基础设施,MakerDAO可以依靠稳定费.
1900/1/1 0:00:00链捕手消息,加密数据基础设施平台Goldsky宣布完成2000万美元种子轮融资,Felicis和DragonflyCapital领投.
1900/1/1 0:00:00作者:LewisLiao,ZonffPartners当我们在谈Web3数据的时候,在谈些什么?想要弄清楚这个问题,首先我们要弄清楚,在Web2中数据是什么样的.
1900/1/1 0:00:00作者:Yuky,W3.Hitchhiker一、项目简介简介:Opyn是一个基于以太坊的去中心化期权协议平台,用户可以通过期权交易或者提供流动性来获得收益.
1900/1/1 0:00:00