Contenido del curso

Introducción

Teoría de Máquinas Computacionales

Ethereum Virtual Machine

Solidity Decompiling

Platzi Virtual Machine

Conclusión

Tomar examen

Construyendo un bytecode básico

Comentarios

Ernesto García

teacher•

Fun fact:

Como 5b es un destinto válido siempre que esté dentro del bytecode, de acuerdo al yellow paper, es posible saltar fuera de los boundries de un código en Solidity.

Esto porque el metadata hash puede contener 5b.

¿Qué es el metadata hash? Hablaremos de eso en la clase 20 👨🏻‍💻

Ernesto García

teacher•

Recuerden que calldata , al ser el input de la EVM, también es el input de Solidity.

Lo que hicimos acá es equivalente a lo siguiente:

function loop(uint256 n) public pure {
  for(uint256 i = n; i <= 0; i---) ...
}

¿Les es familiar string calldata vs string memory?

El primero usa lo que viene directamente en calldata, y el otro lo pasa a memoria y luego lo entrega en el parámetro de una función.

¿Diferencias? calldata es inmutable en runtime, memory no.

Rafael Molina

student•

0x0B - 3 = 8 no? El push del final no deberia ser PUSH1 0x02?

José Manuel Piña Rodríguez

student•

Correcto, pero hay un error en la pantalla, si ves el OPCODE 10 no toma los dos espacios que corresponde cuando usa el mnemonic PUSH1 0x03, es decir, la sentencia PC deberia tener el OPCODE 12 PC y seguidamente 13 SUB.

Mateo Santiago Zapata Maldonado

student•

al video de atras, a la animación, le faltaron detalles SERIOS y hace que uno se pierda.

Facundo Esteban Gasco

student•

Recoimendo aprender como trabajar con numeros hexadecimales para entender todo bien

Mateo Santiago Zapata Maldonado

student•

El JUMPDEST se coloca para evitar que la EVM se haga indeterminista, ya que podria saltar a cualquier lado y generar excepciones.

La EVM es determinista, lo que significa que siempre debe producir los mismos resultados para un conjunto dado de entradas.

Mateo Santiago Zapata Maldonado

student•

En el momento de Ejecutar una Función de un contrato (por ejemplo sumar dos valores) por medio de una billetera, internamente la metadata de la transacción contiene:

La dirección del contrato a ejecutar.
La data que viene contiene la firma de la función y parametros, viene en una secuencia de bytes donde la longitud varia de acuerdo a la función y parametros involucrados, el primer segmento de 4 bytes del hash keccak-256 del nombre y los tipos de parametros y luego los valores de los parametros codificados.
Limite del gas.
Cuanto ether se necesita y si es necesario.

Cuando llega a los nodos de ethereum, ejecutan la transacción, llaman al contrato, llaman a la función de ese contrato y le permiten acceder a la memoria temporal de la EVM que es donde se almacenan los valores de los parametros enviados en el calldata y solo se le permite acceder en el ambito de la ejecución de esa funcion.

Cuando ya se termina la ejecución de ese contrato, la memoria temporal elimina esos datos y desaparecen.

Introducción

Conociendo la máquina virtual de Ethereum

Presentación del Proyecto: Tu propia Virtual Machine

Teoría de Máquinas Computacionales

Máquinas computacionales

Autómata Finito Determinista

Máquina de Turing

Arquitectura x86 y Assembly

Máquinas virtuales

Compiladores y organización de CPU

Ethereum Virtual Machine

Arquitectura de la EVM

Ethereum Virtual Machine: Fundamentos y Aplicaciones

Ethereum Virtual Machine Instruction Set

Opcodes de la Máquina Virtual de Ethereum (EVM)