Content pfp
Content
@
0 reply
0 recast
0 reaction

Theo Diamandis pfp
Theo Diamandis
@tjd
Simple blockspace pricing mechanisms are a good idea! In a new paper, @gaa, @ciamac, and I show that simple pricing rules are optimal against worst-case adversaries.
1 reply
6 recasts
10 reactions

Theo Diamandis pfp
Theo Diamandis
@tjd
In previous work (also with @pinged, @alexevans) we show that most pricing rules, including EIP-1559, are implicitly solving an optimization problem.
1 reply
0 recast
2 reactions

Theo Diamandis pfp
Theo Diamandis
@tjd
This problem is to maximize the utility of included transactions, minus the loss incurred by the network, subject to transaction constraints (e.g., gas limits, conflicting txns, etc).
1 reply
0 recast
1 reaction

Theo Diamandis pfp
Theo Diamandis
@tjd
While this problem is unsolvable in practice, we can construct an equivalent (dual) problem: find the fees which minimize the difference between the blockspace “supply” of the network and the blockspace “demand” of the users.
1 reply
0 recast
1 reaction

Theo Diamandis pfp
Theo Diamandis
@tjd
Importantly, we can compute the gradient of this function. This means, we can update fees with a simple first-order algorithm like gradient descent, it’s regularized counterpart, or mirror descent.
1 reply
0 recast
1 reaction

Theo Diamandis pfp
Theo Diamandis
@tjd
In fact, the EIP-1559 style update (as implemented in 4844) is an online mirror descent algorithm.
1 reply
0 recast
1 reaction

Theo Diamandis pfp
Theo Diamandis
@tjd
But how good of an idea is this type of simple algorithm? We show that, on average, there is little difference in welfare between “correctly” setting fixed fees with oracular knowledge of all future transactions, and using these basic gradient descent-like algorithms (which only depend on observable quantities).
1 reply
0 recast
1 reaction

Theo Diamandis pfp
Theo Diamandis
@tjd
This bound holds _even in the presence of adversaries_ who are only limited by a fixed (but perhaps very large) budget. Market clearing prices need not exist!
1 reply
0 recast
1 reaction