ZK has always been the proposed endgame for Ethereum scaling and is advancing faster than anticipated, aggressively pulling forward timelines. Still, there is a lack of clarity around the market design when enshrining ZK in the L1. A short 🧵of my EthCC talk on this topic ↓

1/ Je užitečné porovnat delegování důkazu se známou aukcí PBS. Oba zadávají složité úkoly externím stranám, ale peníze proudí opačným směrem: Stavitelé kupují cenný blokový prostor Provers prodávají službu generování důkazů To ztěžuje odpovědnost dokazovatelů

3/ Zavádíme model zadávání veřejných zakázek s penalizací živosti. Sankce C zachycuje ekonomickou ztrátu ze zmeškaného slotu a je udělena, pokud není předložen žádný důkaz. To může být až stovky ETH (podle nedávných vítězných nabídek MEV-Boost @mevproposerbot)!

7/ Stručně řečeno, zadávání důkazů není univerzální řešení. Prostředí pro nepřátelské prostředí je podobné tomu v TFM designu (a pravděpodobně je nuancovanější než to), ale postrádá téměř tolik podpůrné literatury. Některé otevřené otázky níže.

h/t @ks_kulk @_julianma @kevaundray pro jejich související příspěvky: - -