Camada de execução nova projetada em torno de provas ZK, Conheça o Miden - Parte 2. Miden VM e provas do lado do cliente Como mencionado por Hyojin Choi (@Maxi_cho), @0xMiden não é apenas um projeto ZK simples. Se na Parte 1 analisamos por que o Miden é necessário, nesta vez, vamos explicar como o motor central, o Miden VM, funciona, com um exemplo breve. -------- Quando fazemos um exame, recebemos a folha de perguntas, papel para resolução, e o cartão OMR juntos. Podemos resolver as questões diretamente na folha de perguntas, mas, como o espaço é pequeno e desconfortável, é difícil escrever livremente fórmulas complexas ou processos de pensamento. Portanto, recebemos papel para resolução separadamente e resolvemos as questões desenvolvendo as fórmulas à vontade. Esse processo é para resolver as questões corretamente, e não para mostrar a alguém. Após o exame, não entregamos o papel de resolução ou todos os processos de cálculo. ...