Интересное следствие этой работы заключается в том, что как стекинг, так и проведение аукциона могут быть ненужными для получения доказательства. Ставки, сделанные в рамках стекинга, превосходят лотерею только в том случае, если они накладывают значительное бремя залога на провайдеров, что противоречит децентрализованному рынку провайдеров.
mikeneuder.eth ⟠
mikeneuder.eth ⟠14 авг. 2025 г.
happy 225th day of the 2025 :D thrilled to share "On Ethereum Prover Market Design," written with @bahrani_maryam! this article presents a model for the game faced by Ethereum proposers trying to procure a computationally expensive ZK proof of a block. 🔗 and (smol) 🧵⥥
4,47K