Hmm, ma guardando il ranking di Miden sembra che ci siano più utenti Hardcore che Casual? Quindi, significa che c'è una maggiore proporzione di utenti che contribuiscono realmente, interpretano e sono più coinvolti, piuttosto che persone che chiacchierano leggermente? -> @0xMiden, dovrò scrivere un po' più in profondità. Fino ad ora sembrava un po' fortuna? Fortuna da principiante? In ogni caso, sembra che la natura stessa sia più orientata verso l'Infra Layer tecnico piuttosto che verso dAPP. ----- Allora, proviamo a creare un campione di Hardcore di @0xMiden (che nessuno leggerà...) Cosa rende Miden diverso dagli zkVM esistenti? La maggior parte degli zkVM si concentra sulla prova del VM esistente in zk -> l'esecuzione è off-chain -> la prova viene generata successivamente Miden è un "VM progettato con la prova come presupposto" fin dall'inizio. La differenza è semplice: Gli zkVM esistenti fanno operazioni generali -> prova pesante Miden fa operazioni amichevoli a STARK -> costo di prova minimizzato Sembra che zk non sia un'opzione ma un valore predefinito? Per dirlo in modo ancora più semplice, se gli zkVM esistenti provano il calcolo in Zk, @0xMiden riprogetta il calcolo assumendo ZK. Per dirlo in modo ancora più semplice,...