YouTube2Text

Speed is Money: Pricing Innovation Under Latency Constraints | Ft. Tarun Chitra — Transcript

by Optimum · 8,041 words · 1,328 segments · language en · Watch on YouTube

Full transcript

  1. 0:03[music]
  2. 0:11>> Hello everyone um and welcome.
  3. 0:14In blockchain systems, millisecond is
  4. 0:17not just a millisecond in the truest
  5. 0:19sense of the word,
  6. 0:21it's the fact that speed is money.
  7. 0:24Validator or trading, few milliseconds
  8. 0:26can be the difference between capturing
  9. 0:28a reward or trade or missing it.
  10. 0:32We have recently, with my wonderful
  11. 0:34collaborators who are joining me today,
  12. 0:37uh published a paper which asks a simple
  13. 0:40but fundamental question
  14. 0:42which has massive implications. If you
  15. 0:44do faster data delivery, how does it
  16. 0:46create economic value? And also, how
  17. 0:49should that value be priced? So, that is
  18. 0:52the core idea behind the work we've done
  19. 0:54together and that we're discussing
  20. 0:56today. It's called pricing innovation
  21. 0:58under latency constraints, a mean field
  22. 1:01analysis of coded payload delivery. Can
  23. 1:04sound like a bit of a mouthful, uh but
  24. 1:06as we'll see, it's fun, intuitive, and
  25. 1:09actually very intriguing.
  26. 1:11The question's the following. If a
  27. 1:12coding scheme is improving the
  28. 1:14probability, i.e. the reliability, for
  29. 1:17useful data to arrive before a deadline,
  30. 1:20how much is that improvement worth? And
  31. 1:22this really matters because crypto
  32. 1:24already has a fin- financialized block
  33. 1:27space. It has already a financialized
  34. 1:30order flow.
  35. 1:31But what it's somewhat missing is a
  36. 1:33financialization of time, of latency, a
  37. 1:37latency marketplace. Specifically, who
  38. 1:39gets useful information before a
  39. 1:41deadline and how can people use it?
  40. 1:44That question matters. Blockchain
  41. 1:46systems are full of hard timing
  42. 1:49constraints which generally originate
  43. 1:52from the protocol themselves. So, let's
  44. 1:54look at Ethereum, for instance.
  45. 1:56Most people know Ethereum has a
  46. 1:5712-second slot. Validates need to
  47. 1:59receive, validate, attest in time.
  48. 2:03There's a large amount of work going on
  49. 2:06in this
  50. 2:08with EIP 4844.
  51. 2:10There's large data payloads which then
  52. 2:14are going to affect these delays because
  53. 2:16of congestion, other aspects. So, you
  54. 2:18know, it's a very rich type of
  55. 2:21considerations that people are looking
  56. 2:23at. And the way the data is delivered,
  57. 2:27it's not just basically, okay, and then
  58. 2:31you do the networking. There's not just
  59. 2:33a detail or just
  60. 2:36you know,
  61. 2:37appendage to what we do. It's actually
  62. 2:39core to the engineering design choice.
  63. 2:41So, that's what we're going to talk
  64. 2:42about today and I'm Mureal Matart
  65. 2:46and CEO co-founder of Optimism.
  66. 2:49And I'm joined today by my three
  67. 2:51collaborators as I mentioned before, uh
  68. 2:54three wonderful people who bring a
  69. 2:56different angle to this work which is
  70. 2:58part of why I'm so excited about this
  71. 3:00work about how rich
  72. 3:02and multifaceted it is. So, the work is
  73. 3:05timely as I mentioned because there's
  74. 3:07the convergence of Ethereum moving into
  75. 3:10more data around time-sensitive paths.
  76. 3:13The whole aspects around MEV markets
  77. 3:15which have already priced latency in an
  78. 3:18informal way.
  79. 3:20And then the more
  80. 3:22you know, maybe
  81. 3:24unexplored part which is the coded
  82. 3:26delivery part
  83. 3:28which of course is core to what we do at
  84. 3:30Optimism
  85. 3:31but also is often not explored in a way
  86. 3:35that's very accessible or very usable.
  87. 3:38So, first I'd like to introduce Tarun.
  88. 3:40Tarun Chitra is the founder and CEO of
  89. 3:43Gauntlet. Tarun maybe doesn't need any
  90. 3:45introduction but we'll introduce him
  91. 3:47anyway.
  92. 3:48And Tarun, you have spent years thinking
  93. 3:50about incentives, risks, market design,
  94. 3:52DeFi systems.
  95. 3:54uh Uh you know, your work has been
  96. 3:56highly influential and uh highly also
  97. 4:00pre- uh prescient. Uh how does this
  98. 4:02paper
  99. 4:04uh
  100. 4:05fit uh in that vision that you have uh
  101. 4:09of what's going on in crypto?
  102. 4:11>> Yeah, thanks a lot, Mireille, for the
  103. 4:13the kind words. Um I
  104. 4:16I think one kind of interesting thing
  105. 4:18about crypto markets versus traditional
  106. 4:21finance markets is
  107. 4:22you can often times use constraints
  108. 4:25enforced by cryptography or distributed
  109. 4:28systems in terms of
  110. 4:30um you know, relative ordering of
  111. 4:33transactions and sort of
  112. 4:36you know, understanding of different
  113. 4:37types of participants participants'
  114. 4:39incentives to really model how, you
  115. 4:43know, users will behave and also how you
  116. 4:46can constrain what types of things users
  117. 4:48can do.
  118. 4:49Um
  119. 4:50one place where that has not been true
  120. 4:52has generally been the
  121. 4:55uh the final latency races um that exist
  122. 4:58where, you know, the the time between
  123. 5:00when a user submits a transaction and a
  124. 5:03user's transaction is accept- accepted
  125. 5:05by, you know, a network set of
  126. 5:06validators.
  127. 5:07And that latency over time has like has
  128. 5:10evolved where, you know, in 20
  129. 5:13>> [clears throat]
  130. 5:13>> 2018,
  131. 5:14you know, in Ethereum, most of that
  132. 5:16latency was spent in how much you could
  133. 5:18spam the blockchain and send your same
  134. 5:21transaction repeatedly and how fast you
  135. 5:24got into a block was how much you could
  136. 5:25spam. Whereas today, you know, there's a
  137. 5:27very complicated set of
  138. 5:30actors who are, you know, relaying your
  139. 5:32transaction, bidding with your
  140. 5:34transaction to get it into a block. Um
  141. 5:37and one interesting thing is this
  142. 5:39evolution over the last five or six
  143. 5:41years in terms of how latency impacts
  144. 5:43transactions for end users
  145. 5:46um
  146. 5:47has changed a lot, but people have sort
  147. 5:49of only talked about it informally,
  148. 5:50right? There's there's been these huge
  149. 5:52market structure changes, but they've
  150. 5:54never been, you know, very clearly
  151. 5:56formalized.
  152. 5:58Um
  153. 5:59you know, a lot of those changes are
  154. 6:02faster relays. So, relays are sort of
  155. 6:04people conveying blocks or transactions
  156. 6:06to validators or or users who have sort
  157. 6:09of a privileged right to produce the
  158. 6:11next uh confirmed block.
  159. 6:14Co-location sort of being near these
  160. 6:16validators and being able to have lower
  161. 6:18latency. Obviously, we know that means
  162. 6:20lower latency, but what is the, you
  163. 6:22know, benefit from that?
  164. 6:25Um as well as sort of private order flow
  165. 6:26sort of arrangements between wallets and
  166. 6:28other types of strategic users um
  167. 6:31to to land transactions in.
  168. 6:33Um
  169. 6:35the hard part is formalizing the
  170. 6:36economic value of being faster or slower
  171. 6:39and and who captures it. Now, I want to
  172. 6:41make an analogy to the traditional
  173. 6:43markets where
  174. 6:45some of these types of changes have not
  175. 6:48worked out as well. You know, a common
  176. 6:51change you may have heard of um you
  177. 6:54know, around the time say the book Flash
  178. 6:56Boys uh Flash Boys came out in 2008,
  179. 7:002009 was that
  180. 7:03you know, hey, we should just add speed
  181. 7:04bumps at stock exchanges so that, you
  182. 7:07know, when I send a
  183. 7:09order, I have to wait x 100 milliseconds
  184. 7:13before my order goes through. There's no
  185. 7:15There's no sort of And the hope was
  186. 7:17that, hey, we would stop the latency
  187. 7:19races.
  188. 7:20Now, inevitably, someone would make a
  189. 7:23new exchange that didn't have that. And
  190. 7:25then, people who are arbitraging the
  191. 7:28exchange with the the latency delay and
  192. 7:30the arbit- the exchange with no latency
  193. 7:31delay were taking advantage of the users
  194. 7:34who are trading at the the place with
  195. 7:35the latency delay.
  196. 7:37And in the decentralized world, this is
  197. 7:39an even bigger
  198. 7:41you know, you have to assume that is
  199. 7:43going to happen always, right? If a
  200. 7:45certain exchange, certain decentralized
  201. 7:46exchange says, "Hey, we're going to slow
  202. 7:48down users or have some type of latency
  203. 7:50bump." Or an RPC says, "We're going to
  204. 7:52slow down users." Well,
  205. 7:55then there will be someone else who, cuz
  206. 7:57it's open source code, who copies it and
  207. 7:59removes the speed bump and it it gets
  208. 8:01launched. So, you have to think about
  209. 8:03sort of the economic consequences of
  210. 8:04these. And so,
  211. 8:06I think the interesting thing in crypto
  212. 8:08is you can use cryptography and
  213. 8:11technology to sort of enforce some of
  214. 8:13these constraints. And I think
  215. 8:15a lot of the way
  216. 8:17Muriel has been thinking about this
  217. 8:19in network coding ecosystem for years is
  218. 8:22actually a certain type of constraint
  219. 8:24that maybe you can you can kind of get
  220. 8:26the both best of both worlds in in the
  221. 8:28way traditional finance doesn't have.
  222. 8:30>> That that's great. Yeah, thank you so
  223. 8:32much for for that insight. And I think
  224. 8:34you it's it's a perfect segue into
  225. 8:36chatting with Moritz because one of the
  226. 8:38things you brought up is effectively
  227. 8:41the coding, you know, which is the
  228. 8:44algebraic manipulation of the data to
  229. 8:46make it more reliable, faster, more
  230. 8:48efficiently represented, um actually
  231. 8:51removes constraints.
  232. 8:53Um one of the difficulties, of course,
  233. 8:54is, you know, how do actually represent
  234. 8:57the removal of constraints because very
  235. 8:58often we think of coding as being, you
  236. 9:00know, um highly complex, uh often
  237. 9:03basically combinatorially scary. Um and
  238. 9:07that's one of the things that the paper
  239. 9:08really tried to address was to sort of
  240. 9:11step away from that complexity
  241. 9:14um with, you know, a fluid approximation
  242. 9:16that was uh that was meaningful. And uh
  243. 9:19with that, I I'd like to turn to Moritz
  244. 9:21and and hear, you know, your take uh on
  245. 9:24that aspect of the
  246. 9:26>> Yeah, um
  247. 9:27thanks. And no, that that's definitely
  248. 9:29very interesting part of the paper. So,
  249. 9:31usually when you think about how
  250. 9:33information flows in networks, you would
  251. 9:36have to think you would believe that it
  252. 9:38would be very complex to
  253. 9:40explicitly model like all of those
  254. 9:42different how those different kind of
  255. 9:45schemes translate into into latency.
  256. 9:48We took like a very very simple
  257. 9:50approach. I would believe that is kind
  258. 9:52of irrespective that of the specific
  259. 9:56topology and everything underneath it.
  260. 9:58And we just
  261. 10:00basically from perspective of a single
  262. 10:02node looking at the information that
  263. 10:05this node receives, how is the decoding
  264. 10:08time
  265. 10:10sort of modeled and and distributed. And
  266. 10:14I think the the interesting step now
  267. 10:15from everything that Tarun also said is
  268. 10:17kind of what is the link to the kind of
  269. 10:21intuition that we have for and how
  270. 10:23latency translates into economic
  271. 10:25utility. And finally into like what what
  272. 10:29are these participants able to price? I
  273. 10:30think that's sort of the span of this
  274. 10:32paper.
  275. 10:33Um and we
  276. 10:35are going to dive into it today.
  277. 10:38>> Yeah, no, that's great. And actually
  278. 10:39this brings me to Sreeram. So Sreeram,
  279. 10:42you know, you you you like the elegant
  280. 10:44math as much as the next researcher.
  281. 10:47Uh but you are at your core
  282. 10:49a product person. And so how do you see
  283. 10:53this not just as a wow, this is super
  284. 10:56elegant, but this is something people
  285. 10:57want to buy?
  286. 10:59>> Yes, I mean I think that's a fair
  287. 11:01question. Um you know,
  288. 11:03people will not buy a coding scheme.
  289. 11:07What they want is, you know, higher
  290. 11:08probability of reaching better outcomes.
  291. 11:11So the question becomes, you know, how
  292. 11:13as a validator am I going to get this
  293. 11:15reward for my attestation? As a
  294. 11:17searcher, how to get my bundle included
  295. 11:20in the next block? Um so it's shifting
  296. 11:24the conversation from, you know,
  297. 11:26blockchain as distributed networks where
  298. 11:29latency throughputs are performance
  299. 11:31metrics to track to something that is
  300. 11:34actually shaping the economic uh
  301. 11:36incentives and the behavior of those
  302. 11:38actors. And I think this is quite
  303. 11:40fascinating.
  304. 11:42Uh The other thing is that um Ethereum
  305. 11:44does not reward averages. It's a very
  306. 11:47like there are many binary outcomes.
  307. 11:49Like you're either on time or you're
  308. 11:50not. You either get your reward or not.
  309. 11:53You get included in that slot or not.
  310. 11:55And so um
  311. 11:57you're not slightly worse off if you're
  312. 11:59late. You might be getting nothing. And
  313. 12:01so it's actually interesting that uh
  314. 12:04latency is something so core to
  315. 12:06everything that we're doing in
  316. 12:07blockchain, but is sort of like an
  317. 12:10informal force uh that people are are
  318. 12:13are discussing. What I like about uh
  319. 12:16this effort that uh we did here in this
  320. 12:18paper is trying to link this important
  321. 12:21uh aspect, which is latency, to the
  322. 12:24actual value and outcomes for the actors
  323. 12:26that are part of this blockchain system.
  324. 12:29>> That that's a great framing. Thank you.
  325. 12:31Thank you so much, Sajida. And and I
  326. 12:33think uh you know, uh going back to uh
  327. 12:36what we said about Ethereum before, uh
  328. 12:39that cliff type of uh
  329. 12:41behavior is very clear there. You have
  330. 12:4312-second slots. Uh in each slot,
  331. 12:46validators need to observe the block,
  332. 12:47validate and broadcast your attestation.
  333. 12:50You know, it all has to get done.
  334. 12:52Uh and you don't get any prize for
  335. 12:55almost getting it done on time, you
  336. 12:56know? It's just you you get nothing. On
  337. 12:58the other hand, you don't want to get it
  338. 13:00all done ahead of time because then you
  339. 13:02might be missing a lot of opportunities.
  340. 13:04Um you know, basically this is also what
  341. 13:06we see in MEV markets. Searchers are
  342. 13:08looking for opportunities. Uh and they
  343. 13:10need to uh do that before the builder
  344. 13:12finalizes the block. So everybody's
  345. 13:14rushing around within this block with
  346. 13:16this deadline. Um and so this cliff
  347. 13:20structure, which in a way is different,
  348. 13:22I want to hark back to what Tarun said
  349. 13:24before
  350. 13:25about the some of the differences the
  351. 13:27classical markets, uh this cliff
  352. 13:30structure, what would you see it's so
  353. 13:32important uh in
  354. 13:35uh in the crypto market, Tarun?
  355. 13:37>> Yeah, I think, you know, historically,
  356. 13:40uh
  357. 13:41you know, it changes sort of the notion
  358. 13:43of of value very much like,
  359. 13:45you know, a plane ticket is valueless as
  360. 13:47soon as the plane leaves the gate. Um
  361. 13:50yet, right before it takes off, there
  362. 13:52can be a huge amount of value, right?
  363. 13:54So, this this gap where something
  364. 13:56suddenly goes to zero is is is quite a
  365. 13:58big difference in a lot of markets.
  366. 14:01Um
  367. 14:02in such a market, obviously,
  368. 14:03you have some incremental value with
  369. 14:06incremental speed, but the problem often
  370. 14:09times is that, you know, time is sort of
  371. 14:11a a continuous variable, so you can bid
  372. 14:14at any time effectively. Um yet, you
  373. 14:18have this sort of discrete
  374. 14:19uh kind of constraint of like, you need
  375. 14:22to make your transaction in before this
  376. 14:25kind of interval, which itself could be
  377. 14:26slightly random.
  378. 14:28So, this sort of means your value has
  379. 14:31this kind of discontinuity where it
  380. 14:33where it jumps to zero in the sort of a
  381. 14:34step function. Um
  382. 14:37now,
  383. 14:38one important thing to note in these
  384. 14:41types of markets is,
  385. 14:43you know,
  386. 14:44the there's sort of a question of
  387. 14:47the average latency you have. So, you
  388. 14:49know, maybe an average user who's using
  389. 14:52a MetaMask wallet might care about the
  390. 14:54average time their transaction takes.
  391. 14:56They're not necessarily trying to win
  392. 14:58every block. They're not necessarily
  393. 14:59trading every block. On the other hand,
  394. 15:02professional traders
  395. 15:04don't care about the average. They
  396. 15:05actually care about getting their trade
  397. 15:07in exactly at the time when the
  398. 15:10validators are running the slowest
  399. 15:12because there's huge demand, right?
  400. 15:13That's probably the time that the assets
  401. 15:16are going up or down the most.
  402. 15:18Uh and so, really understanding the
  403. 15:20tails of these distributions and the
  404. 15:21probability of getting in conditional on
  405. 15:24there being a lot of traffic is actually
  406. 15:26quite important.
  407. 15:28Um
  408. 15:28>> No, that's and that's that's exactly
  409. 15:31also why the coding scheme matters,
  410. 15:32right? Because
  411. 15:34uh it's it's really affecting not just
  412. 15:37the average
  413. 15:38uh but that variability as you were
  414. 15:40saying, right? It's you know, the the
  415. 15:42the tail really really matters. Um and
  416. 15:46you know, we we think a little bit about
  417. 15:48um
  418. 15:49what things are happening again just to
  419. 15:52to ground it in an example, what's
  420. 15:53happening in Ethereum. Uh blob carrying
  421. 15:56transactions, you know, the those blobs
  422. 15:58are large data payloads. Um and you
  423. 16:01know, that's moving more data into the
  424. 16:03consensus critical path. It's actually
  425. 16:05changing basically where congestion
  426. 16:07happening and changing what the effect
  427. 16:10of coding is to relieve that congestion.
  428. 16:13Um if you think of actually coding being
  429. 16:16used directly, you see this in pure DAS
  430. 16:18or in EIP-7594,
  431. 16:20which is going further, their validators
  432. 16:22are relying increasingly
  433. 16:25on just receiving enough sample of coded
  434. 16:26data in time uh to make the right
  435. 16:29decisions. So, you know, to a large
  436. 16:32extent the delivery has been getting
  437. 16:34more and more attention. It's not just
  438. 16:37oh, now send the data. It's like, well,
  439. 16:39how you're representing the data? How
  440. 16:40are you aggregating the data? How are
  441. 16:42you actually ensuring that the data gets
  442. 16:45there? Um and so, again, the data
  443. 16:48becomes
  444. 16:49data that has a really hard sell-by date
  445. 16:54um and an economically relevant cutoff.
  446. 16:57Uh maybe Sajida, do do you want to jump
  447. 16:59in again on this aspect?
  448. 17:01>> Uh yes, actually on the two points that
  449. 17:03you mentioned, uh some interesting
  450. 17:05facts. So, uh the blob market has been
  451. 17:09um actually slow to take off and
  452. 17:11surprisingly it is not uh
  453. 17:14a demand
  454. 17:15uh issue.
  455. 17:16Uh it is because
  456. 17:18rational actors,
  457. 17:20you know, builders that have to compete
  458. 17:22in those,
  459. 17:24you know, races,
  460. 17:25have found that it was less economically
  461. 17:28valuable to include those because, you
  462. 17:30know, obviously you increase the
  463. 17:31payload, it means you have more data to
  464. 17:33transmit, you get slower, also increase
  465. 17:35the simulation time. So, at some point
  466. 17:37you have to decide, is it worth it to
  467. 17:38include even if it means more reward or
  468. 17:40to just disregard them
  469. 17:43for the moment and try to build a block
  470. 17:45with other transactions that are a bit
  471. 17:46lighter and and easier to
  472. 17:48to manage. And so,
  473. 17:51this is an interesting
  474. 17:53example of how
  475. 17:55this latency that we're mentioning
  476. 17:57is impacting a market where actually
  477. 18:00people are looking to adopt blobs and
  478. 18:03some people are producing blobs, but
  479. 18:05they're just not getting included. And
  480. 18:06so, this is a reality in Ethereum right
  481. 18:08now.
  482. 18:09I pure dust is also a good one.
  483. 18:11Actually, the the core devs are looking
  484. 18:14at removing
  485. 18:15some of this data propagation from the
  486. 18:17consensus critical path because of, you
  487. 18:19know, this issue that we're mentioning.
  488. 18:21So, Ethereum roadmap upgrades after
  489. 18:23upgrades is getting into like
  490. 18:26there's more pressure coming on the
  491. 18:28propagation layer and it needs to be
  492. 18:30addressed and it needs to be addressed
  493. 18:32quickly.
  494. 18:34>> Absolutely. And and I think, you know,
  495. 18:36one of the ways we've seen that
  496. 18:39addressed, I want to hearken back to
  497. 18:41something Tarun pointed out, which is
  498. 18:43colocation. You know, to a large extent,
  499. 18:45colocation seems to
  500. 18:47go against the whole point of
  501. 18:49decentralization. I mean, if we all
  502. 18:51colocate inside a room, are we really
  503. 18:54decentralized or is it just, you know,
  504. 18:56one set of people inside a room.
  505. 18:59I'd like to hear your take on this,
  506. 19:00Tarun.
  507. 19:02>> Yeah, so I think certainly the there's a
  508. 19:04lot of centralization pressure from from
  509. 19:07colocation. This also happened in the
  510. 19:10traditional markets. I think actually
  511. 19:13around the time people were trying to do
  512. 19:15the
  513. 19:16the these speed bumps I was talking
  514. 19:17about earlier, that was around the same
  515. 19:20time people started co-locating and
  516. 19:21then, you know, all the exchanges, you
  517. 19:24know, there are exchanges across the US
  518. 19:25prior to 2006 in in every city and then
  519. 19:28they all co-located to
  520. 19:30two data centers in
  521. 19:32New Jersey and outside of Chicago by
  522. 19:352010. Um and part of it just became this
  523. 19:38pure latency race meant that you weren't
  524. 19:40competitive unless you were, you know,
  525. 19:43physically in the same place, which
  526. 19:44naturally is a centralization vector,
  527. 19:46right? There's only two data centers
  528. 19:47where where everyone's trading.
  529. 19:50Um
  530. 19:51in in the decentralized system, it
  531. 19:52becomes even harder because in a lot of
  532. 19:54ways
  533. 19:55you can't precisely measure everyone's
  534. 19:58latency at every point in time because
  535. 20:00you don't know all the participants in
  536. 20:02the system. It's a permissionless
  537. 20:03system, people will come and leave. Um
  538. 20:05you you might not be able to have a
  539. 20:07perfect map with very low um
  540. 20:10you know, low error in understanding
  541. 20:12this.
  542. 20:13Um for MEV, this is very obvious, right?
  543. 20:16Like everything there is really about
  544. 20:18being the first one to get a transaction
  545. 20:20in to extract the highest value.
  546. 20:23For validators, it's
  547. 20:24it's more subtle, but certainly very
  548. 20:26real.
  549. 20:27Um you know, as a validator, you you
  550. 20:29know, you have you're you're offering a
  551. 20:31service to your users, you have a bunch
  552. 20:32of SLAs, you want to be able to offer
  553. 20:34them low latency, you want to make sure
  554. 20:36you don't drop their transactions, you
  555. 20:38want to make sure they can get the best
  556. 20:39price thing.
  557. 20:40Um without being able to
  558. 20:43exactly quantify that for your users,
  559. 20:46uh
  560. 20:47your users have to hope that you do that
  561. 20:49and in order and and effectively pay you
  562. 20:51because they think that you'll be able
  563. 20:53to do that. So,
  564. 20:54the latency problem is not just a pure
  565. 20:57performance problem, it's it's also
  566. 20:58about market structure um and and sort
  567. 21:02of in some ways fairness for users.
  568. 21:05>> Yeah, and to add on that,
  569. 21:07it's interesting because we
  570. 21:09we've seen studies and and data around
  571. 21:12the fact that validators,
  572. 21:14you know, related markets and other
  573. 21:16actors of the PBS chain are
  574. 21:18concentrating around the
  575. 21:20Atlantic corridor. And this is not a
  576. 21:22coincidence as we just mentioned, it's a
  577. 21:24rational response, let's say. And so
  578. 21:28this this pressure that we were
  579. 21:30mentioning already has this geographic
  580. 21:33expression. And so
  581. 21:35there was some research done recently
  582. 21:37that was calculating a liveness
  583. 21:39coefficient showing that in the current
  584. 21:41state of things one region
  585. 21:44out what region outage, let's say, of
  586. 21:47the Ethereum network would cause the
  587. 21:49chain to halt. So,
  588. 21:52this is a critical problem right now.
  589. 21:55We're mentioning specific actors of the
  590. 21:57PBS supply chain, but at the scale of
  591. 21:59the protocol, the network, and the
  592. 22:01mission, it is also
  593. 22:03I would say an existential risk.
  594. 22:05>> Absolutely. Yeah, and and and again,
  595. 22:08this is where the aspects around coding,
  596. 22:11which we'll get into now a little bit
  597. 22:12more, really come in. It's around, you
  598. 22:15know, coding mechanisms have been to a
  599. 22:17large extent
  600. 22:18created exactly for the purpose of
  601. 22:21reliability and
  602. 22:24robustness
  603. 22:25under the face of failure. So, let me
  604. 22:29maybe redirect a little bit again to to
  605. 22:31the core of the paper.
  606. 22:33And one of the things that that we do
  607. 22:35here is we provide
  608. 22:38a taxonomy which I'm hoping is going to
  609. 22:40be a taxonomy that's
  610. 22:42useful not just for this paper, but in
  611. 22:44general in terms of thinking
  612. 22:46about the problem and really sort of
  613. 22:48putting a framework that's more general.
  614. 22:50And we we look at four ways, right, of
  615. 22:52delivering a payload.
  616. 22:54One is, let's say, just unchartered
  617. 22:56delivery. Basically, the payload is the
  618. 22:58message. And it's it's if you will the
  619. 23:01simplest
  620. 23:03but the problem is that it has a bad
  621. 23:05tail going back.
  622. 23:07To what Tarun mentioned about the tail,
  623. 23:10you know, sometimes because you know,
  624. 23:12you don't have a very fluid way of
  625. 23:14distributing the message, the tail can
  626. 23:16be bad.
  627. 23:18So what people have looked at of course
  628. 23:19is sharding so chopping up the message
  629. 23:23and now you get something that's more
  630. 23:25fluid
  631. 23:27but you get a problem that your
  632. 23:28completion time is governed by the
  633. 23:30slowest piece by the last piece to come
  634. 23:32in the last piece of the puzzle.
  635. 23:34And so people have looked in order to
  636. 23:38remedy this to fixed rate erasure
  637. 23:41coding. So probably the more well known
  638. 23:43one is Reed-Solomon. We mentioned in
  639. 23:46passing pure DAS.
  640. 23:48It uses Reed-Solomon as most DAS
  641. 23:52systems out there do now.
  642. 23:55And the idea is you encode a bunch of
  643. 23:58shards say K
  644. 24:00source pieces into N pieces so K and N
  645. 24:03is the sort of the customary notation
  646. 24:06for this.
  647. 24:07And then as long as I get any K out of N
  648. 24:10I'm okay. I can I can reconstruct the
  649. 24:13the data.
  650. 24:14You can also have more sophisticated
  651. 24:16approaches which are called rateless
  652. 24:18coding where you still have a fixed K
  653. 24:21but the N can be variable. So the N
  654. 24:23might be very close to K when the
  655. 24:26network is let's say in a very benign
  656. 24:28condition.
  657. 24:30It might have to be much larger than K
  658. 24:32when the network is more challenged.
  659. 24:34And in specifically what we look at here
  660. 24:37is a randomly network coding RLNC which
  661. 24:40was developed
  662. 24:41right here
  663. 24:43in in this in in this lab
  664. 24:46at MIT.
  665. 24:48But basically while you could also use
  666. 24:51RLNC
  667. 24:52as a fixed rate erasure coding such as
  668. 24:54Reed-Solomon, it has a lot more
  669. 24:56flexibility. Um and um you know, I I
  670. 25:00just mentioned RLC, but I I'd love to
  671. 25:02hear somebody explain RLC and I'm
  672. 25:04worried so I'm going to put it on you.
  673. 25:06>> Sure. Okay.
  674. 25:07Yeah, I mean, I guess the simplest way
  675. 25:09to explain RLC would be that instead of,
  676. 25:13like you said before, I'm going to
  677. 25:14collect specific pieces
  678. 25:16um might they either be fixed rate coded
  679. 25:19or um also uncoded of my original data,
  680. 25:22I'm going to collect equations and the
  681. 25:25kind of coefficients to these equations
  682. 25:27and this is kind of the one of the very
  683. 25:30very interesting fact with RLC. They can
  684. 25:32be chosen kind of randomly
  685. 25:35um without coordination between actors
  686. 25:36or anything.
  687. 25:38And with high probability, with very
  688. 25:40high probability,
  689. 25:42I can just collect K equations, like
  690. 25:45only as much as I need, and all of them
  691. 25:47will be um
  692. 25:48informative for me.
  693. 25:50Now,
  694. 25:51um
  695. 25:53this kind of um changes the completion
  696. 25:56time distribution from, okay, now
  697. 25:59if I don't code at all, I'm going to be
  698. 26:02um dependent on the slowest shard to
  699. 26:05um
  700. 26:06now I only need any K shards sort of
  701. 26:08that uh that I receive. Um so, this kind
  702. 26:12of shows the effect of um how RLC can
  703. 26:15protect against um erasures or in this
  704. 26:18case actually excessive delays if we as
  705. 26:20we've modeled them.
  706. 26:23>> No, that that's uh that's the key point
  707. 26:25um and that also goes now into the
  708. 26:29aspect which again, going back to
  709. 26:32Tarun's uh mention of, you know, the
  710. 26:34tailing, the tail of those distribution
  711. 26:36and the reliability.
  712. 26:39At high service levels, especially
  713. 26:41around the 95th percentile, RLC can
  714. 26:44reach the deadline reliability target
  715. 26:46much much faster. And this also obviates
  716. 26:48some of the issues that Sajitha
  717. 26:50mentioned around people being worried
  718. 26:53about blobs, not because there is a
  719. 26:55demand, but just because, you know, the
  720. 26:58blobs are scary. Uh they they they big,
  721. 27:00they're unwieldy, and you know, what
  722. 27:02what's going to happen there? So, you
  723. 27:03know, kind of uh be be be aware of the
  724. 27:05blob. Um and uh
  725. 27:08that service level reliability
  726. 27:13um I I'd like to hear Sajida, your
  727. 27:16product takeaway on that reliability.
  728. 27:19>> Yes. Yes. I I think this is where it
  729. 27:21gets interesting because the the first
  730. 27:24layer of understanding is more speed is
  731. 27:27better. But once we understand that um
  732. 27:31the Ethereum supply chain is basically
  733. 27:34filled with those invisible deadlines,
  734. 27:36then we can see that looking at average
  735. 27:38speed metrics would hide the risk. The
  736. 27:42risk is, you know, not that your data is
  737. 27:45arriving early or late. It's that you
  738. 27:47can never predict it. And so, because of
  739. 27:49that, you have to hedge, uh and you have
  740. 27:51to Basically, you're not able to
  741. 27:53optimize for the best outcome just
  742. 27:55because you're worried about missing
  743. 27:57that deadline.
  744. 27:59Um so,
  745. 28:00within a deadline-sensitive system, what
  746. 28:02we're looking at is actually variance.
  747. 28:05One thing that uh Erlang C, once we
  748. 28:07implemented it and tested it uh with our
  749. 28:10our partners at Optimum, what we saw is
  750. 28:13that not only do we get a speedup, but
  751. 28:15we also get uh seven times less
  752. 28:17variance. And that is where it starts
  753. 28:20becoming practical because once we
  754. 28:22reduce the variance once we increase the
  755. 28:25the stability, then um
  756. 28:27uh there is no rational reason to hedge
  757. 28:31as much as current actors do. And that
  758. 28:34can open up to new interesting
  759. 28:36economics.
  760. 28:39>> I'd love to hear Tarun's view on the
  761. 28:41economics. I know this is something
  762. 28:42you've thought about very very uh
  763. 28:45deeply.
  764. 28:46>> Yeah, so I think an interesting aspect
  765. 28:48of of colocation of like why people
  766. 28:51colocate, why do people want to be very
  767. 28:53close is, you know, the closer you are,
  768. 28:55the less uncertainty you have. Like the
  769. 28:57less variance on your average
  770. 28:59transaction, you know, kind of akin to
  771. 29:01what Sudeep just just mentioned. But
  772. 29:04also the worst
  773. 29:06catastrophic or tail events, right? Like
  774. 29:08if if I if I am in the same data center,
  775. 29:11the likelihood it will ever take me tens
  776. 29:14of seconds for a packet to be to to
  777. 29:17reach the destination are very low.
  778. 29:19>> [snorts]
  779. 29:19>> Um and and and so that's sort of this
  780. 29:21tail event. Now, um
  781. 29:24you get a very different market
  782. 29:25structure though when all market
  783. 29:27participants participants are forced
  784. 29:29into the same that same environment, and
  785. 29:31then all of a sudden there's not so much
  786. 29:33of economic rationality when bidding.
  787. 29:36People are not bidding with what they
  788. 29:37think the thing is worth. They're
  789. 29:39bidding with what they think everyone
  790. 29:41else's latency advantage or
  791. 29:42disadvantages.
  792. 29:44And so then you go from being
  793. 29:45economically rational to sort of like
  794. 29:48latency guessing. You're you're sort of
  795. 29:49trying to guess what everyone else is is
  796. 29:51bidding. And so then you start losing
  797. 29:54economic efficiency, right? People
  798. 29:55aren't bidding with what they think the
  799. 29:56true value of the item they're bidding
  800. 29:59on is, they're bidding on what they
  801. 30:00think everyone else's bet on
  802. 30:03arriving in time is. And in these
  803. 30:05repeated games like a blockchain where
  804. 30:08there's, you know, it's almost like a
  805. 30:09repeated auction that's happening
  806. 30:11regularly.
  807. 30:13Um these types of uh effects kind of
  808. 30:16start to ossify and and calcify over
  809. 30:19time where people start becoming more
  810. 30:21used to pricing things not from what
  811. 30:23they believe the value is, but from what
  812. 30:25they believe everyone else's advantage
  813. 30:27or disadvantage at arriving is.
  814. 30:30And so if you
  815. 30:32look at this paper, what it tries to say
  816. 30:34is
  817. 30:35maybe if you have the kind of guarantees
  818. 30:38you get from RLNC,
  819. 30:41and then you also know something about
  820. 30:44the delivery time distribution. That's
  821. 30:46sort of the mean field part of the
  822. 30:48title.
  823. 30:49Um you should sort of
  824. 30:51be able to say how much do people really
  825. 30:53want to pay to get their item in. How
  826. 30:55much do they really value the item
  827. 30:57versus how much are they valuing their
  828. 30:59bet on whether they arrive at a certain
  829. 31:02time.
  830. 31:03And I would say that a lot of classical
  831. 31:05economic theory on auctions sort of
  832. 31:08assumes that users are bidding some
  833. 31:10notion of their true value or that it's
  834. 31:13rational for them to bid their true
  835. 31:14value. And I think a nice aspect of this
  836. 31:17is
  837. 31:18RLNC kind of makes people bid in a way
  838. 31:21that
  839. 31:22people are used to thinking about,
  840. 31:24right? It it it sort of it it it it
  841. 31:26turns it away from a game of guessing
  842. 31:28what everyone else is doing and bidding
  843. 31:31on solely on what you think the true
  844. 31:33value is. And I think
  845. 31:34that's sort of, you know, a meaningful
  846. 31:36step towards making latency markets
  847. 31:38have a value that's dependent on true a
  848. 31:41true economic transaction versus sort of
  849. 31:44a
  850. 31:44pure speculation on other people's
  851. 31:47advantages.
  852. 31:48>> That that's that's such a Thank you
  853. 31:50that, you know, that I think that's such
  854. 31:52a core point, you know, because
  855. 31:54there's this, you know, probably you
  856. 31:56know, price times arrival rate
  857. 31:59uh just has to be less than the expected
  858. 32:02utility of this delay, right? I mean
  859. 32:05that that's basically how we're how
  860. 32:06we're putting it. So, as you said, in a
  861. 32:08way it's very very classical, right? Um
  862. 32:12um and yet, you know, this expected
  863. 32:14delay is itself not very classical. So,
  864. 32:18um so yes, it's a it's an un-
  865. 32:20unclassical way of looking at delay, but
  866. 32:23a very classical way of pricing it. And
  867. 32:25you know, that that that connection is
  868. 32:26is one of the very important interesting
  869. 32:28parts here.
  870. 32:30Um
  871. 32:31I I'd love to hear a little bit about
  872. 32:36how to use this also about any
  873. 32:41architecture
  874. 32:43which is not just
  875. 32:47only forward-thinking. So, looking at
  876. 32:49the what-if scenarios, you know, we just
  877. 32:51to just to repeat, you know,
  878. 32:53no sharding, sharding
  879. 32:56but no coding, sharding with
  880. 32:59uh a fixed-rate code or, you know,
  881. 33:02sharding with a rateless code. I mean,
  882. 33:04those are all forward-looking, but
  883. 33:06effectively we often are stuck
  884. 33:10uh with whatever
  885. 33:12you know, the the legacy system is. Um
  886. 33:15and I wanted to turn our
  887. 33:17attention to the second part of the
  888. 33:19paper, those turbo. So, you know, the
  889. 33:21the inspiration, of course, is just, you
  890. 33:22know, if you're calling a in a turbo
  891. 33:24engine, you're you're taking stuff which
  892. 33:26is already being processed in the engine
  893. 33:29and you pull it back in, you know, to to
  894. 33:31make the engine go faster
  895. 33:33uh and be more efficient uh more more
  896. 33:35powerful and also efficient. So, you
  897. 33:38know, in the turbo side, we're sort of
  898. 33:41mixing
  899. 33:43the RLNC approach, which is effectively
  900. 33:47extremely
  901. 33:48um
  902. 33:49agnostic to, you know, whether there's
  903. 33:52coding or not
  904. 33:53uh and our RLNC. And I and I wanted to
  905. 33:55turn our attention to to that part
  906. 33:59um
  907. 33:59maybe, you know, this this aspect around
  908. 34:03uh around turbo and around having a fast
  909. 34:06lane that's being added to the base
  910. 34:08lane.
  911. 34:09Uh and maybe Sagita, if if I could ask
  912. 34:11you to to give your take on that.
  913. 34:15>> Yes, I I think my my take here from a
  914. 34:17product perspective is just that it
  915. 34:19makes the path to adoption much easier.
  916. 34:23Cuz basically what you're saying is that
  917. 34:25you still keep that base lane that
  918. 34:27people are using that the whole network
  919. 34:28is currently um
  920. 34:31depending on and you add another lane
  921. 34:34that is faster, more reliable, and this
  922. 34:36can be an additive improvement. And so
  923. 34:39basically it makes the the story much
  924. 34:41more tractable
  925. 34:42from a migration perspective, from a
  926. 34:44user perspective. So this is one of the
  927. 34:46key value that I see in this turbo
  928. 34:48approach and the fact that we can do it
  929. 34:50with RLC is pretty neat.
  930. 34:54>> Uh, maybe Moritz, would you care to
  931. 34:56share how you see the mathematical
  932. 34:58intuition
  933. 34:59behind combining the lanes?
  934. 35:02>> Yeah, I mean I guess this is like one of
  935. 35:03the also kind of really magical
  936. 35:06properties of RLC that
  937. 35:09and RLC is kind of the most general code
  938. 35:11in a sense, right? We just talked about
  939. 35:12random combination sort of like any
  940. 35:14linear combination of the original
  941. 35:18shards is a valid packet which can be
  942. 35:21interpreted by RLC.
  943. 35:23And this is where this this is why RLC
  944. 35:27is actually the only code which could
  945. 35:29implement such a fast lane because
  946. 35:31basically there are two scenarios,
  947. 35:32right? One, we're talking about an
  948. 35:34un-sharded base lane payload in which
  949. 35:36case you would just have
  950. 35:38either the base lane would arrive first
  951. 35:40or the fast lane.
  952. 35:41But if you're talking about sharded base
  953. 35:43lanes,
  954. 35:44then
  955. 35:46um, RLC is the only code that can sort
  956. 35:48of take any kind of sharding sharded
  957. 35:51kind of payloads underneath
  958. 35:53and and add on top of that to to make
  959. 35:56sort of an additive um, always positive
  960. 35:59contribution to the decoding
  961. 36:01time.
  962. 36:02Now, in terms of how this translate into
  963. 36:05the translates into the pricing, now the
  964. 36:08fast lane would then have to be priced
  965. 36:10in a sense that only the incremental
  966. 36:12additional value caused by by the fast
  967. 36:15lane should be considered as um,
  968. 36:19yeah, affecting the the upper bound for
  969. 36:21for pricing. So yes.
  970. 36:24>> Yeah, yeah, and and and so really what
  971. 36:27you're talking about is more this uplift
  972. 36:30um rather than, you know, a separate
  973. 36:34pricing. And, you know, again, I'm
  974. 36:37I know I keep turning to you for these
  975. 36:39pricing questions, Tarun, but you cover
  976. 36:41them so well. I'm going to keep doing
  977. 36:42it.
  978. 36:43Uh how do you see that uplift aspect?
  979. 36:47>> Yeah, I I think one really important
  980. 36:50piece where economists sort of
  981. 36:53has historically
  982. 36:55for better or worse, I'd argue, failed
  983. 36:57at explaining real-life auctions versus
  984. 37:00theoretical auctions, you know, like
  985. 37:01there's auction theory where people, you
  986. 37:03know, you idealize how a set of people
  987. 37:05who are trying to bid over a scarce
  988. 37:06resource
  989. 37:07bid and, you know, what their incentives
  990. 37:09are.
  991. 37:10But one aspect that in practice has on
  992. 37:13the internet in particular has always
  993. 37:15kind of eluded classical auction theory
  994. 37:18is the fact that spamming is a good
  995. 37:19strategy. So, I spam, I send a lot of
  996. 37:22extra transactions, and by spamming a
  997. 37:25lot, I can crowd out other people who
  998. 37:27might bid higher than me or delay them,
  999. 37:30increase their latency, or or or put
  1000. 37:32them into the tail of the distribution,
  1001. 37:34and then I can win for a lower price.
  1002. 37:36And that's sort of what I mean by I'm
  1003. 37:37not necessarily bidding my economic
  1004. 37:39value. I might actually be just trying
  1005. 37:41to crowd out competitors. Now, the nice
  1006. 37:44thing about thinking about the uplift is
  1007. 37:46that in the base versus the premium
  1008. 37:48lane,
  1009. 37:49someone can spam, but it's only going to
  1010. 37:52be economically rational for them to
  1011. 37:54spam in the base lane versus the premium
  1012. 37:56lane because they will they will
  1013. 37:57actually incur such a high cost
  1014. 38:00differential relative to someone with
  1015. 38:01the real economic value of getting into
  1016. 38:03the premium lane that it just won't be
  1017. 38:06worth it. The cost of spamming is
  1018. 38:08effectively uh not worth it. Now, this
  1019. 38:10is an oversimplification, but this is
  1020. 38:12sort of kind of the type of thing that
  1021. 38:15is enabled by being able to have sort of
  1022. 38:17mathematically guaranteed separation
  1023. 38:19between these and sort of a way of
  1024. 38:21thinking about the payments between
  1025. 38:23these differently. And I think
  1026. 38:25um you know
  1027. 38:26fundamentally, whether the base
  1028. 38:29way of sending transactions is good or
  1029. 38:31bad, you know, there's someone spamming
  1030. 38:32or someone kind of doing some other
  1031. 38:34actions,
  1032. 38:35the idea that this fast lane is gives
  1033. 38:38you some guarantees, lets you
  1034. 38:40you know, even at times when there's
  1035. 38:42sort of poor performance,
  1036. 38:44really be able to understand that you're
  1037. 38:46going to get the economic value you
  1038. 38:48expect.
  1039. 38:49>> Yeah, and and actually I think what what
  1040. 38:52you mentioned goes way beyond uh
  1041. 38:54specific Ethereum, right?
  1042. 38:56Uh and actually thought for anybody to
  1043. 38:59may maybe get your takes um
  1044. 39:01again [clears throat] Tarun, but anybody
  1045. 39:03please jump in in terms of, you know,
  1046. 39:06how this goes beyond Ethereum.
  1047. 39:08>> Yeah, I'll just say that uh
  1048. 39:11the nice thing about having a model is
  1049. 39:13that once you apply it to a different
  1050. 39:16environments, um granted you know the
  1051. 39:19you know, the the rewards and the
  1052. 39:21mechanics, then it it just applies. So,
  1053. 39:24this can be this can scale to many more
  1054. 39:26use cases. And I know we've discussed
  1055. 39:29and brainstormed that with Tarun, maybe
  1056. 39:31you want to to lead us there, but around
  1057. 39:34the MEV competition and you know, we're
  1058. 39:36touching on spamming and all of that.
  1059. 39:40>> Yeah, for sure. So, so I think MEV over
  1060. 39:42time, maybe I'll just give a brief kind
  1061. 39:45of history of it because it's sort of
  1062. 39:47the micro structure has evolved so much
  1063. 39:49and that's sort of why you need a lot
  1064. 39:50more control over latency in 2026.
  1065. 39:54But in the early days of MEV, you know,
  1066. 39:56there were Ethereum validators who were
  1067. 39:57not really paying attention to what
  1068. 39:59transactions they were validating, they
  1069. 40:00just took transactions from users,
  1070. 40:03placed them into a block arbitrarily,
  1071. 40:05you know, used whatever the default in
  1072. 40:07the client was. They weren't even like,
  1073. 40:09you know, people were just not assuming
  1074. 40:11users were sophisticatedly sending
  1075. 40:13transactions.
  1076. 40:15And then the more sophisticated users
  1077. 40:16realized this thing that I was saying
  1078. 40:18earlier, which
  1079. 40:19is hey, it actually makes more sense to
  1080. 40:22send a lot of spam transactions at very
  1081. 40:24low gas, but the you know, the the
  1082. 40:27the default algorithm would include
  1083. 40:29enough of them that I would block out
  1084. 40:31some other users who might be bidding
  1085. 40:33higher than me.
  1086. 40:35And so then people started realizing
  1087. 40:36this actually became endemic and it was
  1088. 40:3880 to 90% of the block was spent on
  1089. 40:40these spam non-economic transactions.
  1090. 40:44And so then people started having these
  1091. 40:45auctions off-chain where people kind of
  1092. 40:49bid in a fast lane to get their
  1093. 40:51transactions into the chain. Now, while
  1094. 40:53that was great, this effectively created
  1095. 40:55a sort of centralization vector because
  1096. 40:58you're bidding sort of either directly
  1097. 41:00with the validator or you're bidding
  1098. 41:02kind of in sort of a third-party who
  1099. 41:04validators are subscribing to and that
  1100. 41:06third-party effectively became the
  1101. 41:08centralization vector.
  1102. 41:10Um, over time as Ethereum moved to
  1103. 41:12proof-of-stake,
  1104. 41:14you started to have this thing where um,
  1105. 41:16the validator themselves who was chosen
  1106. 41:19for the next block would run their own
  1107. 41:20auction as opposed to a single user.
  1108. 41:23That's sort of this uh, proposer-builder
  1109. 41:25separation style auction. And then what
  1110. 41:28happened was people sort of got latency
  1111. 41:30advantages before even there's multiple
  1112. 41:33levels of latency advantages of how fast
  1113. 41:35could I send my transaction to someone
  1114. 41:38who was bidding in the block. And so
  1115. 41:40what this ended up getting at is that
  1116. 41:43you sort of had the segmentation of you
  1117. 41:47know, users who are strategic, who are
  1118. 41:50bidding repeatedly every block, users
  1119. 41:52who are less strategic, selling the
  1120. 41:54rights effectively to their transactions
  1121. 41:57to strategic users, and then the
  1122. 41:59strategic users repeatedly competing
  1123. 42:01where maybe there's a hundred of them
  1124. 42:02but only ten of them could win on every
  1125. 42:04block.
  1126. 42:05And so
  1127. 42:06the real question is how much value are
  1128. 42:08those ten people who are winning leaking
  1129. 42:12to these kind of strategic bids that
  1130. 42:15have nothing to do with the true value
  1131. 42:17of the block.
  1132. 42:18And by being able to actually precisely
  1133. 42:21bid on latency, you're finally able to
  1134. 42:23take out the last segment of uncertainty
  1135. 42:25in those bids, right? Of of where where
  1136. 42:27where people were
  1137. 42:29trying to to to to bid based on how
  1138. 42:31fast, you know, account for the fact
  1139. 42:33that there's some error in whether their
  1140. 42:35block would make it in time, whether
  1141. 42:37they would meet the deadline. And so
  1142. 42:39they'd have to price slightly
  1143. 42:40differently, usually slightly lower or
  1144. 42:43hedge somewhat, like shrink the size of
  1145. 42:45their block a little bit because it
  1146. 42:47would be faster to validate.
  1147. 42:49Things of those lines were were things
  1148. 42:51that were occurring because people were
  1149. 42:53not able to precisely price latency. And
  1150. 42:55I think that the idea that you're able
  1151. 42:57to to do that for these types of
  1152. 42:59contests that are almost like
  1153. 43:00knapsack-like of I have 100 people, I'm
  1154. 43:03picking 10 every time.
  1155. 43:05I think that will sort of
  1156. 43:07something that
  1157. 43:08you know, this
  1158. 43:10framework really allows us to to reason
  1159. 43:12about and is sort of unique to RLNCs in
  1160. 43:15a lot of ways.
  1161. 43:16>> Uh no, that that's a great point. And
  1162. 43:18you know, just to connect it to the
  1163. 43:19paper, we have, you know, a validator
  1164. 43:23with multiple deadlines, but then very
  1165. 43:24connected to what you're saying, this
  1166. 43:26top K MEV race.
  1167. 43:28Right? Which I think is highly highly
  1168. 43:30connected to to what what you were just
  1169. 43:33what you were just mentioning. Uh we
  1170. 43:35have been having so much fun and I
  1171. 43:36realize we're we're you know, we're
  1172. 43:37getting on the Oh, it's 45 minutes of of
  1173. 43:41discussion and I think we could go for
  1174. 43:43another hour readily without without
  1175. 43:45missing a beat. Um so I'm going to try
  1176. 43:47to maybe pull it all together.
  1177. 43:51Um and in particularly, you know,
  1178. 43:54looking forward.
  1179. 43:56Um
  1180. 43:58Siddhartha, you mentioned the empirical
  1181. 44:00calibration, taking measurements from
  1182. 44:02live networks.
  1183. 44:04Um we also of course need to see the
  1184. 44:07supply side, what users are willing to
  1185. 44:09pay, what it costs to provide reliable
  1186. 44:11delivery, etc. And then, of course, you
  1187. 44:14you're going to have issues around
  1188. 44:16adoption equilibrium. You brought up
  1189. 44:18this this point directly and indirectly
  1190. 44:21many times, Tarun, about the fact that
  1191. 44:23you're basically also competing in with
  1192. 44:26other people and thinking not just what
  1193. 44:27does it do to me, but what it might do
  1194. 44:29to other people, right? And and uh you
  1195. 44:32know, explicitly or implicitly adjusting
  1196. 44:34your behavior in that way.
  1197. 44:36Um, so, uh I'd love to get
  1198. 44:40some thoughts about, you know, the the
  1199. 44:42future work, where this where this goes
  1200. 44:44next. And uh
  1201. 44:45Tarun, I'll start with you.
  1202. 44:48>> Yeah, I I think the most important thing
  1203. 44:51that
  1204. 44:53in my opinion
  1205. 44:54will eventually, you know, what what
  1206. 44:56you're right now
  1207. 44:58assume everything Optimism is super
  1208. 45:00successful and you know, we go from this
  1209. 45:03market which maybe is 5% to 15%
  1210. 45:07inefficient and we're able to shrink
  1211. 45:09that to 10 basis points or 0.1%
  1212. 45:12inefficient because people are having to
  1213. 45:15shave their bids less, they're having to
  1214. 45:17shrink their blocks less, there's more
  1215. 45:18consistency in bandwidth in the network,
  1216. 45:20more consistency in latency in the
  1217. 45:21network.
  1218. 45:23Um, and I think
  1219. 45:25what I'm sort of excited to see is how
  1220. 45:29do these kind of latency marketplaces
  1221. 45:31financialize on the next
  1222. 45:33uh level, which is
  1223. 45:35will people start selling, you know,
  1224. 45:38futures on future block latency? So,
  1225. 45:40like, hey, I don't really need I'm a
  1226. 45:43validator who I'm going to be selected,
  1227. 45:47you know, I know I'm going to be
  1228. 45:47selected in the next 2 minutes in at
  1229. 45:49least X blocks.
  1230. 45:52Is there a way for me to
  1231. 45:54hedge some of my risk or, you know, kind
  1232. 45:57of
  1233. 45:57ahead of time sell some of the rights to
  1234. 46:00this auction early. The reason I bring
  1235. 46:03this up is
  1236. 46:04you know, these types of futures markets
  1237. 46:08also make things a lot more efficient
  1238. 46:09for for users, especially users who have
  1239. 46:12very planned regular transactions. So,
  1240. 46:15you know, an example of that is
  1241. 46:17an oracle. So, an oracle might be a a
  1242. 46:19user who's conveying a price from an
  1243. 46:22off-chain
  1244. 46:23um venue to an on-chain uh protocol and
  1245. 46:27they're trying to have as little latency
  1246. 46:29and bandwidth variance as possible. They
  1247. 46:31They need to tell you the price of the
  1248. 46:32S&P 500 every second
  1249. 46:35uh or every minute, let's say,
  1250. 46:38between 9:00 a.m. and 4:30 p.m.
  1251. 46:41um
  1252. 46:42but then after that they don't need to
  1253. 46:43bid. So, they have a very precise sort
  1254. 46:45of bidding frequency and you could
  1255. 46:47imagine that they're willing to pay
  1256. 46:49ahead of time to guarantee um sort of
  1257. 46:52being in the top X of latency. And so, I
  1258. 46:56I see a lot of this infrastructure
  1259. 46:58evolving as traditional entities start
  1260. 47:00moving into blockchains. Blockchains are
  1261. 47:02continuous time repeated games like
  1262. 47:05we've been talking about. And [snorts] a
  1263. 47:07lot of the off-chain stuff, you know,
  1264. 47:08traditional finance brokerages,
  1265. 47:10tokenized assets, etc. don't follow
  1266. 47:13that.
  1267. 47:13And and the way to make those two worlds
  1268. 47:15work is to just reduce the variance and
  1269. 47:18and spread between them and I can see
  1270. 47:19these products kind of pushing us in
  1271. 47:21that direction.
  1272. 47:22>> Oh, thank you. I have
  1273. 47:24I love it. Love it. And
  1274. 47:26Moritz, onto you. What What What do you
  1275. 47:29see as the the main the main takeaway
  1276. 47:31that that you like our listeners to
  1277. 47:33retain?
  1278. 47:35>> Yeah, sure. I I guess like from
  1279. 47:36especially a coding theory research
  1280. 47:40perspective, I would think that what we
  1281. 47:43did here in the paper was we took a
  1282. 47:44first stab at connecting as like on a on
  1283. 47:47a formal way as on a formal level as
  1284. 47:50well like these two different worlds and
  1285. 47:52um
  1286. 47:53sort of the mean field framework made
  1287. 47:54that
  1288. 47:55the that problem tractable also
  1289. 47:58like comparing these different
  1290. 48:00these different propagation
  1291. 48:03paradigms. Now
  1292. 48:05I think again and I I guess I said this
  1293. 48:08before but the fact that we are able to
  1294. 48:10do it without considering the specific
  1295. 48:13topologies that we are talking about
  1296. 48:15which might be very different for each
  1297. 48:16of the actors involved is a
  1298. 48:19is a is a very very good very good step
  1299. 48:22and a very good sign that we can move
  1300. 48:25forward and also derive like some
  1301. 48:27interesting results with this framework
  1302. 48:28going going forward.
  1303. 48:30>> Thank you and I Sajida.
  1304. 48:32>> Yes, so to keep it simple I think the
  1305. 48:35main takeaway for our listeners would be
  1306. 48:38that
  1307. 48:39we move from speed is money to
  1308. 48:41consistent speed is money.
  1309. 48:45>> I love it. I love it. That's the message
  1310. 48:47I'd like to close with. It's not just
  1311. 48:49speed is money but reliable speed is
  1312. 48:51money.
  1313. 48:52And
  1314. 48:54the paper to remind everyone is pricing
  1315. 48:57innovation under latency constraints.
  1316. 49:00Encourage everyone to read it. Don't
  1317. 49:02forget to get at least one cup of coffee
  1318. 49:04before cracking cracking open your your
  1319. 49:07your laptop to take a look at this.
  1320. 49:10And I really want to thank
  1321. 49:13um
  1322. 49:13our wonderful
  1323. 49:15contributors today. Thank you Tarun.
  1324. 49:17Thank you Moritz. Thank you Sajida.
  1325. 49:20And I want to thank everybody for
  1326. 49:22listening.
  1327. 49:25>> Thank you.
  1328. 49:32>> [music]

About this transcript

This page contains the full transcript of Speed is Money: Pricing Innovation Under Latency Constraints | Ft. Tarun Chitra by Optimum, generated from the public captions YouTube serves with the video. The transcript has 8,041 words across 1,328 segments, with the original timestamps preserved so you can click any line to jump to that moment in the embedded player.

What you can do with it

Use the transcript to take notes, quote the speaker, build a study guide, generate a summary with ChatGPT or Claude via the YouTube Summary tool, or export it as a timed subtitle file with YouTube to SRT. You can also re-open it in the transcriber to translate the transcript into 100+ languages.

Free YouTube transcript tool

YouTube2Text is a free YouTube transcript generator — no signup, no daily limit. Paste any YouTube link and get the full transcript instantly, with timestamps, click-to-jump, translation to 100+ languages, AI prompts for ChatGPT, Claude, and Gemini, and exports to TXT, SRT, VTT, or Markdown.