Провела глибокий формальний аналіз поведінки системи з плином часу. Перевірила гарантії безпеки та життєздатності, особливо навколо Вето-сигналізації, Виходу зі зливу та переходів з відстрочкою.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
22 лайків
Нагородити
22
10
Репост
Поділіться
Прокоментувати
0/400
BearMarketSurvivor
· 06-27 01:10
Знову стався збій, є якісь аналізи?
Переглянути оригіналвідповісти на0
NotFinancialAdvice
· 06-26 03:23
продовжуйте копати... приємно бачити технічну сторону речей, якщо чесно
Переглянути оригіналвідповісти на0
BlockchainTalker
· 06-25 07:03
насправді це те, про що я проповідував щодо формальної верифікації з першого дня... нарешті
Переглянути оригіналвідповісти на0
RumbleValidator
· 06-25 05:26
Ненадійна формальна верифікація абсолютно не корисна
Переглянути оригіналвідповісти на0
ContractTester
· 06-24 20:22
Цього разу точно немає багів
Переглянути оригіналвідповісти на0
LoneValidator
· 06-24 20:19
Добре, ти так стабільно проводиш тести.
Переглянути оригіналвідповісти на0
Degen4Breakfast
· 06-24 20:14
Я вже зовсім заплутався.
Переглянути оригіналвідповісти на0
OldLeekNewSickle
· 06-24 20:09
Знову бачимо стару пастку, що видно з першого погляду.
Провела глибокий формальний аналіз поведінки системи з плином часу. Перевірила гарантії безпеки та життєздатності, особливо навколо Вето-сигналізації, Виходу зі зливу та переходів з відстрочкою.