Sui Anuncia o Lançamento do Sui Prover

robot
Geração do resumo em andamento

Na sexta-feira, a Sui Foundation anunciou através de um post no blog que o Sui Prover, desenvolvido pela Asymptotic, já está disponível para a comunidade Sui. O Sui Prover ajuda a melhorar a segurança, confiabilidade e clareza da lógica onchain, permitindo que os desenvolvedores provem formalmente que seu código se comporta conforme pretendido.

Com o Sui Prover, os desenvolvedores podem verificar matematicamente que os seus contratos inteligentes se comportam como pretendido, mesmo em alguns casos extremos. Permite que propriedades como cofres não drenáveis, preços de ações não decrescentes ou a preservação exata do saldo de tokens sejam provadas em vez de assumidas, ajudando a prevenir bugs que os testes tradicionais podem perder.

Sui é uma blockchain de Camada 1 projetada para fornecer experiências de desenvolvedor e usuário de alta qualidade, apoiadas por fundações tecnológicas robustas. SUI está em alta de 1,4% nas últimas 24 horas, sendo negociado a $3.2913 por moeda.

SUI0.87%
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
  • Recompensa
  • Comentário
  • Compartilhar
Comentário
0/400
Sem comentários
  • Marcar
Faça trade de criptomoedas em qualquer lugar e a qualquer hora
qrCode
Escaneie o código para baixar o app da Gate
Comunidade
Português (Brasil)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)