Hmm, mais en regardant le classement de Miden, il semble qu'il y ait généralement plus de Hardcore que de Casual, non ? Donc, cela signifie qu'il y a une plus grande proportion d'utilisateurs réellement engagés, qui contribuent et interprètent, plutôt que de simples bavards ? -> @0xMiden, il va falloir que j'écrive un peu plus en profondeur. Jusqu'à présent, c'était un peu de la chance ? La chance d'un débutant ? Il semble que la nature même soit plus orientée vers l'Infra Layer technique que vers dAPP. ----- Alors, faisons un échantillon de Hardcore pour @0xMiden (Personne ne va le lire...) Qu'est-ce qui différencie Miden des zkVM existants ? La plupart des zkVM se concentrent sur la preuve des VM existantes en zk -> Exécution hors chaîne -> Preuve générée a posteriori Miden est un "VM conçu sur la base de la preuve dès le départ" La différence est simple Les zkVM existants font des opérations générales -> Preuve lourde Miden fait des opérations compatibles avec STARK -> Coût de preuve minimisé On a l'impression que zk n'est pas une option mais une valeur par défaut ? Pour le dire encore plus simplement Si les zkVM existants prouvent le calcul en Zk, @0xMiden redessine le calcul en supposant ZK. Pour le dire encore plus plus simplement Si les zkVM existants font d'abord le travail et prennent une photo de la preuve plus tard, Miden conçoit le travail de manière à ce que la preuve soit automatiquement laissée dès le départ....