Radius: encrypted mempool and verifiable shared sequencing on EigenLayer
Thread200 words
Explains how Radius uses practical verifiable delay encryption to keep transactions encrypted until the order is preconfirmed, with ZK proofs enabling slashing of misbehaving sequencers via an EigenLayer AVS. Positions shared sequencing as the next frontier of the modular stack.
Key claims
Sequencer misbehavior is provable on Ethereum with a ZK proof and results in slashing
Restaked ETH secures the sequencing layer
A user-centric sequencing model built on @eigencloud ♾✨
✦ Censorship & MEV prevention using encryption
✦ Fast finality with crypto-economic security
✦ Facilitates atomic composability
✦ Verifiable sequencing powered by ZK
Mini-🧵 on @radius_xyz
t.co/wSJJyvmvQX
1/ With @radius_xyz that leverages PVDE (Practival Verifiable Delay Encryption), transactions in the mempool stay encrypted until sequencers preconfirm the order, verified by zero-knowledge proofs.
Thanks to shared sequencing, atomic cross-rollup composability becomes a reality.
2/ How does verifiable sequencing bolster liveness?
As a pre-conf provider, the rollup's sequencer stores pre-confirmation of tx order in DA before decryption.
Using a ZK proof, anyone can verify a sequencer's misbehavior on Ethereum, which results in sequencer slashing.
3/ Where does the @eigencloud AVS come in to play?
The rollup sequencer pre-confirms blocks according to censorship-resistance rules, ensuring participants can verify on Ethereum that the sequencer produced blocks as promised (under slashing conditions in the future).
4/ This method cryptographically prevents any node designated as a sequencer from reordering txs or censoring, safeguarding the @radius_xyz sequencing layer with restaked $ETH for security.
5/ Shared sequencing is the next big frontier in the modular stack and the leading players will be multi-billion $$$ protocols.
@radius_xyz could be among them.