У Ethereum розповіли, як ШІ змінює підхід до безпеки смартконтрактів

У Ethereum назвали технологію, яка може посилити безпеку смартконтрактів в епоху ШІ. Згідно з розробником Vyper, формальна верифікація стає критично