Pertama kali mengetahui @0xMiden, saya memperhatikan sebuah detail:

Ini tidak berpegang teguh pada "memindahkan semuanya ke dalam rantai".

Dalam desain @0xMiden, eksekusi terjadi di sisi klien, hanya rantai yang melakukan verifikasi.
Dengan kata lain, rantai tidak lagi menjadi pekerja keras, melainkan wasit.

Struktur ini secara alami cocok untuk bukti nol pengetahuan, dan juga membuat privasi bukan lagi opsi tambahan, melainkan kemampuan default.
Anda membuktikan bahwa Anda melakukan hal yang benar, tetapi tidak perlu menyerahkan bagaimana Anda melakukannya.

Dari intuisi teknis, model ini jauh lebih elegan daripada sekadar mengumpulkan kekuatan komputasi.
@0xMiden menyelesaikan masalah struktur sistem, bukan masalah parameter.