@argotorg.eth
Last week at OOPSALA '25, our Act developers presented an improved, scalable version of CheckMate, an automated prover for formally verifying the game-theoretic security of blockchain protocols.
In short: the tool checks whether the incentives in a protocol make cheating not worth it.
1 reply
0 recast
1 reaction