Une nouvelle couche d'exécution conçue autour des preuves ZK, Découvrons Miden - Partie 2. Miden VM et preuves côté client Comme l'a mentionné Hyojin Choi (@Maxi_cho), @0xMiden n'est pas un simple projet ZK. Si nous avons examiné pourquoi Miden est nécessaire dans la première partie, cette fois, nous allons expliquer comment fonctionne le moteur central, Miden VM, avec un bref exemple. -------- Lorsque nous passons un examen, nous recevons une feuille d'examen, du papier pour résoudre les problèmes, et une carte OMR. Nous pouvons résoudre les problèmes directement sur la feuille d'examen, mais, comme l'espace est étroit et inconfortable, il est difficile d'écrire librement des formules complexes ou des processus de réflexion. C'est pourquoi nous recevons du papier pour résoudre les problèmes séparément, et nous développons les formules à notre guise pour résoudre les problèmes. Ce processus est destiné à résoudre correctement les problèmes, et non à être montré à quelqu'un. À la fin de l'examen, nous ne soumettons pas le papier de résolution des problèmes ou tous les processus de calcul. Au lieu de cela, nous ne soumettons que les réponses sur la carte OMR. ...