Zabezpiecz się przed włamaniem w 6 prostych krokach. (Oto jak działa każdy krok):

Wybierz, które części swoich umów chcesz chronić za pomocą asercji:

Napisz swoje twierdzenie, aby chronić swoje invariants:

Zapisz swoje twierdzenia w DA twierdzeń:

Zarejestruj swoje twierdzenia, aby sieć mogła je zobaczyć:

Twoje na żywo składane oświadczenia są następnie weryfikowane w odniesieniu do twoich aktywnych kontraktów:

Sieć usunie każdą transakcję, która narusza twoje twierdzenia.