Виталик: Значительная часть существующего плана верификации формализованного подтверждения действительности Ethereum реализуется в RISC-V для проверки EVM

robot
Генерация тезисов в процессе

Издание Golden Finance сообщает, что разработчик ETH, Рик Дадли, обратился к сооснователю ETH, Виталику Бутерину, на платформе X, заявив, что ему очень интересно управлять этим проектом, если хотите, чтобы цепь доказательства действительности ETH работала на RISC-V и сделала выполнение EVM имеющим смысл. В ответ на это Виталик Бутерин заявил, что значительная часть существующего плана Формальной верификации ETH включает проверку EVM в RISC-V и предложил Рику Дадли связаться с Александром Хиксом, ответственным за Формальную верификацию и искусственный интеллект ETH.

ETH1.09%
X1.88%
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
  • Награда
  • 1
  • Поделиться
комментарий
0/400
SandaKingvip
· 2024-10-27 05:03
про带带我 💰
Посмотреть ОригиналОтветить0
  • Закрепить