Виталик Бутерин, сооснователь Эфириума, высказал мнение о том, что благодаря искусственному интеллекту (ИИ) разработчики могут создавать программное обеспечение, которое будет математически верифицировано. Его аргументы основаны на формальной…
, хотя такой подход тоже мог бы сработать, ведь у любой программы ограниченное число уязвимостей. Суть в асимметричной стратегии: создании кода, который изначально обладает гораздо более высокой устойчивостью. Именно в этом направлении Эфириум будет развиваться в ближайшие годы. У блокчейнов — особенно тех, что обеспечивают масштабируемость и конфиденциальность, — нет будущего без такого подхода
РОСКРИПТО.РФ | Crypto Summit | ЗЮЗИН Blog