Apakah Projek Perlindungan Privasi Aleo Blockchain? Tafsiran komprehensif terkini Aleo

Apakah itu Projek Privasi Aleo Blockchain? Tafsiran komprehensif terkini Aleo! Aleo ialah projek blockchain yang memfokuskan pada perlindungan privasi, mencapai privasi dan skalabiliti yang lebih tinggi melalui teknologi bukti pengetahuan sifar (ZKP). Idea teras Aleo adalah untuk membolehkan pengguna mengesahkan dan memproses data tanpa mendedahkan data peribadi mereka. Jadi apakah projek perlindungan privasi blockchain Aleo? Apakah ciri-ciri projek perlindungan privasi blockchain Aleo? Apakah kemajuan semasa projek perlindungan privasi blockchain Aleo?

Hari ini, editor laman web ini memperkenalkan kepada anda garis besar dan kemajuan terkini projek Aleo, dan memberikan penjelasan terperinci tentang kemas kini algoritma teka-teki yang amat membimbangkan pasaran. Rakan-rakan yang memerlukan boleh lihat bersama!

Pratonton algoritma terkini

Rangkaian Aleo menjana litar ZK secara rawak setiap jam; pelombong perlu mencuba nonce yang berbeza sebagai input litar pada jam ini, dan mengira saksi (iaitu, semua pembolehubah dalam litar, pengiraan ini Proses ini juga dipanggil synthesisize). Selepas mendapat akar Merkle untuk saksi, ia dinilai 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, antara lain. Pusingan pembiayaan bernilai Aleo pada $1.45 bilion.

Tinjauan Keseluruhan Projek

Privasi

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 khas 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 program 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 pantas selain itu, pembangun boleh menggunakan aplikasi dalam pendaftaran program Aleo tanpa bergantung kepada pihak ketiga, sekali gus mengurangkan platform; risiko.

Skalabiliti

Aleo menggunakan kaedah pemprosesan luar rantaian Transaksi pertama dikira pada peranti pengguna untuk membuktikannya, dan kemudian hanya hasil pengesahan dimuat naik ke rantaian blok. Pendekatan ini sangat meningkatkan kelajuan pemprosesan transaksi dan skalabiliti sistem, dan mengelakkan kesesakan rangkaian dan bayaran yang tinggi serupa dengan Ethereum.

Mekanisme Konsensus

Aleo memperkenalkan AleoBFT, mekanisme konsensus seni bina hibrid yang menggabungkan kemuktamadan segera pengesah dan kuasa pengkomputeran prover. AleoBFT bukan sahaja meningkatkan desentralisasi rangkaian, tetapi juga meningkatkan prestasi dan keselamatan.

• Kemuktamadan blok pantas: AleoBFT memastikan setiap blok disahkan serta-merta selepas penjanaan, meningkatkan kestabilan nod dan pengalaman pengguna.
• Jaminan terdesentralisasi: 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;

Aleo membenarkan pembangun mencipta aplikasi yang tidak terhad kepada gas, menjadikannya amat sesuai untuk aplikasi yang berjalan lama seperti pembelajaran mesin.

Kemajuan Semasa

Aleo akan melancarkan testnet insentif pada 1 Julai, berikut adalah beberapa maklumat terkini yang penting:

• Pengundian ARC-100 diluluskan: ARC-100 (cadangan "Amalan Terbaik Pematuhan untuk Pembangun dan Pengendali Aleo", yang melibatkan aspek pematuhan, langkah keselamatan seperti mengunci dan menangguhkan pembayaran dana pada rangkaian Aleo) Ia telah berakhir 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 bekalan edaran: Bekalan awal ialah 1.5 bilion token, dan bekalan edaran awal adalah lebih kurang 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 adalah 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.

interpretasi Kemas kini Algoritma Mengumumkan Berita Rangkaian Ujian Terkini Baru -baru ini, Aleo telah mengemas kini versi terkini algoritma teka -teki. dan NTT (2 Modul pengiraan digunakan secara meluas untuk menjana bukti dalam zk. Sebelum ini, peserta testnet menggunakan pengiraan untuk mengoptimumkan kecekapan algoritma untuk meningkatkan hasil perlombongan, memfokuskan pada 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 dan mengagregatkan penyelesaian berpakej. Prosesnya adalah seperti berikut:

Prover mengira teka-teki untuk membina penyelesaian dan menyiarkannya ke rangkaian

• Validator mengagregatkan transaksi dan penyelesaian ke dalam blok baharu seterusnya, memastikan bilangan penyelesaian tidak melebihi had konsensus (MAX_SOLUTIONS)
• 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
• 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 penyelesaian baru, anda boleh lulus Kemas kini kaunter untuk mendapatkan nonce baharu

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

Arahan Set adalah tetap Setiap arahan mengandungi satu atau lebih operasi pengiraan Setiap arahan mempunyai berat pratetap dan kiraan operasi

• Nombor rawak semasa pensampelan. , dan digabungkan daripada set arahan berdasarkan nombor rawak Pemberat memperoleh arahan dan menyusunnya mengikut tertib selepas kiraan operasi terkumpul mencapai 97.
• Karang semua arahan ke dalam EpochProgram
• 3 benih nombor rawak untuk menjana input EpochProgram

4 Agregat R1CS dan input yang sepadan dengan EpochProgram, dan teruskan saksi (tugasan R1CS) mengira

5. Selepas mengira semua saksi, saksi ini akan ditukar menjadi jujukan nod daun daripada pokok merkle yang sepadan. Pokok merkle ialah pokok 8-elemen K-ary Merkle dengan kedalaman 8

6 Hitung akar merkle dan tukarkannya kepada proof_target penyelesaian, dan tentukan sama ada ia memenuhi sasaran_bukti terkini. zaman semasa. Jika ia berpuas hati, pengiraan berjaya Hantar alamat ganjaran, epoch_hash dan kaunter yang diperlukan untuk membina input di atas sebagai penyelesaian dan siaran

7 Yang sama, input EpochProgram boleh dikemas kini oleh pembilang lelaran untuk melakukan pengiraan penyelesaian berbilang

Perubahan dan Kesan Perlombongan

Selepas kemas kini ini, teka-teki telah berubah daripada menjana bukti kepada menjana saksi Logik pengiraan semua penyelesaian dalam setiap zaman adalah sama, tetapi logik pengiraan zaman berbeza agak berbeza.

Dari rangkaian ujian sebelumnya, kami dapati bahawa banyak kaedah pengoptimuman menumpukan pada penggunaan GPU untuk mengoptimumkan pengiraan MSM dan NTT dalam peringkat penjanaan bukti untuk meningkatkan kecekapan perlombongan ini meninggalkan bahagian pengiraan ini sepenuhnya , disebabkan penjanaan saksi Proses dijana dengan melaksanakan program yang berubah mengikut zaman, dan arahan di dalamnya akan mempunyai beberapa kebergantungan pada pelaksanaan bersiri, jadi mencapai penyelarasan adalah satu cabaran besar.

Atas ialah kandungan terperinci Apakah Projek Perlindungan Privasi Aleo Blockchain? Tafsiran komprehensif terkini Aleo. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!