Sa Formal Verification Push, Hinahanap ng Ethereum ang Smart Contract Certainty

Binibigyang-diin ng CoinDesk ang mga salik na nagtutulak sa coding community ng ethereum upang tanggapin ang konsepto ng pormal na pag-verify para sa mga matalinong kontrata.