Tafsiran Teka-teki Sintesis algoritma terbaru Aleo: Menerajui revolusi privasi Web3

Aleo ialah projek blockchain yang memfokuskan pada perlindungan privasi, mencapai privasi dan kebolehskalaan yang lebih tinggi melalui teknologi kalis pengetahuan sifar (ZKP). Idea teras Aleo adalah untuk membolehkan pengguna mengesahkan dan memproses data tanpa mendedahkan data peribadi mereka. Artikel ini terutamanya memperkenalkan garis besar projek dan kemajuan terkini Aleo, dan memberikan penjelasan terperinci tentang kemas kini algoritma teka-teki yang amat membimbangkan pasaran. Pratonton algoritma terkini;) Rangkaian TLDRAleo secara rawak menjana litar ZK setiap jam pelombong perlu mencuba nonce yang berbeza sebagai input litar pada jam ini untuk mengira saksi (iaitu, semua pembolehubah dalam litar, proses pengiraan ini; juga dipanggil synthesisize), selepas mencari akar Merkle untuk saksi, tentukan sama ada ia memenuhi keperluan kesukaran perlombongan. Oleh kerana litar rawak, algoritma perlombongan ini tidak mesra GPU dan mempunyai kesukaran yang besar dalam pengiraan pecutan. Latar belakang pembiayaan Aleo menyelesaikan pembiayaan Siri A AS$28 juta yang diterajui oleh a16z pada 2021, dan pembiayaan Siri B AS$200 juta pada 2024. Pelabur termasuk Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures dan Samsung Next, dalam kalangan yang lain. Pusingan pembiayaan bernilai Aleo pada $1.45 bilion. Privasi Gambaran Keseluruhan Projek Teras Aleo ialah teknologi bukti sifar pengetahuan (ZKP), yang membolehkan transaksi dan pelaksanaan kontrak pintar dilakukan sambil mengekalkan privasi. Butiran transaksi pengguna, seperti pengirim dan jumlah transaksi, disembunyikan secara lalai. Reka bentuk ini bukan sahaja melindungi privasi pengguna, tetapi juga membenarkan pendedahan terpilih apabila perlu, yang sangat sesuai untuk pembangunan aplikasi DeFi. Komponen utamanya termasuk: Bahasa kompilasi Leo: disesuaikan daripada bahasa Rust dan digunakan khusus untuk membangunkan aplikasi pengetahuan sifar (ZKApps), mengurangkan keperluan pembangun untuk pengetahuan kriptografi. snarkVM dan snarkOS: snarkVM membenarkan pengiraan dilakukan di luar rantaian dan hanya hasil pengiraan disahkan pada rantaian, sekali gus meningkatkan kecekapan. snarkOS memastikan keselamatan data dan pengiraan serta membenarkan pelaksanaan fungsi tanpa kebenaran. zkCloud: Menyediakan persekitaran pengkomputeran luar rantaian yang selamat dan peribadi, menyokong interaksi pengaturcaraan antara pengguna, organisasi dan DAO. Aleo juga menyediakan persekitaran pembangunan bersepadu (IDE) dan kit pembangunan perisian (SDK) untuk menyokong pembangun menulis dan menerbitkan aplikasi dengan cepat di samping itu, pembangun boleh menggunakan aplikasi dalam pendaftaran program Aleo tanpa bergantung kepada pihak ketiga, yang memudahkan Risiko platform dikurangkan; . Skalabiliti Aleo menggunakan kaedah pemprosesan luar rantaian Transaksi pertama dikira pada peranti pengguna dan kemudian hanya hasil pengesahan dimuat naik ke rantaian blok. Kaedah ini sangat meningkatkan kelajuan pemprosesan transaksi dan skalabiliti sistem, dan mengelakkan kesesakan rangkaian dan yuran yang tinggi serupa dengan Ethereum. Mekanisme konsensus Aleo memperkenalkan AleoBFT, mekanisme konsensus seni bina hibrid yang menggabungkan muktamad segera pengesah dan kuasa pengkomputeran prover. AleoBFT bukan sahaja meningkatkan desentralisasi rangkaian, tetapi juga meningkatkan prestasi dan keselamatan. Penamatan blok pantas: AleoBFT memastikan setiap blok disahkan serta-merta selepas penjanaan, meningkatkan kestabilan nod dan pengalaman pengguna. Jaminan desentralisasi: Dengan mengasingkan pengeluaran blok daripada penjanaan coinbase, pengesah bertanggungjawab untuk menjana blok dan prover melakukan pengiraan bukti untuk menghalang beberapa entiti daripada memonopoli rangkaian. Mekanisme insentif: Pengesah dan pengesah berkongsi ganjaran blok; pengesah digalakkan untuk menjadi pengesah dengan mencagarkan token, dengan itu meningkatkan kuasa penyahpusatan dan pengkomputeran rangkaian. Aleo membenarkan pembangun mencipta aplikasi yang tidak terikat dengan gas, menjadikannya sangat sesuai untuk aplikasi yang berjalan lama seperti pembelajaran mesin. Kemajuan Semasa Aleo akan melancarkan testnet insentif pada 1 Julai, berikut ialah beberapa maklumat terkini yang penting: ARC-100 Diundi lulus: ARC-100 (cadangan "Amalan Terbaik Pematuhan untuk Pembangun dan Operator Aleo", yang melibatkan pematuhan Dari segi peraturan, langkah keselamatan seperti mengunci dan melewatkan ketibaan dana pada rangkaian Aleo, pengundian telah ditamatkan dan diluluskan. Pasukan sedang membuat pelarasan akhir. Program Insentif Pengesah: Program ini akan dilancarkan pada 1 Julai untuk mengesahkan mekanisme teka-teki baharu. Program ini akan berlangsung sehingga 15 Julai, di mana 1 juta mata Aleo akan diagihkan sebagai ganjaran. Peratusan mata yang dijana oleh nod akan menentukan bahagian ganjarannya, dengan setiap pengesah perlu memperoleh sekurang-kurangnya 100 token untuk menerima ganjaran. Butiran khusus masih belum dimuktamadkan. Pembekalan Awal dan Pembekalan Edaran: Pembekalan awal ialah 1.5 bilion token dan bekalan edaran awal adalah kira-kira 10% (belum dimuktamadkan). Token, yang datang terutamanya daripada misi Coinbase (75 juta), akan diedarkan dalam tempoh enam bulan pertama dan termasuk ganjaran untuk staking, menjalankan validator dan mengesahkan nod. Tetapan Semula Beta Testnet: Ini ialah tetapan semula rangkaian terakhir, tiada ciri baharu akan ditambah apabila selesai dan rangkaian akan serupa dengan mainnet. Tetapkan semula untuk menambah ARC-41 dan fungsi teka-teki baharu. Pembekuan Kod: Pembekuan kod telah selesai seminggu yang lalu. Pelan pengembangan nod pengesahan: Bilangan awal nod yang mengesahkan ialah 15, dengan matlamat meningkat kepada 50 dalam setahun dan akhirnya mencapai 500. Ia memerlukan 10,000 token untuk menjadi pewakil dan 10 juta token untuk menjadi pengesah, dan jumlah ini akan berkurangan secara beransur-ansur dari semasa ke semasa.

Tafsiran kemas kini algoritma

Walaupun Aleo baru-baru ini mengumumkan berita testnet terbaharu, ia juga mengemas kini versi terkini algoritma teka-teki Algoritma baharu tidak lagi memfokuskan pada penjanaan hasil kalis zk, dan telah mengalih keluar MSM dan NTT (kedua-duanya banyak digunakan dalam zk. penjanaan bukti). Modul pengiraan (sebelum ini digunakan oleh peserta testnet untuk mengoptimumkan kecekapan algoritma untuk meningkatkan hasil perlombongan) pengiraan tertumpu kepada penjanaan saksi data perantaraan sebelum menjana bukti. Kami akan memberikan pengenalan ringkas kepada algoritma terkini selepas merujuk kepada spesifikasi dan kod teka-teki rasmi.

Proses konsensus

Di peringkat protokol konsensus, prover dan validator dalam proses masing-masing bertanggungjawab untuk menjana penyelesaian hasil pengiraan dan menjana blok, mengagregat dan membungkus penyelesaian. Prosesnya adalah seperti berikut:

1. Prover mengira teka-teki untuk membina penyelesaian dan menyiarkannya ke rangkaian
2. Validator mengagregatkan transaksi dan penyelesaian ke dalam blok baharu seterusnya, memastikan bilangan penyelesaian tidak melebihi had konsensus (MAX_SOLUTIONS)
3. Kesahihan penyelesaian perlu disahkan Epoch_hash mematuhi terbaharu_epoch_hash yang diselenggara oleh pengesah, dan bukti_sasaran yang dikira mematuhi sasaran_bukti_terkini yang dikekalkan oleh pengesah dalam rangkaian Pada masa yang sama, bilangan penyelesaian yang terkandung dalam blok adalah kurang daripada had konsensus
4. Penyelesaian yang berkesan boleh memperoleh ganjaran konsensus

Synthesis Puzzle

Versi terbaharu Inti algoritma dipanggil Synthesis Puzzle litar bukti untuk input dan EpochProgram, tugasan R1CS yang sepadan (iaitu, saksi yang disebut oleh semua orang) dijana dan digunakan sebagai nod daun pokok Merkle , selepas mengira semua nod daun, akar Merkle dijana dan ditukar menjadi bukti_sasaran penyelesaian. Proses dan spesifikasi terperinci untuk membina Teka-teki Sintesis adalah seperti berikut:

1. Setiap pengiraan teka-teki dipanggil nonce, yang dibina daripada alamat yang menerima ganjaran perlombongan, epoch_hash dan pembilang nombor rawak. Ia boleh dikemas kini setiap kali baru penyelesaian perlu dikira. Kaunter memperoleh nonce baharu

2. Dalam setiap zaman, EpochProgram yang perlu dikira oleh semua prover dalam rangkaian adalah sama daripada arahan yang ditetapkan oleh nombor rawak yang dijana oleh epoch_hash semasa . Logik pensampelan ialah:

   • Set arahan adalah Tetap, setiap arahan mengandungi satu atau lebih operasi pengiraan Setiap arahan mempunyai berat pratetap dan kiraan operasi nombor rawak diperolehi daripada set arahan digabungkan dengan berat. input EpochProgram
   • Agregat R1CS dan input yang sepadan dengan EpochProgram, dan lakukan saksi (tugasan R1CS) Kira
   • Selepas semua saksi dikira, saksi ini akan ditukar menjadi jujukan nod daun pokok merkle yang sepadan ialah pokok 8-elemen K-ary Merkle dengan kedalaman 8
   Kira akar merkle dan tukarkannya kepada sasaran_bukti penyelesaian, tentukan sama ada ia memenuhi sasaran_bukti terkini zaman semasa Jika ia menepati pengiraan, pengiraan berjaya . Serahkan alamat ganjaran, epoch_hash dan kaunter yang diperlukan untuk membina input di atas sebagai penyelesaian dan siaran
3. Dalam zaman yang sama, EpochProgram boleh dikemas kini dengan mengulangi kaunter Masukkan pengiraan penyelesaian berbilang
4. Perubahan dan kesan perlombongan
5. .
6. Selepas kemas kini ini, teka-teki telah berubah daripada menjana bukti kepada menjana saksi Semua logik pengiraan penyelesaian dalam setiap zaman adalah konsisten, tetapi logik pengiraan zaman yang berbeza adalah Perbezaan besar.
7. Daripada rangkaian ujian sebelumnya, kami dapati bahawa banyak kaedah pengoptimuman tertumpu pada penggunaan GPU untuk mengoptimumkan pengiraan MSM dan NTT dalam peringkat penjanaan bukti, dengan itu meningkatkan kecekapan perlombongan. Kemas kini ini sepenuhnya meninggalkan bahagian pengiraan ini pada masa yang sama, kerana proses penjanaan saksi dihasilkan dengan melaksanakan program yang mengikuti perubahan zaman, arahan di dalamnya akan mempunyai beberapa kebergantungan pada pelaksanaan bersiri, jadi mencapai penyelarasan adalah satu cabaran besar.

Atas ialah kandungan terperinci Tafsiran Teka-teki Sintesis algoritma terbaru Aleo: Menerajui revolusi privasi Web3. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!