🛡️ Conclusão da Verificação Formal para haSUI & haWAL

Estamos empolgados em anunciar que a Haedal concluiu com sucesso uma extensa verificação formal para seus protocolos de staking líquido, haSUI e haWAL, em colaboração com @CertiK.

Essa conquista representa um avanço significativo na melhoria da estrutura de segurança para as operações de staking líquido da Haedal. 💪