We design and analyze attention games that incentivize validators to che...
We design TimeBoost: a practical transaction ordering policy for rollup
...
We design efficient algorithms for the batch posting of Layer 2 chain
ca...
Educators are rapidly switching to remote proctoring and examination sof...
The verification of arms-control and disarmament agreements requires sta...