Аудиторская фирма по безопасности привлекла $5,3 млн из фондов, инвестирующих в Polkadot и Cardano Blockchains

Runtime Verification проверяет смарт-контракты на наличие ошибок, возможно, наиболее известным примером является Uniswap.