Home Papers Patents Talks Posts Experience Projects

#Formal Methods

1 items

Publications

arXiv

Towards Universal Atomic Composability: A Formal Model for Multi-Rollup Environments on Ethereum

Dipankar Sarkar

EthereumRollups PDF