Perkara yang perlu diketahui tentang AleoBFT – algoritma konsensus yang menjadikan Aleo

• gambaran keseluruhan
• Perkara yang perlu diketahui tentang AleoBFT - seni bina hibrid baharu untuk konsensus
• AleoBFT menjamin muktamad serta-merta untuk setiap blok
• AleoBFT memastikan rangkaian kekal terpencar sepenuhnya
• AleoBFT memberi insentif kepada prover untuk mengukur kebolehbuktian ekosistem Aleo dari semasa ke semasa
• Struktur Teras AleoBFT
• Epilog

Menutup 2022, blok blok awam privasi tipikal menggunakan teknologi Zero-Knowledge Proofs Aleo telah mencapai kejayaan besar apabila ia mengumpul $200 juta - salah satu daripada tawaran mengumpul dana. Bukan itu sahaja, Aleo juga meningkatkan strategi jangkauan penggunanya apabila melancarkan satu siri Tesnet Insentif program dan mencapai lebih daripada 1 bilion Bukti sesaat, 50,000 kali lebih tinggi daripada pada 2021. 

Untuk mendapatkan gambaran keseluruhan yang lebih baik tentang apa yang Aleo capai pada tahun 2022, pembaca juga boleh melihat artikel "Melihat kembali Aleo's 2022" di TraderH4.com. Dalam rangka artikel ini, TraderH4 akan mendalami algoritma konsensus yang menjadikan Aleo berbeza daripada projek Lapisan 1 lain dalam segmen yang sama.

gambaran keseluruhan

Aleo lebih berjaya kerana lebih banyak syarikat menggunakan zkSNARK dalam aplikasi mereka. Oleh kerana pembuktian adalah sukar, reka bentuk Aleo membenarkan aplikasi untuk menyumber luar pembuktian kepada "perkhidmatan bukti" pihak ketiga yang menggunakan perkakasan dan perisian khusus untuk mengendalikan pengiraan. zkSNARK lebih pantas, lebih murah dan lebih cekap daripada yang boleh dilakukan oleh pembangun aplikasi pada beberapa CPU asas . 

Salah satu faktor pengehad terbesar untuk masa depan, walaupun untuk bukti perkhidmatan, ialah "menjana bukti sifar pengetahuan tentang pelaksanaan aplikasi yang betul boleh menjadi mahal." lebih daripada sekadar menjalankan aplikasi secara terus. Ini membuktikan bahawa zkSNARK masih belum menjadi teknologi terbaik.

Agar bukti pengetahuan sifar menjadi perkara biasa dan untuk Aleo berjaya, perkakasan, perisian dan pengetahuan kalis zkSNARK perlu disebarkan. Dan Aleo kedua-duanya mereka bentuk mekanisme konsensusnya dan menaja peraduan ZPrize untuk membuktikannya. 

Perlombongan PoW tradisional, seperti Bitcoin, agak mudah dan perkakasan dikomoditi. Penambang menggunakan fungsi SHA-256 pada ASIC dan cuba meletakkan diri mereka di sebelah sumber tenaga murah untuk memaksimumkan keuntungan. Tidak banyak cara kreatif untuk mendapatkan kelebihan. 

Pada Aleo, pembuktian memerlukan pemahaman yang lebih mendalam tentang zkSNARK, yang merupakan ruang reka bentuk yang lebih kaya dengan lebih banyak peluang untuk prover memperoleh kelebihan yang besar. 

Aleo berbeza daripada Bitcoin kerana ia menerima penyelesaian yang lebih sah setiap blok dan dengan itu mengedarkan ganjaran kepada lebih banyak pembukti dan bukannya mengikut rangka kerja "pemenang atau kalah". Jika kewujudan satu prover menghancurkan orang lain, ia akan mengurangkan penyertaan prover dan desentralisasi, yang akan mengekalkan kos yang lebih tinggi. 

Jadi Aleo melakukan dua perkara untuk mengkomersialkan alat tambah bukti kerja zkSNARKnya: AleoBFT dan ZPrize. Dalam bahagian ini kita akan menyelami AleoBFT. 

Semua yang anda perlu tahu tentang AleoBFT – seni bina hibrid baharu untuk konsensus

AleoBFT menggabungkan Bukti Stake (PoS) dan jenis Bukti Kerja (PoW) khusus yang dipanggil Bukti Kerja Ringkas (yang itu sendiri merupakan subset daripada Bukti Kerja yang Diperlukan).  

AleoBFT direka bentuk untuk melakukan tiga perkara: melindungi protokol, memastikan terdapat pengesah berpengalaman yang mencukupi untuk memenuhi keperluan penyelesaian masalah zkSNARK aplikasi dan menggalakkan lebih ramai orang untuk mengambil bahagian dalam bukti . lebih cekap dan lebih murah rangkaian . 

Semasa Testnet 3, Aleo berkata mereka akan menukar model konsensus mereka kepada seni bina hibrid untuk pengesah dan itu adalah AleoBFT.

AleoBFT menggabungkan kemuktamadan serta-merta blok baharu daripada pengesah dengan kuasa pengkomputeran pengesah untuk membawa bekalan coinbase ke rangkaian. Reka bentuk AleoBFT memberi insentif kepada pengesah untuk mengekalkan rangkaian dengan menjana blok dan memberi insentif kepada pembukti untuk melanjutkan pembuktian konsep kepada ekosistem Aleo. Algoritma konsensus AleoBFT ini mempunyai banyak

AleoBFT menjamin muktamad serta-merta untuk setiap blok

Transaksi disahkan selepas pengesah menjana dan mencapai konsensus untuk setiap blok. Pendekatan ini menyelesaikan masalah forking untuk pengesah dan meningkatkan kestabilan nod. Selain itu, ini mewujudkan pengalaman apl yang lancar untuk pembangun di Aleo. Dan untuk pengguna, ini menambah baik UI/UX dengan mendayakan pengesahan pantas dalam dompet, penyemak imbas, penjelajah dan apl. Akhirnya, jaminan ini menjadikan kesalingoperasian dengan ekosistem lain lebih mudah.

AleoBFT memastikan rangkaian kekal terpencar sepenuhnya

Seperti yang dinyatakan oleh Testnet 2, pengeluaran blok menjadi sangat terpusat selepas segelintir pembukti membangunkan perkakasan khusus untuk kriptografi pengetahuan sifar. Walaupun ZPrize membantu untuk menyamakan kedudukan, hakikatnya masih ada bahawa sesetengah entiti akan menguasai rangkaian, menimbulkan risiko pemusatan dan penapisan untuk pengguna.

Dengan menggunakan AleoBFT, Aleo boleh memisahkan peranan pengeluaran blok daripada penjanaan coinbase. Pengesah bertanggungjawab untuk menjana blok, dan pengesah kini boleh mengira bukti pada skala yang mereka kehendaki. AleoBFT direka bentuk untuk memberi insentif kepada prover untuk menjadi pengesah, dengan mempertaruhkan sekurang-kurangnya 1 juta Aleo Credits pada rangkaian. Ini memastikan pembukti boleh mengekalkan rintangan penapisan mereka dengan menjadi wakil semua pembaca pruf dalam konsensus.

AleoBFT memberi insentif kepada prover untuk mengukur kebolehbuktian ekosistem Aleo dari semasa ke semasa 

Di AleoBFT, provers menyelesaikan dan menjana bukti coinbase (PoSW) pada rangkaian sebagai pertukaran untuk bahagian ganjaran coinbase dalam setiap blok. Dengan model baharu ini, pembukti kini sedang mengira subkomponen teras pembuktian pengetahuan sifar. Iaitu pendaraban berbilang skalar (MSM) dan transformasi Fourier pantas (FFT), dan peroleh peratusannya sebagai bukti daripada setiap ganjaran blok.

Untuk prover, AleoBFT membenarkan pengendalian mana-mana bahagian perkakasan pada sebarang skala untuk menjana bukti pengetahuan sifar tanpa bersaing untuk kesan "pemenang-pemenang" dalam setiap kes. Oleh itu, tidak seperti dalam Testnet 2, proses ini bermakna bahawa walaupun pengesah yang berjalan pada perkakasan maya akan dapat mengambil bahagian dan memperoleh ganjaran coinbase. Ganjaran coinbase ini dikongsi antara prover dan validator untuk memberi insentif kepada pembukti untuk menjadi validator apabila mereka mengumpul token dari semasa ke semasa. Dengan memberi insentif kepada pengagihan ganjaran yang lebih luas kepada peserta, kami percaya mekanisme baharu ini akan meningkatkan rangkaian Aleo untuk mencapai bukti konsep yang lebih besar untuk pembangun dan pengguna Aleo. .

Struktur Teras AleoBFT

Butiran mengenai bahagian PoS AleoBFT masih diumumkan, tetapi pasukan telah mengatakan bahawa ia akan berdasarkan DiemBFT. Aleo menulis bahawa set bukti tidak menghasilkan blok dalam AleoBFT, tetapi sebaliknya boleh menjadi:

• Penunjuk cara menjana bukti untuk blok tertentu dan memperoleh bahagian berkadar ganjaran coinbase (subset daripada jumlah ganjaran blok) berdasarkan bilangan bukti pada sasaran yang mereka serahkan.
• Pengesah menyumbangkan kredit Aleo untuk mencadangkan blok yang terdiri daripada bukti sedemikian dan menerima bahagian daripada jumlah ganjaran blok untuk pengesahan. 
• Pengesah menyemak sama ada bukti dalam blok adalah benar (tanpa mengira pengetahuan tentang kandungan bukti) dan menerima sebahagian daripada ganjaran blok. 

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

“Menyetujui transaksi yang disertakan, anda tidak boleh melakukannya secara kriptografi, jadi anda perlu menggunakan pendekatan teori permainan. Apabila anda mempunyai transaksi yang ingin anda lalui dengan teratur, segala-galanya adalah sesuatu yang perlu anda lakukan secara kriptografi.” Dalam erti kata lain, gunakan kriptografi apabila boleh, dan teori permainan apabila anda tidak boleh. 

Bahagian bukti AleoBFT adalah berdasarkan algoritma konsensus asal Aleo, Bukti Kerja Ringkas (PoSW). Perkara yang paling penting untuk difahami tentang PoSW, terutamanya kerana Ethereum dan rantaian baharu mengelak daripada menggunakan Proof of Work atas sebab persekitaran, ialah "kerja" dalam Proof of Succinct Work benar-benar berguna, tidak seperti SHA. -256. 

Malah, PoSW adalah berdasarkan Bukti Kerja yang Perlu, idea yang dicadangkan oleh Assimakis Katis (mentor Aleo dari awal) dan Joe Bonneau (alumnus Boneh lain) pada tahun 2020 di mana penciptaan darjah Proofs adalah bahagian penting daripada PoW yang digunakan dalam Konsensus Nakamoto, mencipta bukti cekap menggunakan tenaga yang sebaliknya akan dibazirkan. Jika anda perlu menghabiskan tenaga untuk mengamankan rantaian blok, belanjakan tenaga itu untuk bukti. Aleo akan melakukannya dalam dua cara:

• Langsung: Menjana zkSNARK berguna untuk membolehkan sesiapa sahaja membuktikan sesuatu tanpa mendedahkan sebarang maklumat mengenainya. 
• Tidak langsung: Dengan memberi insentif kepada penciptaan zkSNARK, Aleo berharap dapat mempercepatkan pembangunan seni bina yang lebih baik sebagai bukti. 

Mengenai Podcast Pengetahuan Sifar, Howard berkata bahawa "matlamatnya adalah untuk menggalakkan pelombong membangunkan pecutan perkakasan untuk SNARK untuk menjadikan jenis pengiraan ini dikomoditi dan meresap. Satu cara untuk melakukannya ialah memastikan pelombong sentiasa mempunyai sesuatu untuk dibuktikan.

Epilog

Di atas adalah maklumat terperinci tentang algoritma konsensus AleoBFT yang membezakan Aleo daripada projek blockchain Layer 1 lain dalam segmen yang sama. Untuk memahami lebih lanjut tentang potensi pembangunan Aleo, sila baca artikel "Pelan hala tuju Aleo 2023 yang dikemas kini" di Laman Web TraderH4. 

• Pendapat pakar tentang bagaimana mata wang digital stablecoin mempengaruhi mata wang kripto China?
• Untuk mengubah industri seni, NFT memerlukan keselamatan yang lebih baik