Un nuevo layer de ejecución diseñado en torno a las pruebas ZK, conozcamos Miden - Parte 2. Miden VM y pruebas del lado del cliente Como mencionó Hyojin Choi (@Maxi_cho), @0xMiden no es un simple proyecto ZK. Si en la parte 1 analizamos por qué Miden es necesario, en esta ocasión explicaremos cómo funciona su motor central, Miden VM, acompañado de un breve ejemplo. -------- Cuando hacemos un examen, recibimos el examen, papel para resolver problemas, y una tarjeta OMR. Podemos resolver problemas directamente en el examen, pero, como el espacio es limitado y incómodo, es difícil escribir libremente fórmulas complejas o procesos de pensamiento. Por eso, recibimos papel para resolver problemas por separado y resolvemos los problemas desarrollando las fórmulas a nuestro antojo. Este proceso es para resolver correctamente los problemas, no es para mostrar a alguien. Al finalizar el examen, no entregamos el papel de resolución o todos los procesos de cálculo. ...