Finanza decentralizzata e sfide di sicurezza: gli Smart Contracts
Gli smart contract sono programmi soggetti a bug: si possono costruire con blocchi affidabili come OpenZeppelin o verificare con Mythril e Certora, che però coprono solo le vulnerabilità già note.
