Scallop Lend conclui a verificação formal completa da Asymptotic

Gate News notícia, em 15 de março, a Scallop Lend concluiu a verificação formal completa realizada pela Asymptotic (parceiro oficial de auditoria da Mysten Labs). A verificação confirmou a correção matemática dos mecanismos centrais do protocolo, incluindo a lógica de contabilidade principal, cálculos de liquidação, controle de acesso e operações com números de ponto fixo.
Aviso legal: As informações contidas nesta página podem provir de fontes externas e têm caráter meramente informativo. Não refletem os pontos de vista nem as opiniões da Gate e não constituem qualquer tipo de aconselhamento financeiro, de investimento ou jurídico. A negociação de ativos virtuais envolve um risco elevado. Não se baseie exclusivamente nas informações contidas nesta página ao tomar decisões. Para mais detalhes, consulte o Aviso legal.
Comentar
0/400
Nenhum comentário