Mechanism Design for ZK-Rollup Prover Markets

W Wang, L Zhou, A Yaish, F Zhang, B Fisch… - arXiv preprint arXiv …, 2024 - arxiv.org
In ZK-Rollups, provers spend significant computational resources to generate validity proofs.
Their costs should be compensated properly, so a sustainable prover market can form over …

Foundations of transaction fee mechanism design

H Chung, E Shi - Proceedings of the 2023 Annual ACM-SIAM …, 2023 - SIAM
In blockchains such as Bitcoin and Ethereum, users compete in a transaction fee auction to
get their transactions confirmed in the next block. A line of recent works set forth the …

Uniswap V3 TWAP oracles in proof of stake

A Adams, X Wan, N Zinsmeister - Available at SSRN 4384409, 2022 - papers.ssrn.com
Abstract In the Uniswap Protocol, a price oracle is a tool used to view price information about
a given asset over time and enables developers to build highly decentralized protocols with …

Proof of Diligence: Cryptoeconomic Security for Rollups

P Sheng, R Rana, H Tyagi, P Viswanath - arXiv preprint arXiv:2402.07241, 2024 - arxiv.org
Layer 1 (L1) blockchains such as Ethereum are secured under an" honest supermajority of
stake" assumption for a large pool of validators who verify each and every transaction on it …

Transaction fee mechanism for Proof-of-Stake protocol

W Tang, DD Yao - arXiv preprint arXiv:2308.13881, 2023 - arxiv.org
We study a mechanism design problem in the blockchain proof-of-stake (PoS) protocol. Our
main objective is to extend the transaction fee mechanism (TFM) recently proposed in …

An incentive analysis of some bitcoin fee designs

ACC Yao - arXiv preprint arXiv:1811.02351, 2018 - arxiv.org
In the Bitcoin system, miners are incentivized to join the system and validate transactions
through fees paid by the users. A simple" pay your bid" auction has been employed to …

Transaction fee mining and mechanism design

M Tang, A Zhang - arXiv preprint arXiv:2302.06769, 2023 - arxiv.org
Transaction fees represent a major incentive in many blockchain systems as a way to
incentivize processing transactions. Unfortunately, they also introduce an enormous amount …

Pricing security in proof-of-work systems

G Bissias, R Böhme, D Thibodeau… - arXiv preprint arXiv …, 2020 - arxiv.org
A key component of security in decentralized blockchains is proof of opportunity cost among
block producers. In the case of proof-of-work (PoW), currently used by the most prominent …

Indistinguishable proofs of work or knowledge

F Baldimtsi, A Kiayias, T Zacharias, B Zhang - Advances in Cryptology …, 2016 - Springer
We introduce a new class of protocols called Proofs of Work or Knowledge (PoWorKs). In a
PoWorK, a prover can convince a verifier that she has either performed work or that she …

[PDF][PDF] Formal verification of smart contracts

CE Brown, O Kuncar, J Urban - Proc. ACM Workshop Program. Lang. Anal …, 2017 - in.tum.de
In the recent years, cryptocurrencies have seen steady increase of popularity and adoption
as witnessed by the most popular cryptocurrency Bitcoin. Bitcoin's main appeal—no need for …