Dydx对话starkware:如何在以太坊第2层上构建衍生DEX?

时间:2021-11-18 15:46:23 编辑: 浏览:34180 当前位置: Home2 > 以太坊资讯 >

4月22日,dydx邀请starkware的ohad Barta和dydx的Brendan Chou参加AMA活动,主题为“在starkware上建立分散的可持续合同交换”。活动期间,ohad和Brendan分享了以下信息:

他们进入加密行业的背景和经验为什么dydx迁移到layer 2dydx选择starkware作为合作伙伴?为什么starkex的运行方式与不同的数据可用性模式相同?starknet与未来计划和愿景的细微差异?斯塔克密钥及其在第二层系统中的使用。Oracle Performance ZK第2层汇总和其他第2层技术spot和衍生产品之间关系的比较(例如,最优汇总/zksync)

衍生品

以下是经过编辑的采访记录:

大卫:谢谢你的参与。我是David gogel,dydx成长团队的成员。今天我很高兴邀请starkware的ohad和dydx的Brendan。我们将讨论社区的一些问题,以及由starkware支持的dydx starkex的交叉保证金永久合同的技术实施。Brendan,ohad,你能分享一下你的背景以及你是如何分别加入dydx和starkware的吗?

布伦丹:我的职业是软件工程师。我毕业于普林斯顿大学,为彭博社、谷歌和其他大型软件公司工作。在那里,我学到了一些工作技能,如何编程以及在大公司工作的方式。我也在寻找一些不同的东西。我在大学时是Antonio(dydx创始人)的室友。他大学一毕业就去了coinbase,所以我总是让他向我解释什么是比特币以及它是如何工作的,但我从来没有完全理解过。我在2017年的高峰期开始学习更多的东西。

我知道他正在创办自己的公司。每年,我们都会和以前的室友聚在一起庆祝新年。在这段时间里,我们进行了交谈。那是我决定加入的时候。当我在纽约时,我意识到如果我能迈出一步,从事这项疯狂的加密工作,肯定会对我有好处。这是我进入这个行业的经验。

大卫:ohad,你是怎么加入starkware的?

Ohad:从2011年起,我就认识了starkware的联合创始人之一Eli Ben Sasson。我为他写了PCP prover和verifier的第一个版本的一部分。它们是今天使用的斯塔克和斯纳克的旧版本。然后我花了六年时间在以色列情报部门获得编程经验。后来,我从Yuval ishai教授那里获得了密码学硕士学位。去年我们有一篇关于密码学的论文。在那之后,我联系了伊莱,问他有关星火的事。在看到认证体系在过去六年中变得如此主流之后,我决定加入Eli。

大卫:几周前,dydx公开发布了第二层的交叉保证金永久合同。Brendan,你能提供更多关于dydx为什么决定转移到第二层以及新的第二层产品相对于第一层产品的优势的背景信息吗?

布伦丹:有很多原因。最重要的部分是订单执行部分。以前,以太坊交易用于结算链中的每笔交易。这也带来了一些挑战。首先,它不是即时的,可以被抢劫。这给每个人都带来了一些不确定性。在您的交易通过之前,您必须等待区块被挖掘出来。

此外,我们自己的交易需要支付大量的汽油费。这是浪费我们的钱,对我们来说是不可持续的。我们必须让用户承担更高的费用或更高的最低交易额等。随着以太坊规模或用户数量的扩大,这不会让任何人受益。所以我认为这是我们的主要动机,订单执行部分。

我们在第1层中看到的另一个问题是在供应链上获取oracle价格的速度。当价格急剧变化,天然气成本上升时,甲骨文的价格会慢得多,这会给用户带来一些额外的风险。因此,我们必须通过提供更低的杠杆和更激进的清算系统来惩罚清算用户。同样,它耗油量大,速度慢,对整个系统的安全性贡献较小。所以我认为这是我们关注的主要因素。我们将迁移到第二层以获得更直接的确定性,这将带来更好的体验和更低的成本。

大卫:你为什么选择starkware作为合作伙伴来开发第二层系统?

布伦丹:我们想要的是快速发展。我们希望在未来几个月内发布该产品。因此,我们希望消除更多的风险,并与已经在主网络上做了一段时间的人合作。Starkex一直与deverifi合作,并取得了巨大成功。它在与我们交谈的人中赢得了良好的声誉。所以我认为这些是主要的影响因素。

大卫:噢,你能告诉我一些关于斯塔克斯的事吗?它是如何工作的?

Ohad(starkware):starkex是starkware为以太坊上的应用程序提供的容量扩展计划。它从sequencer(本例中为dydx)获取一个序列,在内部运行它们,并确保所有内容都已签出且有意义。然后,它将事务移动到Cairo程序。基本上,Cairo程序可以表示任何语句(它具有图灵完整性)。Cairo编译器编译Cairo程序,我们的prover将其转换为stark-proof。然后,我们将此链上的证据发送给验证者进行验证。如果验证者接受该证书,则该证书是合法的。因此,我们可以实现准确的实时结算。

大卫:你能描述一下starkex的不同型号及其优缺点吗?

Ohad(starkware):对于validium,我们不会通过status发布它们,因为成本非常高:即使它只花费实际事务的一小部分,它仍然是不可忽略的,并且随着更改的数量线性增加。相反,我们会说,“好吧,我们有一个值得信任的服务器委员会。”这是devorifi和immutable采取的方法,他们有几个受人尊敬的委员会成员。在这种方法中,作为签署的一个条件,委员会成员必须证明他们知道用户在操作员故障时可能使用的所有相关数据。在ZK汇总中,每次更新时,我们都会在链上发布一个新的余额。因此,用户对系统的信任度更高,但成本也更高。

David:Brendan,dydx的starkex实现是ZK汇总,而不是validium。你能描述一下为什么ZK rollup是dydx更好的模型的思考过程吗?

布伦丹:是的;事实上,我们对此没有任何特别强烈的想法。我认为ohad在这里很好地描述了权衡。它只是让每个人都能获得数据,但出版的代价是它需要更多的汽油。因此,我们决定暂时保留它,并对其进行总结,因为我们认为我们可以负担得起汽油。目前,我们尚未将天然气成本转嫁给用户。因此,在交易时没有汽油费。假设eth的价格继续上涨或网络利用率增加,我们可以删除将来将所有数据发布到链的部分,然后可能邀请一些额外的委员会成员验证数据存储在多个不同的位置,并且可以由多个不同的参与者使用,因此,用户不会丢失链上的实际当前余额。正如ohad所说,这很重要。如果他们需要基本证明自己的立场并退出系统。

但这只是前进的方向,因为如果成本太高,那么,正如我提到的,如果我们最终不得不将这些成本转移给用户、社区和其他用户,我们可以将更多的数据放到链条上,为每个人节省更多的汽油费。

大卫:随着向第二层的过渡,人们可以在块浏览器中看到更少的数据。Ohad,你能描述一下layer1上用户可用的数据吗?

Ohad(starkware):可以在第1层上查看的数据是所有用户的余额,包括合成资产和资本指数。这些信息可以知道我们在收到最后一批资金时实际拥有多少资金。交易本身不在链条上发布,这不仅是为了节约成本,也是为了维护交易隐私的策略。

David:作为一个用户,我怎么能相信保留在layer1之外的事务数据实际上是正确的?有什么机制来确保链下发生的所有事情的有效性?

Ohad(starkware):在讨论starkex之前,我说过所有这些都是基于开罗计划,这是一切的中心。因此,Cairo程序将获得事务的顺序。除了对新状态输出的承诺之外,它还添加了批处理期间更改的所有头寸余额。这个输出与证明相关联。如果您不能通过链上的数据向我显示事务,则证书将不被接受。

大卫:这个答案真的很有帮助!Ohad,你能提供starknet现状和愿景的最新信息吗?

Ohad(starkware):也许我会从starknet开始,因为到目前为止我们只在starkex上讨论过它。Starkex很酷。它现在确实对你有帮助,但从长远来看还不够。从长远来看,starkex不够好的原因是starkex需要运营商运营,从集中化、技术和监管的角度来看,这是不利的。Starknet意味着将所有Cairo程序和验证程序/验证器置于starkex的中心,而不是与只能建立完整侧链的测序器一起工作,在测序器中,侧链中的每个块都将通过与Cairo的比较进行验证,然后进行验证,就像我们今天证明的那样,甚至使用与今天相同的验证程序。

当然,这需要一些时间,所以我们会一步一步地做。因此,在五月底,我们将在starknet的ropsten上发布一个演示,允许编写定制合同。以AMM契约为例,它不允许layer1到layer2交互。

热点排行