3 ms·
Acknowledged, that it really depends on how many people are willing to pay for verification services. Product developers may be encouraged economically or legal
by nuclx 9y ago
Acknowledged, that it really depends on how many people are willing to pay for verification services. Product developers may be encouraged economically or legally though. For example cryptocurrency exchanges may decide to list only Quantstamp-verified tokens. Quantstamp's CEO Richard Ma likes to compare his project to Verisign - being kind of a certificate authority for the blockchain.
- brudgers 9y agocaveat: My basis of experience is in the US. I think it is possible that the primary forces which will shape the general use/non-use of formal verification methods for smart contracts will be legal not technical. The distance from widespread adoption of formal use of smart contracts and the current state of the world is approximated by the distance between the widespread availability of legal council and the scarcity of people skilled in formal verification. It is easy for an ordinary individual to enter into an ordinary contractual agreement because lawyers are ubiquitous. It is difficult/impossible for an ordinary individual to enter into a smart contract because qualified practitioners are rare. The growth of qualified smart contract practitioners may be rapid until the point where is is deemed legal practice and becomes regulated as such. And if I were to bet, I would bet that it will be deemed legal practice once it comes on the radar of the legal system.