Veronica Zheng, Ingenieurin bei Coinbase, leitete einen Workshop zur Prüfung von Smart Contracts. In diesem praktischen Workshop haben wir behandelt, wie man Smart Contracts mit Truffle testet und wie man häufige Sicherheitsanfälligkeiten mit Solhint (Linter), Slither (statisches Analyse-Framework), Mythril / Manticore (symbolisches Ausführungstool) und Echidna (Fuzzer) erkennt.