Co warto wiedzieć o AleoBFT – algorytmie konsensusu, który tworzy Aleo

• Przegląd
• Co warto wiedzieć o AleoBFT — nowej architekturze hybrydowej dla konsensusu
• AleoBFT gwarantuje natychmiastową ostateczność dla każdego bloku
• AleoBFT zapewnia, że ​​sieć pozostaje w pełni zdecentralizowana
• AleoBFT zachęca weryfikatorów do skalowania możliwości udowodnienia ekosystemu Aleo w czasie
• AleoBFT Struktura rdzenia
• Epilog

Zamknięcie 2022 r., typowy publiczny łańcuch bloków zapewniający prywatność wykorzystujący dowody zerowej wiedzy Technologia Aleo odniosła wielki sukces, gdy zebrała 200 milionów dolarów – jedna z transakcji pozyskiwania funduszy.Nie tylko to, ale Aleo zintensyfikowało również swoją strategię docierania do użytkowników, uruchamiając serię Incentivized Tesnet programów i osiągając ponad 1 miliard Dowodów na sekundę, 50 000 razy więcej niż w 2021 r. 

Aby uzyskać lepszy przegląd tego, co Aleo osiągnęło w 2022 r., czytelnicy mogą również zapoznać się z artykułem „Patrząc wstecz na rok 2022 Aleo” na TraderH4.com. W ramach tego artykułu TraderH4 zagłębi się w algorytm konsensusu, który odróżnia Aleo od innych projektów warstwy 1 w tym samym segmencie.

Przegląd

Aleo odnosi większe sukcesy, ponieważ coraz więcej firm używa zkSNARK w swoich aplikacjach. Ponieważ sprawdzanie jest trudne, projekt Aleo pozwala aplikacjom zlecać sprawdzanie zewnętrznym „usługom sprawdzającym", które wykorzystują wyspecjalizowany sprzęt i oprogramowanie do obsługi obliczeń. zkSNARK jest szybszy, tańszy i bardziej wydajny niż twórca aplikacji może to zrobić na niektórych podstawowych procesorach . 

Jednym z największych czynników ograniczających w przyszłości, nawet w przypadku usługi proof-of-service, jest to, że „wygenerowanie dowodu poprawności wykonania aplikacji bez wiedzy może być kosztowne”. Znacznie więcej niż tylko bezpośrednie uruchomienie aplikacji. Dowodzi to, że zkSNARK nie jest jeszcze najlepszą technologią.

Aby dowody zerowej wiedzy stały się powszechne i aby Aleo odniosło sukces, należy rozpowszechnić sprzęt, oprogramowanie i wiedzę do sprawdzania zkSNARK. Aleo zarówno zaprojektował swój mechanizm konsensusu, jak i sponsorował konkurs ZPrize, aby to udowodnić. 

Tradycyjne wydobywanie PoW, takie jak Bitcoin, jest stosunkowo proste, a sprzęt jest utowarowiony. Górnicy używają funkcji SHA-256 w układach ASIC i próbują ustawić się obok tanich źródeł energii, aby zmaksymalizować zyski. Nie ma wielu kreatywnych sposobów na uzyskanie przewagi. 

Na Aleo sprawdzanie wymaga głębszego zrozumienia zkSNARK, który jest bogatszą przestrzenią projektową z większymi możliwościami uzyskania ogromnych korzyści przez sprawdzających. 

Aleo różni się od Bitcoina tym, że akceptuje bardziej poprawne rozwiązania na blok, a tym samym rozdziela nagrody dla większej liczby sprawdzających, zamiast postępować według schematu „zwycięzca lub przegrany”. Jeśli istnienie jednego doświadczonego miażdży wszystkich innych, zmniejszy to udział weryfikatorów i decentralizację, co spowoduje wzrost kosztów. 

Więc Aleo zrobił dwie rzeczy, aby skomercjalizować swój dodatek do dowodu pracy zkSNARK: AleoBFT i ZPrize. W tej sekcji zagłębimy się w AleoBFT. 

Wszystko, co musisz wiedzieć o AleoBFT – nowej architekturze hybrydowej dla konsensusu

AleoBFT łączy Proof of Stake (PoS) i określony rodzaj Proof of Work (PoW) zwany Proof of Succinct Work (który sam w sobie jest podzbiorem Proof of Necessary Work).  

AleoBFT ma na celu wykonanie trzech rzeczy: zabezpieczenie protokołu, upewnienie się, że istnieje wystarczająca liczba doświadczonych weryfikatorów do obsługi potrzeb aplikacji w zakresie rozwiązywania problemów zkSNARK oraz zachęcenie większej liczby osób do udziału w dowodzie wydajniejszej i tańszej sieci. 

Podczas Testnet 3 Aleo powiedział, że przekonwertuje swój model konsensusu na architekturę hybrydową dla walidatorów, a to jest AleoBFT.

AleoBFT łączy natychmiastową ostateczność nowych bloków z walidatorów z mocą obliczeniową walidatorów, aby zapewnić dostawę bazy monet do sieci. Projekt AleoBFT zachęca walidatorów do utrzymywania sieci poprzez generowanie bloków, a weryfikatorów do rozszerzania weryfikacji koncepcji na ekosystem Aleo. Ten algorytm konsensusu AleoBFT ma wiele

AleoBFT gwarantuje natychmiastową ostateczność dla każdego bloku

Transakcje są potwierdzane po wygenerowaniu przez walidatory i osiągnięciu konsensusu dla każdego bloku. Takie podejście rozwiązuje problemy z rozwidleniem dla walidatorów i poprawia stabilność węzła. Dodatkowo zapewnia to płynne działanie aplikacji dla programistów Aleo. A dla użytkowników poprawia to UI/UX, umożliwiając szybkie potwierdzenia w portfelach, przeglądarkach, eksploratorach i aplikacjach. Ostatecznie ta gwarancja sprawia, że ​​interoperacyjność z innymi ekosystemami jest znacznie prostsza.

AleoBFT zapewnia, że ​​sieć pozostaje w pełni zdecentralizowana

Jak zauważył Testnet 2, produkcja bloków została wysoce scentralizowana po tym, jak garstka weryfikatorów opracowała specjalistyczny sprzęt do kryptografii o zerowej wiedzy. Podczas gdy ZPrize pomaga wyrównać szanse, pozostaje faktem, że niektóre podmioty zdominują sieć, stwarzając ryzyko centralizacji i cenzury dla użytkowników.

Używając AleoBFT, Aleo może oddzielić rolę produkcji bloków od generowania bazy monet. Walidatorzy są odpowiedzialni za generowanie bloków, a walidatorzy mogą teraz obliczać dowody w pożądanej skali. AleoBFT ma na celu zachęcenie weryfikatorów do zostania walidatorami poprzez postawienie co najmniej 1 miliona Kredytów Aleo w sieci. Dzięki temu weryfikatorzy mogą zachować odporność na cenzurę, stając się przedstawicielem wszystkich korektorów w konsensusie.

AleoBFT zachęca weryfikatorów do skalowania możliwości udowodnienia ekosystemu Aleo w czasie 

W AleoBFT kontrolerzy rozliczają się i generują dowód bazy monet (PoSW) w sieci w zamian za udział w nagrodzie bazy monet w każdym bloku. Dzięki temu nowemu modelowi weryfikatorzy przeprowadzają teraz obliczenia na podstawowych elementach dowodowych z wiedzą zerową. Mianowicie mnożenie przez wiele skalarów (MSM) i szybka transformata Fouriera (FFT), i zarabiaj procentowo w dowodzie z każdej nagrody blokowej.

Dla dowodzącego AleoBFT umożliwia działanie dowolnego elementu sprzętowego w dowolnej skali w celu generowania dowodów z wiedzą zerową bez konkurowania o efekt „zwycięzca-zwycięzca” w każdym przypadku. Tak więc, w przeciwieństwie do Testnet 2, proces ten oznacza, że ​​nawet walidatory działające na sprzęcie wirtualnym będą mogły uczestniczyć i zdobywać nagrody w bazie monet. Te nagrody z bazy monet są dzielone między weryfikatorów i weryfikatorów, aby zachęcić weryfikatorów do zostania weryfikatorami w miarę gromadzenia tokenów w czasie. Wierzymy, że zachęcając uczestników do szerszej dystrybucji nagród, te nowe mechanizmy zwiększą skalę sieci Aleo, aby uzyskać znacznie większy dowód słuszności koncepcji dla programistów i użytkowników Aleo.

AleoBFT Struktura rdzenia

Szczegóły dotyczące części PoS AleoBFT są wciąż ogłaszane, ale zespół powiedział, że będzie ona oparta na DiemBFT. Aleo napisał, że zestawy próbne nie generują bloków w AleoBFT, ale zamiast tego mogą być:

• Demonstranci generują dowody dla danego bloku i zdobywają proporcjonalne udziały w nagrodzie z bazy monet (podzbiór całkowitej nagrody za blok) w oparciu o liczbę dostarczonych dowodów na cel.
• Walidatorzy przekazują kredyty Aleo za sugerowanie bloków składających się z takich dowodów i otrzymują część całkowitej nagrody blokowej za walidację. 
• Weryfikator sprawdza, czy dowody w bloku są prawdziwe (niezależnie od znajomości treści dowodu) i otrzymuje część nagrody blokowej. 

Ali Yahya, który również studiował kryptografię pod kierunkiem Dana Boneha, wyjaśnił mi, dlaczego połączenie teorii gier (PoS) i kryptografii (PoSW) znów ma znaczenie. Ali Yahya mówi:

„Zgadzając się na uwzględnienie transakcji, nie można tego zrobić kryptograficznie, więc trzeba zastosować podejście oparte na teorii gier. Kiedy masz transakcje, które chcesz przejść w kolejności, wszystko inne jest czymś, co powinieneś zrobić kryptograficznie”. Innymi słowy, używaj kryptografii, kiedy tylko jest to możliwe, i teorii gier, kiedy nie możesz. 

Część dowodowa AleoBFT jest oparta na oryginalnym algorytmie konsensusu Aleo, Proof of Succinct Work (PoSW). Najważniejszą rzeczą do zrozumienia na temat PoSW, zwłaszcza że Ethereum i nowe sieci unikają używania Proof of Work ze względów środowiskowych, jest to, że „praca” w Proof of Succinct Work jest naprawdę użyteczna, w przeciwieństwie do SHA.-256. 

W rzeczywistości PoSW opiera się na Proof of Necessary Work, pomyśle zaproponowanym przez Assimakisa Katisa (mentor Aleo od początku) i Joe Bonneau (kolejny absolwent Boneh) w 2020 r., gdzie tworzenie stopni Dowód jest integralną częścią PoW używanego w Konsensus Nakamoto, tworzenie skutecznych dowodów przy użyciu energii, która w przeciwnym razie zostałaby zmarnowana. Jeśli musisz poświęcić energię na zabezpieczanie łańcuchów bloków, poświęć tę energię na dowody. Aleo zrobi to na dwa sposoby:

• Direct: Generowanie zkSNARK jest przydatne, aby każdy mógł coś udowodnić bez ujawniania jakichkolwiek informacji na ten temat. 
• Pośrednie: zachęcając do tworzenia zkSNARK, Aleo ma nadzieję przyspieszyć rozwój lepszych architektur do celów dowodowych. 

W podcaście Zero Knowledge Howard powiedział, że „celem jest zachęcenie górników do opracowania akceleracji sprzętowej dla SNARK, aby tego typu obliczenia stały się utowarowione i wszechobecne. Jednym ze sposobów na to jest upewnienie się, że górnicy zawsze mają coś do udowodnienia.

Epilog

Powyżej znajdują się szczegółowe informacje na temat algorytmu konsensusu AleoBFT, który odróżnia Aleo od innych projektów blockchain warstwy 1 w tym samym segmencie. Aby dowiedzieć się więcej o potencjale rozwojowym Aleo, przeczytaj artykuł „Zaktualizowana mapa drogowa Aleo 2023” na stronie internetowej TraderH4. 

• Ekspertyza na temat wpływu cyfrowej waluty stablecoin na chińskie kryptowaluty?
• Aby zmienić branżę artystyczną, NFT potrzebuje lepszych zabezpieczeń