10:16

Внедрение формата верификации для безопасности умных контрактов на Эфириум

Хотя «формат верификации» может показаться чем-то сложным, его можно объяснить в нескольких словах — применительно к Эфириуму, это выглядит следующим образом. Разработчики используют новый язык программирования, solidity, для того, чтобы писать на нём умные контракты. Затем написанный код преобразуется в байт-код для использования виртуальной машиной Эфириума (ethereum virtual machine, EVM) и распространяется между узлами сети для выполнения. Здесь «формат верификации» становится более объективным способом гарантировать, что когда различные компоненты сети получат эти инструкции, то выполнят их таким образом, как задумано пользователями.

• 09:14 Участница финансовой пирамиды Finiko Лилия Нуриева приговорена к трем годам тюрьмы
• 06:20 Суд утвердил план погашения обязательств криптокредитора Genesis на $3 млрд
• 04:03 В Госдуме предложили изменить подход к регулированию майнинга
• 01:06 Биткоин-фермам перекрывают кислород — подробности из Венесуэлы