Cześć przyjaciele, cześć wszystkim! Serdecznie witam na moim kanale, proszę o kontakt z Panem Atlasem. Dzisiejszy artykuł będzie poświęcony wyjątkowemu i bardzo obiecującemu projektowi, który cieszy się dużym poparciem, zarówno ze strony użytkowników, jak i ze strony inwestorów, a jest nim Aleo . A dokładniej w tym numerze

przejrzymy najnowsze wiadomości dotyczące tego projektu . Radzę przeczytać ten artykuł do końca, ponieważ: Informacja jest ciekawa i rzetelna, a ty, moja droga, dowiadujesz się o niej jako pierwsza. Więc chodźmy!

☯️Prośba od zespołu:

Z radością ogłaszamy drugą fazę Aleo Testnet 3! W tej wersji wdrożymy wiele kluczowych funkcji opisanych w naszym oryginalnym planie działania dla Testnet 3, takich jak wdrażanie i wykonywanie programów zdefiniowanych przez użytkownika oraz zagadkę, która będzie napędzać rozwój sprzętu do weryfikacji zkSNARK.

Więc, przyjaciele, teraz rozumiecie: Wydanie będzie całkiem interesujące :)

Aby zagłębić się w tę chwilę, sugeruję zacząć od podstaw…

☯️ Czym jest Aleo?

Aleo to nowy blockchain poziomu 1, który wykorzystuje kryptografię o zerowej wiedzy, aby umożliwić skalowalne i prywatne zdecentralizowane aplikacje.

‌ Zespół Aleo, zrozumcie, że w ich architekturze (programy) nie są wykonywane w łańcuchu; raczej użytkownicy uruchamiają program w trybie offline i wysyłają zkSNARK (krótkie dowody zerowej wiedzy) do łańcucha, które dowodzą prawidłowego wykonania w sposób chroniący prywatność.

Kolejnym krokiem wykonywanym przez łańcuch jest sprawdzenie krótkich proofów w czasie (niezależnym) od czasu działania programu.

Ale! Gdyby wszystko poszło dobrze, projekt byłby już notowany na giełdzie

‌ Plan działa w 100% dobrze, z wyjątkiem małego błędu: stworzenie dowodu poprawnego wykonania programu przy zerowej wiedzy może być wielokrotnie droższe niż samo wykonanie programu bezpośrednio. W przypadku wielu przydatnych aplikacji (takich jak płatności) tym kosztem można zarządzać nawet podczas sprawdzania na zwykłym urządzeniu, takim jak telefon komórkowy lub laptop.

Kiedy korzystamy z aplikacji wymagających większej mocy obliczeniowej, takich jak uczenie maszynowe, gry lub uwierzytelnianie, narzut związany z weryfikacją na standardowych urządzeniach może być wygórowany

A to z kolei sprawia, że ​​te przypadki użycia są nieosiągalne.

Oczywiście chwila nie jest wystarczająco przyjemna, ale będę kontynuować, bo:

‌Jednak projekt Aleo pozwala klientom wybrać, czy zlecić generowanie dowodów zewnętrznej „usłudze sprawdzania poprawności” , która może mieć więcej zasobów obliczeniowych, aby pomóc w obliczaniu zkSNARK dla większych obliczeń.

Na przykład:

​​takie jak procesory z wieloma rdzeniami, duże ilości pamięci RAM czy nawet specjalny sprzęt do weryfikacji.

Dopiero wtedy problemem staje się stymulowanie rozwoju lepszych architektur dowodowych. Rozwiązanie tego ostatniego problemu jest jednym z głównych motywów rozwoju nowego algorytmu konsensusu Aleo, AleoBFT. Na wysokim poziomie AleoBFT jest architekturą hybrydową, która wykorzystuje dowód stawki, aby osiągnąć natychmiastową ostateczność w celu potwierdzenia bloku, a także wykorzystuje łamigłówkę bazy monet typu proof-of-work, która nagradza rozwój szybszych metod generowania dowodu.

Abonenci, jesteśmy również z wami, dokładniej zagłębimy się w szczegóły tego szyfru. Więc…

☯️O Coinbase Puzzle?

‌ Układanka coinbase to łamigłówka typu proof-of-work zaprojektowana w celu napędzania rozwoju szybszego oprogramowania i sprzętu w celu generowania dowodów o zerowej wiedzy.

To znaczy?

Aby to osiągnąć, nasza łamigłówka z bazą monet ma dwie unikalne cechy (na których skupimy się w pierwszej kolejności).

Unikalne cechy:

‌_Funkcja_kryptograficzna:

⚡️W przeciwieństwie do tradycyjnego PoW, jaki można znaleźć w Bitcoinie lub Ethereum, łamigłówka bazy monet wymaga stworzenia wydajnych procedur dla „użytecznych” algorytmów dla głównych podkomponentów walidacji zkSNARK.

‌ _Feature_Economy:

⚡️W przeciwieństwie do tradycyjnego PoW, w którym każdy blok może zawierać tylko jedno prawidłowe rozwiązanie zagadki, nasza łamigłówka z bazą monet akceptuje wiele prawidłowych rozwiązań na blok, zapobiegając zasadzie „zwycięzca bierze wszystko” i prowadząc do szerszej dystrybucji nagród za dowody.

Przyjaciele, teraz musimy zwrócić naszą uwagę w 100% na projekt układanki, w odniesieniu do części kryptograficznej, więc:

☯️Projekt układanki?

Pierwszą rzeczą, na którą zwrócimy uwagę, jest: Szybki przewodnik projektowy zkSNARK.

⚡️Czas tworzenia dowodu we współczesnych zkSNARK jest zdominowany przez czas weryfikacji dwóch składowych: wielomianowego IOP oraz wielomianowego schematu zaangażowania.

Oznacza to , że ta łamigłówka z bazą monet skutecznie stymuluje przyspieszenie tych podzespołów.

Jeśli przyjrzymy się przebiegowi protokołu, który składa się z dwóch kroków, zauważymy:

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (1) Generowanie rozwiązań (Prover)

Aby utworzyć wariant rozwiązania, weryfikator generuje (z elementu jednorazowego) i mnoży losowy wielomian, a następnie ustala wynikowy wielomian iloczynu za pomocą wielomianowego schematu zaangażowania (w naszym przypadku schematu KZG10). To wynikowe zobowiązanie jest następnie haszowane, a jeśli ten skrót pasuje do docelowej złożoności, jest to prawidłowe rozwiązanie, które można wysłać do agregatora (wraz z dowodem wyniku dla wydajnej agregacji).

Mimo to wynikowa łamigłówka składa się z 2 elementów grupowych i 1 elementu pola, adresu i wartości jednorazowej, i można ją sprawdzić w mnożeniach i parach pól D, gdzie D jest stopniem wygenerowanego wielomianu.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (2) Agregacja ważnych rozwiązań (Lider BFT)

Chociaż prawidłowe rozwiązanie łamigłówki może zweryfikować każdy, dodanie każdego rozwiązania łamigłówki do łańcucha zwiększy stan.

Aby tego uniknąć na tym etapie, ta łamigłówka z bazą monet pozwala liderowi BFT zebrać prawidłowe rozwiązania. Zespół nie będzie wchodził w szczegóły, jak to się robi, ale ogólny wynik jest taki, że pamięć sieciowa zależy od kosztu n + 1 elementów tablicy, a 1 element tablicy to znacząca poprawa. Dodatkową korzyścią jest to, że sprawdzanie puzzli jest również szybsze.

Cóż, przyjaciele, po tylu informacjach, proponuję wszystko podsumować. Więc..

☯️ PODSUMOWANIE:

W oparciu o naszą dyskusję, AleoBFT to nowy mechanizm konsensusu, który łączy ostateczność dowodu stawki z potężnym mechanizmem motywacyjnym polegającym na dowodzie pracy. Jeśli weźmiesz naszą sprawę, łamigłówka z bazą monet stymuluje przyspieszenie dowodu zkSNARK. Uważam tę pracę za przydatną, ponieważ przenosi się bezpośrednio do uruchamiania dowolnego innego programu w Aleo.

Na tej podstawie mamy nadzieję, że dzięki temu mechanizmowi pobudzimy silny ekosystem weryfikacyjny, który przyniesie korzyści użytkownikom Aleo poprzez zmniejszenie kosztów i opóźnień aplikacji (to zdecydowanie fajne, zgadzam się)

​​Zachęta motywacyjna?

I na koniec, dla najbardziej cierpliwych, przygotowałam dobrą wiadomość. Ponieważ ta faza sieci testowej będzie zachęcana. A to z kolei może być cokolwiek (więc radzę przejść ten testnet)

Przyjaciele, będę miał wszystko na ten temat. Miło mi było ci służyć. Do zobaczenia ponownie w kolejnym numerze!

Aleo:

Strona internetowa | Twitter | Niezgoda | GitHub