Hal yang perlu diketahui tentang AleoBFT – algoritme konsensus yang membuat Aleo

• ringkasan
• Hal-hal yang perlu diketahui tentang AleoBFT - arsitektur hybrid baru untuk konsensus
• AleoBFT menjamin penyelesaian instan untuk setiap blok
• AleoBFT memastikan jaringan tetap terdesentralisasi sepenuhnya
• AleoBFT memberi insentif kepada para pembukti untuk meningkatkan kemampuan ekosistem Aleo dari waktu ke waktu
• AleoBFT .Struktur Inti
• Epilog

Menutup tahun 2022, blockchain publik privasi tipikal yang menggunakan teknologi Zero-Knowledge Proofs Aleo telah mencapai sukses besar saat mengumpulkan $200 juta - salah satu kesepakatan penggalangan dana Terbesar di tahun 2022. Tidak berhenti di situ, Aleo juga meningkatkan strategi penjangkauan penggunanya saat meluncurkan serangkaian program Tesnet Berinsentif dan mencapai lebih dari 1 miliar Bukti per detik, 50.000 kali lebih tinggi dibandingkan tahun 2021. 

Untuk gambaran yang lebih baik tentang pencapaian Aleo di tahun 2022, pembaca juga dapat melihat artikel "Melihat kembali ke Aleo 2022" di TraderH4.com. Dalam kerangka artikel ini, TraderH4 akan masuk lebih dalam ke algoritma konsensus yang membuat Aleo berbeda dari proyek Layer 1 lainnya di segmen yang sama.

ringkasan

Aleo lebih sukses karena lebih banyak perusahaan menggunakan zkSNARK dalam aplikasi mereka. Karena pemeriksaan sulit, desain Aleo memungkinkan aplikasi untuk mengalihdayakan pemeriksaan ke "layanan bukti" pihak ketiga yang menggunakan perangkat keras dan perangkat lunak khusus untuk menangani perhitungan. zkSNARK lebih cepat, lebih murah, dan lebih efisien daripada yang dapat dilakukan pengembang aplikasi pada beberapa CPU dasar . 

Salah satu faktor pembatas terbesar untuk masa depan, bahkan untuk bukti layanan, adalah bahwa "menghasilkan bukti tanpa pengetahuan tentang eksekusi aplikasi yang benar bisa mahal." lebih dari sekadar menjalankan aplikasi secara langsung. Ini membuktikan bahwa zkSNARK belum menjadi teknologi terbaik.

Agar bukti tanpa pengetahuan menjadi hal yang biasa dan agar Aleo berhasil, perangkat keras, perangkat lunak, dan pengetahuan pemeriksaan zkSNARK perlu disebarluaskan. Dan Aleo merancang mekanisme konsensusnya dan mensponsori kontes ZPrize untuk membuktikannya. 

Penambangan PoW tradisional, seperti Bitcoin, relatif sederhana dan perangkat kerasnya dikomoditisasi. Penambang menggunakan fungsi SHA-256 pada ASIC dan mencoba memposisikan diri di samping sumber energi murah untuk memaksimalkan keuntungan. Tidak banyak cara kreatif untuk mendapatkan keunggulan. 

Di Aleo, pembuktian membutuhkan pemahaman yang lebih dalam tentang zkSNARK, yang merupakan ruang desain yang lebih kaya dengan lebih banyak peluang bagi pembuktian untuk mendapatkan keuntungan besar. 

Aleo berbeda dari Bitcoin karena menerima solusi yang lebih valid per blok dan dengan demikian mendistribusikan hadiah ke lebih banyak proofer daripada mengikuti kerangka kerja "pemenang atau pecundang". Jika keberadaan satu pembukti menghancurkan orang lain, itu akan mengurangi partisipasi dan desentralisasi pembukti, yang akan membuat biaya lebih tinggi. 

Jadi Aleo melakukan dua hal untuk mengkomersialkan add-on proof-of-work zkSNARK miliknya: AleoBFT dan ZPrize. Di bagian ini kita akan menyelami AleoBFT. 

Semua yang perlu Anda ketahui tentang AleoBFT – arsitektur hibrid baru untuk konsensus

AleoBFT menggabungkan Proof of Stake (PoS) dan jenis Proof of Work (PoW) tertentu yang disebut Proof of Succinct Work (yang merupakan bagian dari Proof of Necessary Work).  

AleoBFT dirancang untuk melakukan tiga hal: mengamankan protokol, memastikan bahwa ada cukup verifikator berpengalaman untuk melayani kebutuhan pemecahan masalah zkSNARK aplikasi, dan mendorong lebih banyak orang untuk berpartisipasi dalam jaringan pembuktian yang lebih efisien dan lebih murah  .

Selama Testnet 3, Aleo mengatakan mereka akan mengubah model konsensus mereka menjadi arsitektur hybrid untuk validator dan itu adalah AleoBFT.

AleoBFT menggabungkan finalitas instan dari blok baru dari validator dengan kekuatan komputasi validator untuk membawa pasokan coinbase ke jaringan. Desain AleoBFT memberi insentif kepada validator untuk memelihara jaringan dengan menghasilkan blok dan memberi insentif kepada proofer untuk memperluas bukti konsep ke ekosistem Aleo. Algoritma konsensus AleoBFT ini memiliki banyak

AleoBFT menjamin penyelesaian instan untuk setiap blok

Transaksi dikonfirmasi setelah validator menghasilkan dan mencapai konsensus untuk setiap blok. Pendekatan ini memecahkan masalah forking untuk validator dan meningkatkan stabilitas node. Selain itu, ini menciptakan pengalaman aplikasi yang lancar bagi pengembang di Aleo. Dan bagi pengguna, ini meningkatkan UI/UX dengan mengaktifkan konfirmasi cepat di dompet, browser, penjelajah, dan aplikasi. Pada akhirnya, jaminan ini membuat interoperabilitas dengan ekosistem lain jauh lebih sederhana.

AleoBFT memastikan jaringan tetap terdesentralisasi sepenuhnya

Seperti yang ditunjukkan oleh Testnet 2, produksi blok menjadi sangat terpusat setelah segelintir proofer mengembangkan perangkat keras khusus untuk kriptografi tanpa pengetahuan. Sementara ZPrize membantu menyamakan kedudukan, faktanya tetap bahwa beberapa entitas akan mendominasi jaringan, menimbulkan risiko sentralisasi dan penyensoran bagi pengguna.

Dengan menggunakan AleoBFT, Aleo dapat memisahkan peran produksi blok dari pembuatan basis koin. Validator bertanggung jawab untuk menghasilkan blok, dan validator sekarang dapat menghitung bukti pada skala yang diinginkan. AleoBFT dirancang untuk memberi insentif bagi para pembukti untuk menjadi validator, dengan mempertaruhkan setidaknya 1 juta Kredit Aleo di jaringan. Ini memastikan korektor dapat mempertahankan ketahanan sensor mereka dengan menjadi perwakilan dari semua korektor dalam konsensus.

AleoBFT memberi insentif kepada para pembukti untuk meningkatkan kemampuan ekosistem Aleo dari waktu ke waktu 

Di AleoBFT, prover menyelesaikan dan menghasilkan proof of coinbase (PoSW) di jaringan dengan imbalan bagian dari hadiah coinbase di setiap blok. Dengan model baru ini, proofer kini menghitung subkomponen inti dari pembuktian tanpa pengetahuan. Yaitu perkalian multi skalar (MSM) dan transformasi Fourier cepat (FFT), dan dapatkan persentasenya sebagai bukti dari setiap hadiah blok.

Untuk pembuktiannya, AleoBFT memungkinkan pengoperasian perangkat keras apa pun pada skala apa pun untuk menghasilkan bukti tanpa pengetahuan tanpa bersaing untuk mendapatkan efek "pemenang-pemenang" di setiap blok kasus. Jadi, tidak seperti di Testnet 2, proses ini berarti bahwa bahkan validator yang berjalan di perangkat keras virtual akan dapat berpartisipasi dan mendapatkan hadiah coinbase. Hadiah coinbase ini dibagikan antara pembukti dan validator untuk memberi insentif kepada pembukti untuk menjadi validator saat mereka mengumpulkan token dari waktu ke waktu. Dengan memberikan insentif distribusi hadiah yang lebih luas kepada peserta, kami yakin mekanisme baru ini akan menskalakan jaringan Aleo untuk mencapai bukti konsep yang jauh lebih besar bagi pengembang dan pengguna Aleo. .

AleoBFT .Struktur Inti

Detail tentang bagian PoS dari AleoBFT masih diumumkan, tetapi tim mengatakan bahwa itu akan didasarkan pada DiemBFT. Aleo menulis bahwa kumpulan bukti tidak menghasilkan blok di AleoBFT, tetapi sebaliknya bisa berupa:

• Demonstran menghasilkan bukti untuk blok yang diberikan dan mendapatkan bagian proporsional dari hadiah coinbase (sebagian dari total hadiah blok) berdasarkan jumlah bukti sesuai target yang mereka serahkan.
• Validator menyumbangkan kredit Aleo untuk menyarankan blok yang terdiri dari bukti tersebut dan menerima bagian dari total hadiah blok untuk validasi. 
• Pemverifikasi memeriksa apakah bukti di blok itu benar (terlepas dari pengetahuan tentang konten bukti) dan menerima sebagian dari hadiah blok. 

Ali Yahya, yang juga belajar kriptografi di bawah Dan Boneh, menjelaskan kepada saya mengapa pendekatan kombinasi teori permainan (PoS) dan kriptografi (PoSW) bermakna lagi. Ali Yahya berkata:

“Menyetujui transaksi yang dimasukkan, Anda tidak dapat melakukannya secara kriptografis, jadi Anda perlu menggunakan pendekatan teori permainan. Ketika Anda memiliki transaksi yang ingin Anda lalui secara berurutan, yang lainnya adalah sesuatu yang harus Anda lakukan secara kriptografis. Dengan kata lain, gunakan kriptografi bila memungkinkan, dan teori permainan bila Anda tidak bisa. 

Porsi bukti AleoBFT didasarkan pada algoritme konsensus asli Aleo, Proof of Succinct Work (PoSW). Hal terpenting untuk dipahami tentang PoSW, terutama karena Ethereum dan rantai baru menghindari penggunaan Proof of Work karena alasan lingkungan, adalah bahwa "pekerjaan" dalam Proof of Succinct Work sangat berguna, tidak seperti SHA.-256. 

Faktanya, PoSW didasarkan pada Proof of Necessary Work, sebuah ide yang diajukan oleh Assimakis Katis (mentor Aleo sejak awal) dan Joe Bonneau (alumnus Boneh lainnya) pada tahun 2020 di mana pembuatan gelar Bukti merupakan bagian integral dari PoW yang digunakan dalam Konsensus Nakamoto, menciptakan bukti efisien dengan menggunakan energi yang seharusnya terbuang sia-sia. Jika Anda perlu menghabiskan energi untuk mengamankan blockchain, habiskan energi itu untuk pembuktian. Aleo akan melakukannya dengan dua cara:

• Langsung: Menghasilkan zkSNARK berguna untuk memungkinkan siapa saja membuktikan sesuatu tanpa mengungkapkan informasi apa pun tentangnya. 
• Tidak Langsung: Dengan memberi insentif pada pembuatan zkSNARK, Aleo berharap dapat mempercepat pengembangan arsitektur yang lebih baik sebagai pembuktian. 

Di Zero Knowledge Podcast, Howard mengatakan bahwa “tujuannya adalah untuk mendorong para penambang untuk mengembangkan akselerasi perangkat keras untuk SNARK agar jenis komputasi ini dapat dikomersialkan dan menyebar. Salah satu cara untuk melakukannya adalah memastikan bahwa penambang selalu memiliki sesuatu untuk dibuktikan.

Epilog

Di atas adalah informasi mendetail tentang algoritme konsensus AleoBFT yang membedakan Aleo dari proyek blockchain Layer 1 lainnya di segmen yang sama. Untuk memahami lebih lanjut tentang potensi pengembangan Aleo, silakan baca artikel "Peta jalan Aleo 2023 yang Diperbarui" di Situs web TraderH4. 

• Pendapat ahli tentang bagaimana mata uang digital stablecoin memengaruhi mata uang kripto Cina?
• Untuk mengubah industri seni, NFT membutuhkan keamanan yang lebih baik