Cardano [ADA] community and the CEO of Runtime Verification discuss the Cardano Protocol- AMBCrypto