Proof of Audit. Any plans of implementing this in cardano


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?




Take a look at

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.