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