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.
Isenção de responsabilidade: as informações nesta página podem ter origem em fontes terceiras e servem apenas como referência. Não representam as opiniões da Gate e não constituem orientação financeira, de investimentos ou jurídica. A negociação de ativos virtuais envolve alto risco. Não tome decisões baseando-se apenas nas informações desta página. Para mais detalhes, consulte a Isenção de responsabilidade.
Comentário
0/400
Sem comentários