Віталік: AI-асистоване формалізоване доведення є «кінцевою формою розробки програмного забезпечення», Ethereum стане безпековим ядром
Співзасновник Ethereum Віталік Бутерін 18 травня опублікував глибокий аналіз, у якому розглянув сучасний стан і перспективи технологій формальної верифікації (Formal Verification). Він вважає, що формальна верифікація, підсилена AI, стане «остаточною формою розробки програмного забезпечення», і зазначає, що Ethereum стане важливою складовою майбутньої архітектури «безпечного ядра». Формальна верифікація: ключові принципи та застосовні сценарії За даними зі статті Віталіка, формальна верифікація
ETH-1,16%
MarketWhisper·05-19 02:23










