Aleo: Proyek blockchain yang menekankan privasi dan skalabilitas
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, menggunakan teknologi zero-knowledge proof (ZKP) untuk mencapai tingkat privasi dan skalabilitas yang lebih tinggi. Inti dari proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pengolahan data sambil melindungi data pribadi.
Ringkasan Proyek
Privasi
Inti dari Aleo adalah teknologi Zero-Knowledge Proof (ZKPs), yang memungkinkan pelaksanaan transaksi dan kontrak pintar dilakukan dengan menjaga privasi. Rincian transaksi pengguna secara default tersembunyi, sambil memungkinkan pengungkapan selektif jika diperlukan. Komponen utama mencakup:
Bahasa Leo: Bahasa yang dirancang khusus untuk mengembangkan aplikasi pengetahuan nol (ZKApps).
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, hanya memverifikasi hasil di dalam rantai; snarkOS memastikan keamanan data dan perhitungan.
zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan pribadi.
Aleo juga menyediakan IDE dan SDK, mendukung pengembang untuk dengan cepat menulis dan menerbitkan aplikasi. Pengembang dapat langsung menerapkan aplikasi di registri program Aleo.
Skalabilitas
Aleo menggunakan metode pemrosesan off-chain, di mana transaksi terlebih dahulu menghitung bukti di perangkat pengguna, kemudian hanya mengunggah hasil verifikasi ke Blockchain. Ini secara signifikan meningkatkan kecepatan pemrosesan transaksi dan skalabilitas sistem.
mekanisme konsensus
Aleo memperkenalkan AleoBFT, sebuah mekanisme konsensus dengan arsitektur hibrida, yang menggabungkan finalitas instan dari validator dan kemampuan komputasi dari pembuktian. AleoBFT meningkatkan tingkat desentralisasi jaringan, serta meningkatkan kinerja dan keamanan.
Keberhasilan akhir blok cepat: memastikan bahwa setiap blok yang dihasilkan segera mendapatkan konfirmasi.
Jaminan Desentralisasi: Memisahkan produksi blok dari pembuatan coinbase.
Mekanisme insentif: validator dan pembuktian berbagi hadiah blok.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terpengaruh oleh batasan gas, cocok untuk aplikasi yang memerlukan waktu berjalan lama.
Kemajuan Terbaru
Suara ARC-100 disetujui: Proposal yang melibatkan langkah-langkah kepatuhan dan keamanan telah disetujui.
Rencana Insentif Validator: Dimulai pada 1 Juli, berjalan hingga 15 Juli, mendistribusikan 1 juta poin Aleo sebagai hadiah.
Suplai token: Jumlah pasokan awal 1,5 miliar, sirkulasi awal sekitar 10%.
Reset Testnet Beta: Ini adalah reset jaringan terakhir, menambahkan ARC-41 dan fungsi puzzle baru.
Pembekuan kode: telah diselesaikan satu minggu yang lalu.
Rencana Ekspansi Node Verifikasi: awalnya 15, target meningkat menjadi 50 dalam setahun, dan akhirnya mencapai 500.
Analisis Algoritma Synthesis Puzzle
Aleo baru saja memperbarui algoritma puzzle, tidak lagi fokus pada pembuatan bukti zk, tetapi beralih ke pembuatan saksi. Inti dari algoritma baru ini disebut Synthesis Puzzle, langkah-langkah utamanya adalah sebagai berikut:
Setiap epoch menghasilkan satu EpochProgram yang sama.
Menggunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Menggabungkan R1CS dan input yang sesuai dengan EpochProgram, menghitung saksi.
Mengubah witness menjadi node daun Merkle.
Hitung Merkle root dan konversi ke proof_target.
Verifikasi apakah proof_target memenuhi persyaratan epoch saat ini.
Jika memenuhi syarat, kirim solusi dan siarkan.
Pembaruan ini membuat perhitungan puzzle tetap konsisten dalam setiap epoch, tetapi terdapat perbedaan yang cukup besar antara epoch yang berbeda. Karena penghapusan perhitungan MSM dan NTT, serta diperkenalkannya beberapa ketergantungan eksekusi serial, hal ini membawa tantangan baru untuk optimisasi GPU dan implementasi paralelisasi.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
9 Suka
Hadiah
9
5
Bagikan
Komentar
0/400
YieldWhisperer
· 21jam yang lalu
pitch zk yang sama seperti setiap l1 lainnya... sudah melacak ini sejak 2019 sejujurnya, tidak ada yang baru di sini
Lihat AsliBalas0
Lihat Lebih Banyak
MoneyBurner
· 21jam yang lalu
Sekali lagi proyek zk, Buat Posisi To da moon, saudara-saudara.
Aleo: Proyek blockchain yang menggabungkan privasi dan skalabilitas, perkembangan terbaru dan analisis algoritme Synthesis Puzzle
Aleo: Proyek blockchain yang menekankan privasi dan skalabilitas
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, menggunakan teknologi zero-knowledge proof (ZKP) untuk mencapai tingkat privasi dan skalabilitas yang lebih tinggi. Inti dari proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pengolahan data sambil melindungi data pribadi.
Ringkasan Proyek
Privasi
Inti dari Aleo adalah teknologi Zero-Knowledge Proof (ZKPs), yang memungkinkan pelaksanaan transaksi dan kontrak pintar dilakukan dengan menjaga privasi. Rincian transaksi pengguna secara default tersembunyi, sambil memungkinkan pengungkapan selektif jika diperlukan. Komponen utama mencakup:
Bahasa Leo: Bahasa yang dirancang khusus untuk mengembangkan aplikasi pengetahuan nol (ZKApps).
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, hanya memverifikasi hasil di dalam rantai; snarkOS memastikan keamanan data dan perhitungan.
zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan pribadi.
Aleo juga menyediakan IDE dan SDK, mendukung pengembang untuk dengan cepat menulis dan menerbitkan aplikasi. Pengembang dapat langsung menerapkan aplikasi di registri program Aleo.
Skalabilitas
Aleo menggunakan metode pemrosesan off-chain, di mana transaksi terlebih dahulu menghitung bukti di perangkat pengguna, kemudian hanya mengunggah hasil verifikasi ke Blockchain. Ini secara signifikan meningkatkan kecepatan pemrosesan transaksi dan skalabilitas sistem.
mekanisme konsensus
Aleo memperkenalkan AleoBFT, sebuah mekanisme konsensus dengan arsitektur hibrida, yang menggabungkan finalitas instan dari validator dan kemampuan komputasi dari pembuktian. AleoBFT meningkatkan tingkat desentralisasi jaringan, serta meningkatkan kinerja dan keamanan.
Keberhasilan akhir blok cepat: memastikan bahwa setiap blok yang dihasilkan segera mendapatkan konfirmasi.
Jaminan Desentralisasi: Memisahkan produksi blok dari pembuatan coinbase.
Mekanisme insentif: validator dan pembuktian berbagi hadiah blok.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terpengaruh oleh batasan gas, cocok untuk aplikasi yang memerlukan waktu berjalan lama.
Kemajuan Terbaru
Suara ARC-100 disetujui: Proposal yang melibatkan langkah-langkah kepatuhan dan keamanan telah disetujui.
Rencana Insentif Validator: Dimulai pada 1 Juli, berjalan hingga 15 Juli, mendistribusikan 1 juta poin Aleo sebagai hadiah.
Suplai token: Jumlah pasokan awal 1,5 miliar, sirkulasi awal sekitar 10%.
Reset Testnet Beta: Ini adalah reset jaringan terakhir, menambahkan ARC-41 dan fungsi puzzle baru.
Pembekuan kode: telah diselesaikan satu minggu yang lalu.
Rencana Ekspansi Node Verifikasi: awalnya 15, target meningkat menjadi 50 dalam setahun, dan akhirnya mencapai 500.
Analisis Algoritma Synthesis Puzzle
Aleo baru saja memperbarui algoritma puzzle, tidak lagi fokus pada pembuatan bukti zk, tetapi beralih ke pembuatan saksi. Inti dari algoritma baru ini disebut Synthesis Puzzle, langkah-langkah utamanya adalah sebagai berikut:
Setiap epoch menghasilkan satu EpochProgram yang sama.
Menggunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Menggabungkan R1CS dan input yang sesuai dengan EpochProgram, menghitung saksi.
Mengubah witness menjadi node daun Merkle.
Hitung Merkle root dan konversi ke proof_target.
Verifikasi apakah proof_target memenuhi persyaratan epoch saat ini.
Jika memenuhi syarat, kirim solusi dan siarkan.
Pembaruan ini membuat perhitungan puzzle tetap konsisten dalam setiap epoch, tetapi terdapat perbedaan yang cukup besar antara epoch yang berbeda. Karena penghapusan perhitungan MSM dan NTT, serta diperkenalkannya beberapa ketergantungan eksekusi serial, hal ini membawa tantangan baru untuk optimisasi GPU dan implementasi paralelisasi.