4 ms·

I always wondered why aren't smart contracts developed strictly; proving them with Coq or some proof assistant, or making a formal TLA+ struct to define them be

I always wondered why aren't smart contracts developed strictly; proving them with Coq or some proof assistant, or making a formal TLA+ struct to define them before coding. As the siblings say, it smells like contractors that don't take it as seriously as (imo) they should.

Sargos 4y ago
Most important smart contracts like MakerDAO are formally verified already and there are ways to code smart contracts in functional and other safer languages.