Hoje tentei olhar para a ideia do zkVM que era nova para mim e percebi que na verdade não é tão complexa quanto parece.

Uma zkVM é como um computador que pode provar que fez seu trabalho corretamente.

Ele executa o seu código, obtém uma resposta e, em seguida, faz uma prova de que fez tudo corretamente. Para verificar, você não precisa fazer tudo de novo. Você apenas verifica a prova.

Isto torna as coisas rápidas. Além disso, mantém os segredos seguros porque a prova não mostra todos os pequenos passos que foram necessários para chegar à resposta.

@0xMiden é construído com essa ideia e eles são a razão pela qual desenvolvi interesse no zkVM. Miden usa um zkVM para fazer cálculos e transformá-los em provas que a rede pode verificar rapidamente.

Isso permite que as pessoas executem coisas grandes e complicadas sem entupir a rede principal, mas ainda provem que foi feito corretamente. Alivia a carga e mantém todo o sistema funcionando.

Isso também ajuda o Miden a manter as coisas privadas. Você pode provar que fez algo sem mostrar nenhuma das informações secretas envolvidas.

É uma maneira interessante de manter a privacidade e a verificabilidade ao mesmo tempo.