We present FairTraDEX, a decentralized exchange (DEX) protocol based on frequent batch
auctions (FBAs), which provides formal game-theoretic guarantees against extractable …

Superlight clients enable the verification of proof-of-work-based blockchains by checking
only a small representative number of block headers instead of all the block headers as …

In lit markets, all the information about bids and offers in the order book is visible to the
public. With this transparency, traders can discover prices and adjust their strategies …

In the past decade, blockchains have seen various financial and technological innovations,
with cryptocurrencies reaching a market cap of over 1 trillion dollars. However, scalability is …

Public blockchains implement a fee mechanism to allocate scarce computational resources
across competing transactions. Most existing fee market designs utilize a joint, fungible unit …

Maximal Extractable Value (MEV) has become a critical issue for blockchain ecosystems, as
it enables validators or block proposers to extract value by ordering, including or censoring …

Our transaction history in the current centralized banking system has the ability to reveal a
lot of private information for each spender, both to the banking system itself, but also to those …

In this paper, we review the undercutting attacks in the transaction-fee-based regime of proof-
of-work (PoW) blockchains with the longest chain fork-choice rule. Next, we focus on the …

As modern computing moves towards smaller devices and powerful cloud platforms, more
and more computation is being delegated to powerful service providers. Interactive proofs …

With a zero-knowledge proof (ZKP), a party can prove that a statement is true without
revealing any information except for whether it is indeed true or not. The obvious benefit is …