De conciliação com o cofundador da Ethereum, Vitalik Buterin, o conjunto de instruções reduzido Computing V (RISC-V) é um elemento significativo na máquina virtual Ethereum (EVM). Buterin observou que o conjunto de instruções de código desobstruído é crucial no roteiro de verificação formal de prova de validade existente.
você deveria falar com @alexanderlhicks, uma grande segmento do roteiro de verificação formal de prova de validade existente é fazer uma implementação verificada do EVM no RISC-V
-vitalik.eth (@VitalikButerin) 27 de outubro de 2024
O cofundador da Ethereum reconheceu isso ao responder a um desenvolvedor de blockchain que solicitou sua permissão para trabalhar em um vista do EVM. O desenvolvedor propôs que a ergástulo de beacons do Ethereum executasse o RISC-V e executasse o EVM nele. De conciliação com o desenvolvedor, isso “faria muito sentido”. Buterin encaminhou o desenvolvedor para Alexander Hicks, um membro da equipe Ethereum que trabalha com certificação formal e IA.
Relacionado: A visão de Ethereum Vitalik Buterin para transações criptográficas fáceis de usar ganha impulso
Enquanto isso, o desenvolvedor citou o EVM de Buterin porquê o mais econômico, com maior risco de realização. Portanto, ele propôs gerenciar o projeto e introduzir o RISC-V na ergástulo de beacon antes de executar o EVM na ergástulo modificada.
É importante notar que RISC-V é uma arquitetura de conjunto de instruções de código desobstruído baseada em princípios de computador de conjuntos de instruções reduzidos estabelecidos. O protocolo permite a implementação por qualquer pessoa, inclusive aqueles sem licença. O papel fundamental do RISC-V na computação é ditar porquê um processador executa instruções, com uma arquitetura de conjunto de instruções definindo a interface entre software e hardware.
Notavelmente, o RISC-V enfatiza a simplicidade e eficiência na realização de instruções. Portanto, facilita o design simplificado do chip, reduz a dificuldade e permite uma otimização mais direta das interações de hardware e software.
Relacionado: Vitalik Buterin pede protocolo padronizado para preencher a vazio da categoria 2 do Ethereum
Depois de receber a aprovação de Buterin e notar sua sinceridade para melhorar a rede Ethereum, o desenvolvedor acrescentou à sua proposta inicial. Ele sugeriu reavaliar a categoria de realização (EL) do Ethereum e mudar a forma porquê ela funcionaria. De conciliação com o desenvolvedor, isso poderia envolver um processo simplificado de encapsulamento do QEMU na API do mecanismo.
Isenção de responsabilidade: As informações apresentadas neste item são unicamente para fins informativos e educacionais. O item não constitui aconselhamento financeiro ou de qualquer tipo. A Coin Edition não se responsabiliza por quaisquer perdas incorridas porquê resultado da utilização do teor, produtos ou serviços mencionados. Os leitores são aconselhados a ter cautela antes de tomar qualquer ação relacionada à empresa.
