Proof of Audit. Any plans of implementing this in cardano


#1

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?


#2

@tom.kelly


#3

Take a look at https://iohk.io/blog/designing-a-new-virtual-machine-and-universal-language-framework.

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.