Запобігти злому можна за 6 простих кроків. (Ось як працює кожен крок):

Виберіть, які частини ваших контрактів ви хочете захистити за допомогою тверджень:

Запишіть своє твердження для захисту ваших інваріантів:

Збережіть свої твердження в твердженні DA:

Зареєструйте свої твердження, щоб мережа побачила ваші твердження:

Потім ваші твердження в реальному часі звіряються з вашими реальними контрактами:

Мережа видалить будь-яку транзакцію, яка порушує ваші твердження.