Okosszerződések minőségbiztosítása

A továbbképzés célja, hogy a résztvevők megértsék, miért biztonsági kérdés egy okosszerződés minősége, és képessé váljanak az okosszerződésekre vonatkozó minőségbiztosítási állítások – tesztelési, statikus elemzési, formális verifikációs és auditjelentések – megítélésére. Az okosszerződés blokkláncra telepített üzleti logika: bárki meghívhatja, nagy értékű kripto- és pénzügyi eszközöket kezelhet, és telepítés után nem lehet egyszerűen kijavítani; minden hibáját az használhatja ki, aki először megtalálja.

A képzés sikeres elvégzésével a résztvevő:

•       átlátja, milyen kiberbiztonsági kérdéseket vet fel egy okosszerződés tervezése, ellenőrzése, telepítése, használata és karbantartása;

•       felismeri a fő hibamintázatokat, és el tudja helyezni őket az életciklus megfelelő szakaszában;

•       tudja, mit igazol a tesztelés, a fuzzing, a statikus elemzés, a formális verifikáció, az audit és a bug bounty – és mit nem;

•       ki tudja olvasni egy audit- vagy verifikációs jelentésből az igazolt tulajdonságokat, a feltevéseket, a hatókört és a maradványkockázatot, és fel tudja tenni a fejlesztőnek, a szállítónak vagy az auditornak azt a kérdést, amin egy alá nem támasztott állítás elbukik;

•       ismeri a MiCA szerinti közzétételi kötelezettségeket, valamint azokat a szabványokat és ellenőrzőlistákat, amelyekhez egy minőségbiztosítási állítás mérhető.