Een nieuwe uitvoeringslaag ontworpen rond ZK-bewijzen, Laten we Miden verkennen - Deel 2. Miden VM en client-side bewijzen Zoals Hyojin Choi (@Maxi_cho ) zei, @0xMiden is niet zomaar een ZK-project. Als we in deel 1 hebben gekeken naar waarom Miden nodig is, dan zullen we deze keer uitleggen hoe de kernmotor, de Miden VM, werkt, met een korte voorbeeld. -------- Wanneer we een examen maken, ontvangen we een examenblad, een papier voor het oplossen van problemen, en een OMR-kaart. We kunnen de vragen direct op het examenblad oplossen, maar, vanwege de beperkte ruimte en ongemak is het moeilijk om complexe formules of denkprocessen vrijelijk op te schrijven. Daarom ontvangen we apart papier voor het oplossen van problemen waarop we vrijuit formules kunnen ontwikkelen en de vragen kunnen oplossen. Dit proces is bedoeld om de vragen goed op te lossen, niet om het aan iemand te laten zien. Na het examen dienen we het papier voor het oplossen van problemen of alle berekeningen niet in. ...