@ronstedt no, lim p โ 0 means:
โ๐ > 0, โ๐ฟ > 0 : |p - ๐ฟ| < ๐
but in xy=k amms, this is not true.
there is a minimum positive price.
it's a neat mechanism. Since L2s have no mempool to queue underpriced L2 txns, OP borrows the L1 gas metering for L1->L2 txns. Otherwise sequencers can cause denial of service by manipulating the L2 gas price and causing L1->L2 txns to revert due to L2 gas underpricing.
@qedk_@apoorveth Also since you burn L1 ETH to get L2 gas for forced inclusion, and you withdraw actual ETH from the L2 bridge, it would be weird to be able to convert burned ETH into real ETH using FI
@jnptzl@StewartalsopIII@seer_pm@forereth you need to pay market makers.
decrease opportunity cost (yield bearing collateral)
derisk revelation loss (hybrid auction+amm)
yield farming to subsidize liquidity by info seekers and by the prediction market protocol
@clesaege LLM coauthor+reading assistant
Elections=pizza party ๐ whole slices. Old rules pick the last slice by fixed rounding โ bias & tactics. PRRA = math first raffle later ๐ฒ seats by quota, then a last-seat lottery among almost-there ballots. Every vote counts twice, hard to game