arXivで「Blockchain」で検索した新着論文の概要をDeepLで翻訳しています。
ブロックチェーンの抽出可能な価値の理論的根拠
Published at 2023/02/04 21:13:29 (JST)
A theoretical basis for Blockchain Extractable Value
Extractable Valueとは、パブリックブロックチェーンに対する経済的な攻撃の広い分類を指し、ブロック内のトランザクションを並べ替えたり、削除したり、挿入したりする力を持つ敵は、ユーザーのトランザクションから価値を「抽出」することができます。実証研究により、分散型取引所などの主流プロトコルがこれらの攻撃の標的となり、そのユーザーやブロックチェーンネットワークに有害な影響を及ぼしていることが明らかになっています。現実世界においてこれらの攻撃の影響が大きくなっているにもかかわらず、理論的な基礎はまだ不足しています。本論文では、ブロックチェーンとスマートコントラクトの一般的で抽象的なモデルに基づく、Extractable Valueの形式的理論を提案します。我々の理論は、Extractable Value攻撃に対する安全性の形式的証明の基礎となるものである。
Extractable Value refers to a wide class of economic attacks to public blockchains, where adversaries with the power to reorder, drop or insert transactions in a block can "extract" value from user transactions. Empirical research has shown that mainstream protocols, like e.g. decentralized exchanges, are massively targeted by these attacks, with detrimental effects on their users and on the blockchain network. Despite the growing impact of these attacks in the real world, theoretical foundations are still missing. In this paper we propose a formal theory of Extractable Value, based on a general, abstract model of blockchains and smart contracts. Our theory is the basis for formal proofs of security against Extractable Value attacks.
