Hi. Just read about Quantstamp and i think their POA is a nice aproach to helping no programming people to attent future platforms. Anyone have input on if this is in the roadmap for cardano?
Audit is (in many ways) too late - it tells you what happened was consistent with what you “denoted” (wrote down). Proof is far more useful - it tells you that what will happen will be consistent with what you denoted.
Proving that your smart contract will (always) conform to key invariants is a stronger approach - that is what is being aimed for in Cardano.