Sui оголошує про запуск Sui Prover

robot
Генерація анотацій у процесі

У п'ятницю Фонд Sui оголосив у блозі, що Sui Prover, розроблений компанією Asymptotic, тепер доступний для спільноти Sui. Sui Prover допомагає покращити безпеку, надійність і зрозумілість логіки на ланцюгу, дозволяючи розробникам формально доводити, що їхній код працює так, як передбачено.

З Sui Prover розробники можуть математично перевірити, що їхні смарт-контракти поводяться згідно з намірами, навіть у деяких крайніх крайніх випадках. Це дозволяє довести такі властивості, як недреновані сховища, незменшувані ціни на акції або точне збереження балансу токенів, а не припускати їх, що допомагає запобігти помилкам, які традиційне тестування може пропустити.

Sui є блокчейном першого рівня, розробленим для забезпечення відмінного досвіду для розробників і користувачів, підкріпленого надійними технологічними основами. SUI виросла на 1,4% за останні 24 години, торгуючись за ціною 3,2913 $ за монету.

SUI1.3%
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • Прокоментувати
  • Поділіться
Прокоментувати
0/400
Немає коментарів
  • Закріпити