Zabraňte hackerskému útoku v 6 jednoduchých krocích. (Zde je návod, jak každý krok funguje):

Vyberte, které části smluv chcete chránit pomocí kontrolních výrazů:

Napište své tvrzení pro ochranu svých invariantů:

Uložte své aserce do kontrolního výrazu DA:

Zaregistrujte své kontrolní výrazy, aby síť viděla vaše kontrolní výrazy:

Vaše živé výrazy jsou poté zkontrolovány proti vašim živým kontraktům:

Síť odstraní jakoukoli transakci, která porušuje vaše tvrzení.