Компилятор Vyper проходить формальну верифікацію? Ось це вже цікаво! Безпека смарт-контрактів виходить на новий рівень завдяки математично доведеній компіляції коду. Це може суттєво знизити кількість вразливостей ще на етапі компілятора.

Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 3
  • Репост
  • Поділіться
Прокоментувати
0/400
MetaverseLandlordvip
· 12-06 02:47
vyper додали формальну верифікацію, тепер нарешті вдалося знайти джерело багу, раніше все було видно лише постфактум.
Переглянути оригіналвідповісти на0
zkProofInThePuddingvip
· 12-06 02:32
Vyper нарешті збирається впровадити формальну верифікацію? Тепер баги на рівні компілятора нарешті можна буде вирішити... Але скільки ще доведеться чекати на реальне впровадження, невідомо, адже спочатку знову з’явиться купа наукових статей.
Переглянути оригіналвідповісти на0
CryptoComedianvip
· 12-06 02:30
Сміявся-сміявся, аж розплакався: Vyper взявся за формальну верифікацію, тепер безпека смарт-контрактів справді не лише на словах. Раніше аудити коду не рятували від пасток, а тепер є математичне підґрунтя — здається, нарешті правильно вирішив завдання з блокчейн-логіки.
Переглянути оригіналвідповісти на0
  • Популярні активності Gate FunДізнатися більше
  • Рин. кап.:$3.6KХолдери:2
    0.07%
  • Рин. кап.:$3.53KХолдери:1
    0.00%
  • Рин. кап.:$3.53KХолдери:1
    0.00%
  • Рин. кап.:$3.52KХолдери:1
    0.00%
  • Рин. кап.:$3.53KХолдери:1
    0.00%
  • Закріпити