Un nuovo layer di esecuzione progettato attorno alle prove ZK, Scopri Miden - Parte 2. Miden VM e prove lato client Come ha detto Hyojin Choi (@Maxi_cho), @0xMiden non è un semplice progetto ZK. Se nella Parte 1 abbiamo esaminato perché Miden è necessario, questa volta spiegheremo come funziona il suo motore principale, Miden VM, con un breve esempio. -------- Quando facciamo un esame, riceviamo un foglio d'esame, un foglio per risolvere i problemi, e una scheda OMR. Possiamo risolvere i problemi direttamente sul foglio d'esame, ma, poiché lo spazio è limitato e scomodo, è difficile scrivere liberamente formule complesse o processi di pensiero. Quindi riceviamo un foglio per risolvere i problemi separatamente e risolviamo i problemi espandendo liberamente le formule. Questo processo è per risolvere correttamente i problemi, non per mostrarlo a qualcuno. Alla fine dell'esame, non consegniamo il foglio di risoluzione dei problemi o tutti i passaggi di calcolo. Invece, controlliamo solo le risposte sulla scheda OMR e la consegniamo. ...