Stay up to date on all things crypto and blockchain

Token Daily is a place to discover trending news and products in crypto and blockchain.

Breaking state channels with TLA+

Using TLA+ to formally model, attack, and fix a layer 2 blockchain scaling protocol

Article posted 1 year ago

with or if you'd like to join the discussion.