Evite um hack em 6 etapas simples. (Veja como cada etapa funciona):

Selecione quais partes de seus contratos você deseja proteger com asserções:

Escreva sua afirmação para proteger suas invariáveis:

Armazene suas asserções no DA de asserção:

Registre suas asserções para que a rede veja suas asserções:

Suas declarações ativas são então verificadas em relação aos seus contratos ativos:

A rede removerá qualquer transação que viole suas afirmações.