Hmm, pero al ver el ranking de Miden parece que hay más Hardcore que Casual, ¿no? Entonces, ¿significa que hay una mayor proporción de usuarios que realmente contribuyen, interpretan y están más involucrados que de aquellos que solo charlan de manera ligera? -> @0xMiden, tendré que escribir un poco más en profundidad. Hasta ahora ha sido un poco de suerte, ¿quizás? ¿La suerte de un principiante? Parece que, de alguna manera, la naturaleza misma se inclina más hacia la capa de infraestructura técnica que hacia dAPP. ----- Entonces, hagamos un ejemplo de Hardcore para @0xMiden (que nadie leerá...) ¿Qué diferencia hay entre Miden y los zkVM existentes? La mayoría de los zkVM se centran en probar el VM existente como zk -> la ejecución es off-chain -> la prueba se genera posteriormente Miden es un "VM diseñado desde el principio con la prueba como premisa" La diferencia es simple: los zkVM existentes realizan operaciones generales -> prueba pesada Miden realiza operaciones amigables con STARK -> minimiza el costo de prueba ¿La zk no es una opción, sino un valor predeterminado? Dicho de manera más sencilla: si el zkVM existente prueba la computación como Zk, @0xMiden rediseña la computación asumiendo ZK como premisa. Dicho de manera aún más sencilla:...