Token Daily is a place to discover trending news and products in crypto and blockchain.
Join our Newsletter
Using TLA+ to formally model, attack, and fix a layer 2 blockchain scaling protocol
posted 11 months ago
Are you sure you want to delete your comment?
Join Our Crypto Newsletter