Miden tidak berusaha menjadi hanya rantai yang lebih cepat lainnya. Ini adalah pemikiran ulang tentang cara baru untuk membangun blockchain untuk penggunaan dunia nyata. Dengan memindahkan eksekusi dan status ke perangkat pengguna dan menggunakan bukti tanpa pengetahuan, Miden menjanjikan throughput tinggi, privasi bawaan, dan pengalaman pengguna yang lebih aman semua tanpa membuat pengembang belajar model yang benar-benar baru.

Di bawah ini adalah gambaran jelas, orang ketiga tentang apa itu Miden, mengapa itu penting, dan bagaimana bagian intinya saling terkait.

Apa itu Miden ?

Miden menyebut dirinya sebagai blockchain tepi. Itu berarti sebagian besar perhitungan terjadi di tepi pada ponsel atau komputer pengguna bukan di setiap simpul dalam jaringan. Pengguna menjalankan transaksi mereka secara lokal, membuat bukti kriptografis bahwa pekerjaan telah dilakukan dengan benar, dan kemudian mengirimkan bukti itu ke rantai. Jaringan memverifikasi bukti tersebut alih-alih mengulang seluruh perhitungan.

Perubahan sederhana ini mengurangi pekerjaan untuk validator, membuat privasi lebih mudah, dan memungkinkan banyak transaksi berjalan sekaligus. Hasilnya: kinerja yang lebih baik, biaya yang lebih rendah, dan transaksi pribadi secara default.

Sebuah cerita asal yang singkat

Miden dimulai di dalam Polygon Labs melalui program AggLayer Breakout. Kemudian, proyek ini berkembang menjadi proyek independen yang didukung oleh putaran pendanaan awal sebesar $25 juta yang dipimpin oleh investor kripto besar. Tim ini mencakup insinyur dan kriptografer dengan pengalaman di tempat-tempat seperti Meta dan proyek Ethereum. Latar belakang ini membantu menjelaskan fokus Miden pada keamanan, pengalaman pengembang, dan privasi praktis.

Ide Utama

  • Bukti sisi klien: Pengguna mengeksekusi dan membuktikan transaksi secara lokal menggunakan bukti nol-pengetahuan. Rantai hanya perlu memverifikasi bukti tersebut.

  • Akun pribadi dan publik: Akun dapat sepenuhnya onchain atau pribadi offchain dengan sedikit komitmen onchain. Itu memungkinkan pengguna menyimpan saldo tersembunyi sambil tetap membuktikan kebenaran.

  • Setiap akun adalah cerdas: Akun dapat berisi kode, sehingga dompet dapat diprogram secara default. Itu memungkinkan fitur seperti pemulihan sosial, batas pengeluaran, dan UX yang lebih aman.

  • Catatan (unit mirip UTXO): Transaksi Miden menggunakan catatan yang bertindak seperti niat onchain - mereka bisa privat atau publik dan dibelanjakan melalui skrip.

  • Model hibrida: Kontrak publik masih ada untuk status bersama (seperti AMM), tetapi banyak interaksi tidak perlu menyentuh status publik itu, berkat desain asinkron.

Miden VM

Miden VM adalah mesin yang menjalankan kode yang dapat dibuktikan dengan bukti nol-pengetahuan. Poin kunci:

  • Ini adalah Turing-complete, jadi pengembang dapat mengekspresikan logika kompleks.

  • Ini dirancang untuk dapat dibuktikan secara efisien: program yang dikompilasi untuk berjalan di VM dapat dibuktikan dengan bukti ZK yang ringkas.

  • Pengembang menulis kode dalam bahasa yang dikompilasi ke WebAssembly (Wasm), dengan Rust sebagai target utama karena aman dan dikenal banyak pembangun.

  • Untuk perangkat dengan daya rendah, Miden mendukung pembuktian yang didelegasikan: sebuah layanan yang dipercaya (atau diizinkan) dapat menghasilkan kerja bukti berat sementara pengguna mempertahankan kontrol dan jaminan privasi.

Percayalah, Miden VM memungkinkan program kompleks berjalan secara lokal, kemudian menghasilkan bukti yang dapat diperiksa jaringan dengan cepat.

STARK vs SNARK - mengapa Miden memilih bukti mirip STARK

Bukti nol-pengetahuan datang dalam berbagai jenis. Dua nama umum adalah SNARK dan STARK. Berikut cara mereka berbeda:

  • Pengaturan terpercaya:

    • SNARK sering membutuhkan “pengaturan terpercaya” sebuah upacara awal. Jika pengaturan itu terkompromi, keamanan berada dalam risiko.

    • STARK tidak memerlukan pengaturan terpercaya. Itu membuatnya lebih sederhana dan lebih aman dalam hal itu.

  • Kriptografi dan perlindungan masa depan:

    • SNARK menggunakan matematika kurva elips dan kurang tahan terhadap serangan kuantum di masa depan.

    • STARK berbasis hash, yang lebih tahan terhadap ancaman kuantum.

  • Ukuran bukti dan verifikasi:

    • Bukti SNARK biasanya lebih kecil; bukti STARK bisa lebih besar.

    • Verifikasi STARK cepat dan skala dengan baik saat menangani banyak transaksi.

Miden mengandalkan sifat gaya STARK untuk transparansi, ketahanan kuantum, dan desain yang diminimalkan kepercayaan - menukar ukuran bukti yang lebih besar untuk jaminan jangka panjang yang lebih kuat dan pengaturan yang lebih sederhana.

Mengapa ini penting bagi pembangun dan institusi

  • Pengembang dapat membangun aplikasi privat yang kompleks tanpa biaya gas yang besar atau bahasa baru yang aneh. Alat berbasis Rust dan Wasm mengurangi gesekan.

  • Pengguna akhir mendapatkan dompet yang lebih aman (pemulihan sosial, batasan laju), saldo pribadi, dan onboarding yang sederhana.

  • Institusi mendapatkan cara untuk menjalankan keuangan yang mematuhi, privat di rantai - pikirkan manajemen dana pribadi, penggajian rahasia, atau perdagangan OTC yang tetap dapat diaudit tanpa paparan publik.

Di mana Miden berdiri sekarang

Miden pindah dari inkubasi Polygon ke proyek independen dengan pendanaan yang kuat dan momentum publik. Ini meluncurkan fitur testnet seperti catatan pribadi, multisig, dan onboarding yang didukung oleh Para (email/SMS/login passkey). Kemitraan untuk tumpukan privasi dan alat pengembang - bertujuan untuk membuat adopsi produksi lebih lancar.

Kasus penggunaan yang bersinar di Miden

  • DeFi privat: pertukaran rahasia, kolam likuiditas pribadi, dan manajemen dana.

  • Keuangan institusional: penyelesaian pribadi, aset ter-tokenisasi, dan penggajian yang aman.

  • Aplikasi pribadi komposabel: dompet pribadi yang berinteraksi dengan DEX publik atau orakel secara mulus.

  • Aplikasi berat komputasi tepi: bukti inferensi AI, logika permainan, atau pencocokan pesanan kompleks yang dilakukan secara lokal.

Poin penting

Miden mengubah tempat kerja dalam blockchain. Dengan memindahkan eksekusi dan status ke perangkat pengguna dan mengandalkan bukti nol-pengetahuan yang kuat, ia mengatasi tiga masalah besar yang telah memperlambat adopsi blockchain secara luas: skala, privasi, dan keamanan. Logika akun bawaan membuat dompet lebih pintar dan lebih aman. Bukti gaya STARK memberikan tulang punggung kriptografi yang diminimalkan kepercayaan dan tahan masa depan.

Jika privasi dan skala adalah gerbang untuk adopsi institusional, Miden sedang membangun jembatan. Saksikan ruang ini - era tepi dari blockchain sedang datang, dan Miden bertujuan untuk berada di jantungnya.

#Miden