
Депозитный смарт-контракт эфириума 2.0 прошел аудит и формальную верификацию
Депозитный смарт-контракт для эфириума 2.0 прошел аудит и формальную верификацию байт-кода. Также продолжается работа над оптимизацией beacon chain. Об этом сообщает разработчик эфириума Дэнни Райан. Формальная верификация — это метод анализа









