Verifereum

Verifereum — это формальная модель Ethereum, реализованная с использованием логики высшего порядка (#HOL4), предназначенная для проверки приложений и инструментов в экосистеме Ethereum (#EVM), начиная от смарт-контрактов до компиляторов. Его цель — предотвратить хакерские атаки и обеспечить высочайший уровень безопасности, предоставляя код без ошибок с гарантированной безопасностью.