runtime verification

dollar-1362244_1920
Security Audit Firm Raises $5.3M From Funds Investing in Polkadot, Cardano Blockchains
Runtime Verification checks smart contracts for errors, perhaps most famously with Uniswap.
dollar-1362244_1920