V神:如何打造更安全中心化交易所?

原文:《Having a safe CEX: proof of solvency and beyond》

编译:双花 (/img/202315212047/0.jpg">

V神:马斯克可以让推特变得“非常棒”或“非常糟糕”:金色财经报道,以太坊区块链联合创始人V神(Vitalik Buterin)在新加坡金融科技节上发表讲话称,希望在未来5到10年内出现某种更好的社交媒体平台,无论是Twitter本身,还是一个突破性的替代品,甚至可以同时看到两者。V神还表示:“马斯克可以让Twitter变得非常棒或非常糟糕,而后一种情况可能会为其他人做一些伟大的事情提供机会”。他补充道,Twitter也可能最终介于这两个极端结果之间。(彭博社)[2022/11/5 12:19:15]

绿色:Charlie 的节点。蓝色:Charlie 收到用于证明的节点。黄色:根节点,向所有人公布

Merkle 树技术会将用户余额表放进 Merkle 总和树。在 Merkle 总和树中,每个节点都是对。底层叶子节点表示各个用户的余额以及用户名的加盐哈希。在每个更高层的节点中,余额是下面两个节点余额的总和,而哈希是下面两个节点的哈希。Merkle 总和证明和 Merkle 证明一样,是一个由叶子节点到根节点路径上所有姐妹节点组成的「分支」。

首先,交易平台会向每个用户发送一份其余额的 Merkle 总和证明。然后,用户能够确定其余额作为总额的一部分而被正确地包含。可以在这里找到简单的示例代码。

这种设计下的隐私泄露远低于公开完整的余额表,并可以在每次默克尔根发布时打乱各个分支来进一步降低隐私泄漏风险,但仍存在一些隐私泄露的问题:Charlie 知道某人的余额为 164 ETH,某两个用户余额的总和为 70 ETH,等等。控制多个帐户的攻击者仍能了解交易平台用户的大量信息。

该方案的一个重要的微妙之处在于负余额的可能性:如果一个拥有 1390 ETH 用户余额却只有 890 ETH 储备的交易平台试图通过在树上某处的一个假账户下添加 -500 ETH 余额来弥补差额,该怎么办?这种可能性实际上并没有破坏该方案,这就是我们特地使用 Merkle 总和树而不是常规 Merkle 树的原因。假设 Henry 是交易平台控制的假账户,而且交易平台在上面放了 -500 ETH:

V神:希望有人能分叉Maker并剥离治理:金色财经报道,以太坊(ETH)联合创始人V神再次批评了yield farming并正在寻找一个“最不喜欢的DeFi项目”。他还透露了自己对新的去中心化金融(DeFi)项目的愿景。V神称,我对DeFi的愿望是让某人分叉Maker,剥离治理并将其替换为自动利率目标,剥离Dai储蓄利率,并使代币本身仅针对“index*(1+利率)*时间”,并将其概括为一堆价格指数。[2020/9/2]

Greta 的验证将不会通过:当交易平台将不得不把 Henry 余额为 -500 ETH 的节点的给她时,她会拒绝掉该无效节点。Eve 和 Fred 也会验证失败,因为 Henry 之上的中间节点余额为 -230 ETH,所以该节点也是无效的!为了盗用行为不被发现,交易平台只能寄望于树的右半部分没人检查其余额证明。

如果交易平台能够挑选出这样的拥有 500 ETH 的用户:他们嫌麻烦不去检查余额证明,或者当他们抱怨未能收到余额证明时,大家并不相信他们,那么交易平台就可以蒙混过关。但是,交易平台也可以通过将这些用户排除在 Merkle 总和树之外来达到相同的效果。因此,如果仅就负债证明而言,Merkle 树技术基本满足了需求。但它的隐私特性仍不够理想。你可以更巧妙地使用 Merkle 树进行改进,比如把 satoshi 或 wei 作为一个独立的叶子节点。然而,通过使用更先进的技术,还可以做得更好。

ZK-SNARKs 是一项强大的技术。ZK-SNARKs 对密码学的意义类似于人工智能:一项足以碾压数十年前为了解决一系列问题而开发的一系列专用技术的通用技术。因此,我们当然可以使用 ZK-SNARKs 极大地简化和改善负债证明协议中的隐私。

我们可以简单地将所有用户的存款放进 Merkle 树(或者更为简单的 KZG 承诺),并使用 ZK-SNARK 来证明树中的所有余额都是非负的,并且加起来等于某个声称的值。如果我们添加了一层哈希来保证隐私,那么发给每个用户的 Merkle 分支(或 KZG 证明)将不会泄漏任何其他用户的余额。

声音 | V神:发链很难发币更难,公链在保护隐私上的最大阻碍是可扩展性:在万向区块链实验室主办的第五届区块链全球峰会上,在被问及如何看待诸如Facebook等大型公司,而非初创项目建立区块链基础设施之时,V神表示:“发行新的区块链很难,发行新的货币更难,两者加上来是难上加难,哪个更成功,我不知道。”V神表示用私链来保护隐私是不靠谱的;联盟链的数据只是跟附近公司分享,虽然也有一定的保密性;但公链是最好的方式,不过公链现在最大的阻碍是可扩展性。长期来看,随着公链的扩展性提升,公链的价值也就越高。[2019/9/18]

使用 KZG 承诺是避免隐私泄露的一种方法,因为其不需要把「姐妹节点」作为证明提供,并且可以使用简单的 ZK-SNARK 来证明余额的总和,并且每个余额都是非负的。

我们可以通过一个专用的 ZK-SNARK 来证明上述 KZG 中余额的总和及其非负性。这里有一个简单的例子。我们引入了一个辅助多项式 I(x),其「构建出用户余额的每一位」(为了举例,我们假设余额低于 215),其中每第 16 个位置追踪差额保证,只有当实际总额与宣称总额相等该值才会是 0。如果 z 是一个 128 阶的原根,我们可以证明方程成立:

译者注:对这个多项式等式的解读。如何把这些等式转换为多项式校并在后续转换为 ZK-SNARK 可以参考我撰写关于 ZK-SNARKs 文章的此处和另外一处。这并不是一个最优的协议,但让这些密码学证明比较好理解!

只需要几个额外的方程式,该约束系统就可以适配更复杂的设定。例如,在杠杆交易系统中,个人用户拥有负余额是可以接受的,但前提是他们需要拥有足够的抵押资产以覆盖其负债。SNARK 可以用于证明这一更为复杂的约束,向用户保证,交易平台不能秘密违规豁免某些用户,从而危及用户资产。

长远来看,这种 ZK 负债证明的用处不限于交易平台中的用户存款,还可以用于更广泛的贷款场景。任何贷款的人都会将记录放入含该贷款的一个多项式或一棵树中,而根会在链上发布。这将使得任何寻求贷款的人向放款方提供零知识证明,以表明其未获得太多其他贷款。最终,法律上的创新甚至可以使得以这种方式进行承诺的贷款比无承诺的贷款拥有更高的优先级。这与我们在《去中心化社会:寻找 Web3 的灵魂》中讨论的一个想法不谋而合:通过某种形式的」灵魂绑定代币「,使得链上负面信誉的概念成为可能。

声音 | V神:加密货币与法币是共存的关系:据日经新闻消息,以太坊创始人Vitalik Buterin在接受采访时表示,加密货币与法币并不是竞争,而是共存的关系。在谈及加密货币市场走低时,V神表示泡沫的确存在并且已经收缩,正如过去曾重复经历过的泡沫一样,过度兴奋或感到恐慌都是人之常情。此外V神还表示,区块链技术已产生了实用价值,对其实效性有信心。[2018/11/19]

资产证明最简单的版本是我们上面看到的协议:为了证明您持有 X 个代币,您只需在预定时间移动 X 个代币或在交易中携带「这些资金属于 Binance」的信息。为了避免支付交易手续费,你可以签署一条链下消息。比特币和以太坊都有链下签名信息标准。

这种简单的资产证明技术存在两个实际问题:

冷钱包处理

抵押品重用

出于安全考虑,大多数交易平台会将大部分用户资金存储在冷钱包中:在离线的计算机上,交易需要手动签名并携带到互联网上。这种手段是很普遍的:我过去用于存放私人资金的冷钱包放在一台永久离线的计算机上,它会生成包含已签名交易的二维码,然后我会用手机扫描这些二维码。由于资金量庞大,交易平台使用的安全协议会更加复杂,经常涉及在多个设备间的多方计算,以进一步降低单设备被黑导致密钥泄露的可能性。在这种背景下,即使是创建一条额外消息来证明对地址的控制也是一项昂贵的操作!

交易平台可以采用以下几种方式:

维护一些长期使用的公开地址。交易平台生成若干地址,仅发布一次每个地址所有权证明,然后重复使用这些地址。这是迄今为止最简单的方案,尽管它在保护安全及隐私上增加了一些限制。

持有很多地址,然后随机证明几个地址。交易平台持有很多地址,甚至可能每个地址只用一次,并在单次交易后不再使用。在这种情况下,交易平台需要有一个协议,不时地随机选择一些地址,交易平台必须「打开」以证明所有权。一些交易平台已通过审计员进行了类似的操作,但原则上,这种技术可以转化为完全自动化的程序。

更复杂的 ZKP 方式。例如,交易平台可以将其所有地址设置 1/2 多签,这些地址的其中一份密钥各不相同,而另一份相同的密钥是以某种复杂但安全的方式(如,12/16 多签)存储起来重要的紧急备份盲版。为了保护隐私并避免泄漏其全部地址,交易平台甚至可以在区块链上运行零知识证明以证明该格式链上地址的总余额。

声音 | V神:很后悔在以太坊中采用“智能合约”这个术语:V神在某社交软件中回复用户关于\"CryptoLaw\"讨论时称,明确一点,非常后悔采用“智能合约”一词。应该把它们称为更乏味或偏技术性的东西,也许就像“可持续性脚本”。[2018/10/15]

另一个主要问题是防止抵押品重用。彼此间来回转移抵押品以证明储备金对交易平台而言通常很容易办到,这使得实际上没有偿付能力的情况下蒙混过关。理想情况下,可偿付证明应该实时完成,并在每个区块后更新证明。如果不切实际的话,那么下一个最好的办法就是交易平台间协调出一个固定的时间进行证明,例如在 UTC 时间每周二下午 2 点证明储备。

最后一个问题是:能在法定货币上做资产证明吗?交易平台不仅持有加密货币,还持有银行系统内的法币。在这方面,回答是肯定的,但这样的程序将不可避免地依赖于「法币」信任模型:银行自身可以证明余额,审计人员可以证明资产负债表等。鉴于法币不能通过密码学验证,这是在该框架内的最佳方案,仍然值得一做。

另一种方法是将实体 A 和实体 B 分离开来,A 负责运行交易平台并且处理 USDC 这种由某种资产背书的稳定币;而 B 负责在加密货币和传统银行系统之间处理现金流入和流出的过程,在这个案例中 B 即是 USDC 本身。由于 USDC 的「负债」只是链上的 ERC20 代币,所以负债证明是可以「轻易」获得的,而我们只需处理资产证明的问题。

假设我们想更进一步:我们不想仅仅证明交易平台有足够资金偿还其用户。相反,我们想彻底防止交易盗用用户的资金。

在这上第一个尝鲜的是 Plasma,这是一种 2017 年和 2018 年在以太坊研究界流行的扩容解决方案。Plasma 的工作原理是将余额拆分为一组独立的「代币」,每个代币都会分配一个索引,并放到 Plasma 区块的 Merkle 树中的特定位置上。要进行有效的代币转移,需要将交易放到树中的正确位置上,而树根会被发布到链上。

Plasma 的一个版本的极简图。代币被保存在智能合约中,该合约在取款时会强制执行 Plasma 协议的规则。

OmiseGo 试图基于此协议创建一个去中心化交易平台,但从那时起,他们就转向去做其他事了——就这而言,Plasma Group 也是如此,他们去做了 optimistic rollup 项目 Optimism。

2018 年对 Plasma 的局限性(如,证明代币碎片整理)的探讨让大家从根本上怀疑 Plasma 的可行性。自 2018 年对 Plasma 的探讨达到顶峰以来,ZK-SNARKs 在扩容相关用例上变得愈加可行,正如我们上面所说的,ZK-SNARKs 改变了一切。

Plasma 更新的版本是 Starkware 称为 validium 的方案:除了数据被保存在链下以外,基本上与 ZK-rollup 相同。该构造适用于许多用例,可以想象其适用于任何中心化服务器需要证明其正确执行代码的场景。在 validium 中,运营方无法窃取资金,但根据具体的实现细节,如果运营方消失,一些用户资金可能会被卡住。

现在看来一切很棒:CEX 和 DEX 远非二选一,事实证明,其中有一系列的选择,包含各种形式的混合中心化,在那里你能获得一些好处,比如效率,但仍有很多密码学保障,可以防止中心化运营方的大部分形式的恶意行为。

然而,余下的基本问题也值得思考:如何处理用户错误。到目前为止,最重要的错误类型是:如果用户忘记了密码、丢失了设备、被黑或无法访问其帐户,那该怎么办?

交易平台可以解决这个问题:首先利用电子邮件恢复,如果连这都失败了,再通过 KYC 进行更复杂的恢复。但若要解决这些问题,交易平台需要真正控制这些代币。为了能够合理地恢复用户资金,交易平台需要拥有同样可用于无故窃取用户资金的权力。这是一个不可避免的权衡。

理想的长期解决方案是依靠自我托管,用户在未来可以方便地使用诸如多签及社交恢复钱包等技术来帮助处理紧急情况。而短期内,有两种明显的替代方案,有着不同的成本和收益:

另一个重要问题是对跨链支持:交易平台需要支持很多不同的链,诸如 Plasma 和 validiums 等系统需要用不同的语言编写代码以支持不同的平台,并且在当前形式下无法在一些平台(尤其是比特币)上实现,这有望通过技术升级和标准化来解决;然而,从短期来看,这是如今托管型交易平台保持托管模式的另一个原因。

短期内,有两种明确的交易平台类别:托管型交易平台和非托管型交易平台。如今,后一类即像 Uniswap 那样的 DEX,未来我们可能还会看到受密码学约束的 CEX,其中用户资金会以类似 validium 智能合约的方式持有。我们也可能会看到半托管型交易平台,其中我们信任其对法币而非加密货币的处理。

这两种类型的交易平台将继续存在,而提高托管型交易平台安全性的向后兼容最简单方法是增加储备证明。这包括资产证明和负债证明的结合。为两者都设计出优秀的协议仍存在着一些挑战,但我们能够且应当推动两类技术的齐头并进,并尽可能开源软件和程序,以便所有交易平台都能获益。

从长远来看,我希望我们向着所有交易平台皆为非托管的方向发展,至少在加密货币上如此。钱包恢复将会存在,可能需要为小额资金的新用户和出于法律因素需要此类安排的机构提供高度中心化的恢复选项,但这可以在钱包层而非交易平台内部完成。在法币方面,传统银行系统和加密货币生态系统之间的移动可以通过 USDC 等资产背书稳定币原生的资金进出流程完成。然而,我们仍有很长的路要走。

译者注:

每 16 个数字代表一个用户(前面 15 个数字代表该用户的余额,最后一位代表目前为止用户余额总和跟声明的差额)。我们可以看到上面的举例代表了两个用户(这里要读者洞察一下)

宣称的用户平均余额:185

用户 1 的余额:20 -> 000 0000 0001 0100

差额:20 - 185 = -165

用户 2 的余额:50 -> 000 0101 0011 0010

差额:-165 + 50 -185 = -300

最终遍历完所有用户,最后一个用户的差额要求为 0

四个等式的解释

等式 1:递推的初始值为 0

等式 2:每个用户余额需要跟 KZG commitment 相对应

等式 3:每个用户余额的递推公式,约束余额 >= 0 且 214

(上面说余额 215应该是笔误,因为按照等式 3,递推公式只有 14 个取值,I(zi) 214,

16 个数字对应:I(z{16x})=0| I(z{16x+1}) | I(z{16x+2}) | … | I(z{16x+14}) | 差值

16 个数字对应最大取值:0 | 21-1| 22-1| … | 214-1| 差值)

等式 4:约束所有用户总余额与交易平台宣称的余额一致

原文链接律动 BlockBeats 提醒,根据银保监会等五部门于 2018 年 8 月发布《关于防范以「虚拟货币」「区块链」名义进行非法集资的风险提示》的文件,请广大公众理性看待区块链,不要盲目相信天花乱坠的承诺,树立正确的货币观念和投资理念,切实提高风险意识;对发现的违法犯罪线索,可积极向有关部门举报反映。

Vitalik Buterin

个人专栏

阅读更多

金色财经

金色财经 子木

金色早8点

去中心化金融社区

虎嗅科技

区块律动BlockBeats

CertiK中文社区

深潮TechFlow

念青

Odaily星球日报

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

PEPE币公链一周TVL对比:Solana下降55.1% Fantom降幅最小

Solana上的TVL在过去一周下降55.1%,生态遭到严重打击。加密领域在过去几天遭到重创,虽然中心化交易所遭到信任危机,未来会引发更多的链上交易需求,但随着各种加密资产的下跌,短期内链上的TVL还是出现了不同程度的下降.

GateioSharkTeam:十大智能合约安全威胁之重放攻击

重放攻击是把原链网络上的交易拿到目标链网络上使用问:我们常提到的智能合约漏洞真的是实际中威胁最大、发生最频繁的安全漏洞吗?答:完全不是那样。例如“溢出”、“外部调用”等常提到的智能合约安全漏洞并不是最常发生,威胁最大的.

[0:15ms0-1:772ms