Ten wpis został napisany przez członka społeczności Aleo zk_tutorials.

Kopiowanie kodu W całym tym blogu będziemy odwoływać się do fragmentów kodu. Możesz skopiować te fragmenty klikając w prawym górnym rogu pola. Pełny kod źródłowy tego artykułu można znaleźć na GitHubie tutaj.

Wstęp Sztuczna inteligencja (AI) może rozwiązać wiele zadań, które wcześniej wymagały ludzkiej inteligencji, zwiększając możliwości systemów oprogramowania. Większość systemów AI jest obecnie zbudowana na bazie sieci neuronowych, które okazały się zdolne do wykonywania złożonych zadań i utorowały drogę wielu ostatnim przełomom w dziedzinie AI.

Typowy przepływ pracy AI składa się z dwóch faz: szkolenia i wnioskowania. W trakcie tego przepływu pracy, intensywny charakter danych współczesnych systemów AI wzbudził obawy dotyczące prywatności. Podczas szkolenia, szczególnie dane szkoleniowe powinny być często chronione. Następnie, parametry modelu AI, jak również dane wejściowe i wyjściowe modelu mogą być chronione. Porównanie obu faz i danych, które należy chronić, przedstawiono w poniższej tabeli.

W tym artykule skupiamy się na prowadzeniu wnioskowania wielowarstwowych sieci neuronowych typu perceptron w zkSnark. Oznacza to, że obliczamy wyjście sieci neuronowej w zkSnark, biorąc pod uwagę cechy wejściowe. Jak podkreśla tabela, istnieje szeroki zakres danych, które możemy chcieć chronić w tym obliczeniu, takich jak cechy wejściowe, model wejściowy, a nawet predykcja wyjścia. Do tego celu używamy języka programowania Leo.

**Obliczanie wnioskowania w sieciach neuronowych ** Sieć neuronowa jest funkcją matematyczną, która w sposób deterministyczny przekształca wartości wejściowe w wartości wyjściowe. Sieć neuronowa składa się z wielu połączonych ze sobą neuronów, które same są funkcjami matematycznymi przekształcającymi wartości wejściowe na wartości wyjściowe.

Aby zrozumieć, jak sieć neuronowa oblicza wartości wyjściowe, najpierw przyjrzymy się, jak oblicza się wyjście poszczególnych neuronów. Neurony składają się z funkcji aktywacji i dwóch parametrów - parametru wagi i parametru skosu.

Popularną funkcją aktywacji a(x) dla NN jest funkcja aktywacji ReLU (Rectified Linear Unit), która jest zdefiniowana przez:

a(x) = max(0,x)

Przed obliczeniem funkcji aktywacji obliczana jest suma wejść z wagami oraz bias. Przy wadze w=1.5 i biasie b=.5 neuron wyprowadza następującą funkcję:

max(0,1.5*x+.5)

Wejście o wartości x=1 tworzy wyjście o wartości 2.

Możemy teraz połączyć różne neurony, aby stworzyć sieć neuronową. Ten przykład demonstruje sieć neuronową z dwoma wejściami, dwoma neuronami w warstwie środkowej (zwanej warstwą ukrytą) i jednym wyjściem. Architekturę sieci neuronowej przedstawiamy na poniższym rysunku.

Podczas gdy warstwa ukryta i warstwa wyjściowa mają funkcję aktywacji ReLU, warstwa wejściowa ma zazwyczaj liniową funkcję aktywacji a(x)=x. Taka architektura przekłada się na funkcję matematyczną:

f(x)=y0=max(0,max(0,(1.5*x0+0.5))+max(0,(0.5*x0+0.5*x1+1.5))+0.25)

Funkcję tę otrzymujemy patrząc najpierw na ostatni neuron wyjściowy, a następnie podstawiając do warstw wcześniejszych. Dla wartości wejściowych x0 = 0,5 i x1 = 1, prawidłowe wyjście to 1,25+2,25+0,25=3,75.

Generalnie NN mogą aproksymować szeroki wachlarz funkcji, co określa się mianem uniwersalnego twierdzenia o aproksymacji.

**Liczby stałoprzecinkowe dla sieci neuronowych ** Jak w powyższym przykładzie, często mamy wartości niecałkowite, które chcemy reprezentować i obliczać, w przeciwnym razie wyniki mogą być błędne. Jest to szczególnie ważne dla głębszych sieci neuronowych, gdzie błędy mogą się potęgować przez wiele warstw. Języki programowania oparte na zk-SNARK, takie jak Leo, nie obsługują domyślnie liczb niecałkowitych, ale możemy to obejść. Jednym z wygodnych sposobów na to jest użycie liczb stałoprzecinkowych, które omówiliśmy w poprzednim artykule. Używając liczb stałoprzecinkowych, możemy reprezentować i obliczać ułamkowe części liczb.

Implementacja sieci neuronowych w Leo

Aby zaimplementować sieć neuronową w Leo, ustawiamy wagi sieci neuronowej, biasy oraz wejście funkcji x jako parametry wejściowe programu. Architektura sieci neuronowej jest zakodowana na sztywno, a program oblicza i wyprowadza dane wyjściowe. W ten sposób neurony w warstwie ukrytej i wyjściowej używają rektyfikowanej liniowej funkcji aktywacji.

Poniższy kod dla układu LEO oblicza wyjście sieci neuronowej. W ten sposób, obliczamy wyjście od lewej do prawej w sieci, co oznacza, że najpierw obliczamy wyjścia dwóch neuronów w pierwszej warstwie. Następnie obliczana jest warstwa ukryta, a po niej warstwa wyjściowa. Obliczenia opierają się na liczbach stałoprzecinkowych. Po operacjach mnożenia z liczbami stałoprzecinkowymi musimy skorygować wynik, co zostało opisane w artykule o stałych punktach.

main.leo

Ocena Wprowadzamy liczby opisane na powyższej grafice, w reprezentacji stałoprzecinkowej (liczba pomnożona przez 100).

project.in

Wyjście układu jest wtedy następujące:

project.out

Dzieląc przez 100, aby uwzględnić format liczb stałoprzecinkowych, otrzymujemy wynik 3,75, jak wyżej.

Pod względem złożoności, obwód urósł do stosunkowo dużej liczby 176 189 ograniczeń - szczególnie mnożenie i dzielenie dodaje duże ilości ograniczeń.

Skrypt Pythona do automatycznego generowania kodu Leo sieci neuronowej Teraz przeanalizujmy głębsze sieci neuronowe z większą ilością warstw. Te głębokie sieci neuronowe stoją za ostatnimi zadziwiającymi postępami w AI. W powyższym przykładzie mamy wagi i bias, które możemy dostosować. To, czego nie możemy jednak dostosować, to liczba wag i biasów, czyli architektura sieci neuronowej. Nie możemy też przekazać dowolnej liczby wejść, ponieważ Leo nie jest turing complete i nie pozwala np. na pętle z dynamiczną ilością wykonań. Możemy jednak zakodować program, który wygeneruje kod Leo dla dowolnych architektur sieci neuronowych, dzięki czemu nie będziemy musieli ręcznie kodować Leo NN. Python jest dobrym wyborem dla takiego programu.

Wszystko, czego potrzebujemy jako dane wejściowe do takiego generatora NN, to liczba warstw i neuronów na warstwę, współczynnik skalowania dla liczb stałoprzecinkowych oraz użyty typ liczby całkowitej. W pliku leo_neural_network_generator.py przedstawiono program potrafiący to zrobić. Możesz modyfikować liczbę neuronów na warstwę, współczynnik skalowania dla obliczeń stałoprzecinkowych, a także typ liczby całkowitej.

‍leo_neural_network_generator.py

Wyjście programu

Uruchommy ten plik python na najnowszej wersji python 3 i sprawdźmy wyjście. Generuje dwa pliki, plik kodu LEO main.leo i plik wejść project.in. Sieć neuronowa ma ten sam rozmiar co powyższa i jest bardzo podobna z dwoma drobnymi zmianami. Po pierwsze, automatycznie generowana sieć neuronowa zwraca tablicę, w tym konkretnym przypadku o rozmiarze 1, ponieważ mamy jeden neuron wyjściowy. Po drugie, automatycznie generowana sieć neuronowa jest bardziej uogólniona i pozwala na wszystkie możliwe połączenia neuronów warstwy wejściowej z neuronami warstwy środkowej.

main.leo

project.in

Możemy teraz umieścić te dwa pliki w projekcie Leo, na przykład w Aleo Studio, i użyć polecenia "leo run". Program kompiluje się pomyślnie z 176091 ograniczeniami, bardzo podobnie jak w powyższym przykładzie. Zasadniczo odtworzyliśmy sieć neuronową automatycznie za pomocą programu Pythona, który najpierw zaimplementowaliśmy ręcznie.

**Skalowalność ** Teraz możemy generować głębsze sieci neuronowe. Warstwa pomiędzy warstwą wejściową a warstwą wyjściową jest określana jako warstwy ukryte. W powyższym przykładzie mamy trójwarstwową sieć neuronową z jedną warstwą ukrytą. Dodajmy kolejną warstwę ukrytą z dwoma neuronami, czyli zmieniamy kod wejściowy na następujący wiersz:

Teraz uruchamiamy program Python i uruchamiamy wygenerowany kod Leo poprzez "leo run". Mamy teraz 236997 ograniczeń.

Wypróbujmy trzy ukryte warstwy:

Otrzymujemy teraz obwód z 351863 ograniczeniami.

Cztery warstwy ukryte dają nam 439749 ograniczeń, pięć warstw ukrytych 527635 ograniczeń, sześć warstw ukrytych 615521 ograniczeń itd. Nanieśmy to na wykres.

Kiedykolwiek technologia osiąga dojrzałość i szeroko rozszerza się na rynek konsumencki, nadchodzi moment, w którym deweloperzy muszą liczyć się z głębszymi problemami etycznymi i filozoficznymi. Uczenie maszynowe wślizgnęło się do naszego codziennego życia w postaci ukierunkowanych zaleceń dotyczących produktów i starannie skontrolowanych kanałów mediów społecznościowych, dzięki czemu czujesz się natychmiast zrozumiany na poziomie osobistym.

W końcu jest coś magicznego w szybkim znalezieniu idealnej pary kijków do wędrówek lub w tym, że nasz kanał mediów społecznościowych jest dostosowany do naszych zainteresowań. Modele uczenia maszynowego potrafią wychwycić wzorce i relacje międzyludzkie lepiej niż nasze własne mózgi, serwując nam treści i rekomendacje, które zdają się czytać w naszych umysłach.

Ale aby skorzystać z tych modeli, musimy przekazać im osobiste, prywatne dane o naszym życiu. Niestety, w branży uczenia maszynowego brakuje mechanizmów potrzebnych do ochrony danych użytkowników i zapewnienia im dowodów, że ich informacje są wykorzystywane w sposób etyczny. W miarę jak te modele rosną zarówno pod względem wielkości, jak i popularności, musimy zapewnić, że systemy mają certyfikowaną odpowiedzialność, mogą obsługiwać wrażliwe dane w sposób prywatny i stają się systemami godnymi naszego zaufania.

Istnieją dwie ścieżki rozwoju - jedna, w której zaufanie użytkowników do prywatności ich danych nadal będzie się zmniejszać w imię doświadczeń, których pożądamy, lub nowa ścieżka, w której możemy dzielić się danymi i weryfikować stwierdzenia tworzone przez algorytmy uczenia maszynowego bez zaufania. Dowody zerowej wiedzy, protokół kryptograficzny, który potrafi powiedzieć, czy dane stwierdzenie jest prawdziwe bez ujawniania stojących za nim informacji, mogą stanowić fundament lepszego modelu. Zamiast zakładać, że dany model jest godny zaufania, możemy zweryfikować twierdzenia dotyczące modelu, sposobu jego działania i danych, które wykorzystuje, zachowując prywatność na wszystkich frontach.

Wpływ zerowej wiedzy na uczenie maszynowe

Konsumenci, jeśli mają wybór, coraz częściej nie chcą handlować swoimi danymi osobowymi, aby skorzystać z usług i doświadczeń, jakie zapewniają modele uczenia maszynowego. Na przykład spersonalizowane zalecenia dotyczące refinansowania kredytu hipotecznego są świetne, ale nie kosztem udostępniania całej swojej historii finansowej - która może być łatwo rozpowszechniana ponownie i ponownie. Aby branża nadal się rozwijała, konsumenci muszą ufać, że ich dane są wykorzystywane w sposób etyczny, a nie nadużywane, sprzedawane lub udostępniane stronom trzecim.

Kryptografia zerowej wiedzy rozwiązuje wiele z największych wyzwań branży uczenia maszynowego. Dowody zerowej wiedzy są potężnym narzędziem do weryfikacji poprawności obliczeń bez ujawniania danych wejściowych lub samych obliczeń. To czyni je szczególnie przydatnymi w uczeniu maszynowym, gdzie wrażliwe dane, takie jak dokumentacja medyczna lub informacje finansowe, muszą być utrzymywane w tajemnicy.

Programiści mają okazję wprowadzić technologię zerowej wiedzy do dziedziny uczenia maszynowego w kluczowym momencie. Inicjatywa Aleo's zkML została stworzona, aby wspierać projekty wzbogacające dziedzinę uczenia maszynowego o dowody zerowej wiedzy, jednocześnie zapewniając nieocenione wsparcie dla deweloperów chcących budować rozwiązania w tej dziedzinie.

Ogłoszenie inicjatywy Aleo zkML

Inicjatywa Aleo zkML, która rozpocznie się w dniach 12-14 maja, stanowi podstawę tej jaśniejszej, bardziej godnej zaufania przyszłości. Z dystrybucją kredytów do 80.000 za pierwsze miejsce w każdej kategorii, masz szansę wywrzeć wpływ i zostać nagrodzonym.

W naszej pierwszej kategorii pracujesz nad budową popularnych algorytmów ML przy zerowej wiedzy, używając naszego języka programowania Leo. Zgłoszenia mogą obejmować regresje liniowe, drzewa decyzyjne, warstwy sieci neuronowych, XGBoost/AdaBoost oraz algorytmy K-Means/KNN.

Nie znasz Leo lub chcesz szybko zacząć? Nasza druga kategoria pozwoli Ci sprawdzić swoje umiejętności w budowaniu wtyczek ZK dla 3 najlepszych bibliotek uczenia maszynowego (Pytorch, Tensorflow i Sci-kit Learn).

Wytyczne dotyczące składania wniosków

Aby wziąć udział w konkursie, należy przesłać następujące elementy:

Repozytorium Github z napisanym przez Ciebie kodem Mała demonstracja działania Twojego kodu. Może to być w formie małej aplikacji internetowej, narzędzia CLI, które sędziowie mogą wypróbować, lub małego filmu, który pokazuje jak to działa README z: a. Instrukcje dotyczące tworzenia powtarzalnych wyników b. Jeśli nie udało się uzyskać działającego przykładu, proszę wyjaśnić ograniczenia i krytyczne wyniki badań, które uniemożliwiły stworzenie działającego przykładu Krótki opis dotyczący prywatności, użyteczności i poprawności a. Jaki jest wpływ implementacji tego algorytmu na prywatność? b. W jaki sposób zachowuje on prywatność jego użytkowników?
c. Jak użyteczne byłoby to dla twórców i praktyków uczenia maszynowego? d. Jaki jest hipotetyczny scenariusz, w którym ten model mógłby zostać wykorzystany? e. Czy model daje dokładne wyniki?

**Zasoby

**Gotowy do rozpoczęcia budowy? Mamy cię pod opieką, z tutorialami, sesjami na żywo i dokumentacją, która obejmuje wszystkie podstawowe umiejętności, których potrzebujesz, aby rozpocząć korzystanie z Aleo.

Po zatwierdzeniu wniosku zostaniesz dodany do naszego kanału Discord #zkml-initiative, gdzie możesz uzyskać porady i odpowiedzi od zespołu ekspertów Aleo. Przez cały weekend będziemy również organizować kilka sesji biurowych z członkami naszych zespołów produktowych i inżynieryjnych, co daje więcej możliwości uzyskania pomocy.

A może po prostu chcesz się zagłębić i zacząć czytać? Oto kilka materiałów, które pomogą Ci nauczyć się podstaw.

**Zbuduj przyszłość uczenia maszynowego ** Od opieki zdrowotnej po transport, uczenie maszynowe w końcu dotknie każdej części naszego życia. Mamy szansę upewnić się, że jest ono naprawdę bezpieczne.

Sezon pierwszy inicjatywy Aleo's zkML rusza 12 maja - czy dołączysz do nas?

Aplikuj już teraz.

Підсумки етапу II

У січні минулого року Aleo завершила другу фазу Testnet 3. На другому етапі ми зосередили увагу на стимулюванні верифікаторів генерувати докази з нульовим знанням (ZKP), щоб користувачі могли надсилати/отримувати активи або взаємодіяти з додатками, побудованими на мережі Aleo. В обмін на створення рішень головоломок Proof-of-Succinct-Work (PoSW) на основі монетної бази, проверителі в Aleo мають право на частину винагороди від монетної бази, більш детально описаної в блозі Testnet 3 Incentives Kickoff.

За 8 тижнів до мережі підключилося понад 44 000 провайдерів з більш ніж 94 країн світу. Показник coinbase_target, схожий на складність мережі, досяг піку в 750 мільйонів підтверджень в секунду (PPS). Aleo - перший протокол zkVM та першого рівня, який досягнув такої кількості підтверджень у будь-якій мережі блокчейн. Ми також розподілили 3,1 мільйона кредитів Aleo пропорційно провайдерам, які надали правильні рішення для певного блоку, що перевищують мінімальний рівень складності.

Ці показники значно покращилися порівняно з Testnet 2, коли до мережі було підключено близько 10 000 вузлів, а середня генерація становила 20 000 PPS. Testnet 3 покращив цей базовий показник, збільшивши кількість підключених до мережі вузлів у 4,4 рази, а кількість PPS - у 37 000 разів.

Основні висновки та досягнення

Основна мета проектування Aleo - повністю бездозвільна і стійка до цензури архітектура, і провери відіграватимуть важливу роль у цьому процесі. Хоча провери не беруть безпосередньої участі у виробництві блоків, як валідатори, вони 1) забезпечують більш широке розповсюдження кредитів Aleo і 2) надають користувачеві можливість вибору для генерації доказів. В рамках другої фази Testnet 3 ми змогли довести, що це можливо завдяки наступним факторам:

- Ми підтвердили нашу гіпотезу про те, що відокремлення виробництва блоків від генерації бази монет дозволяє верифікаторам обчислювати докази в потрібному їм масштабі - Значна кількість пулів доведення сприяла генерації доказів у мережі, що допомогло зробити доведення більш доступним - Докази в мережі були справедливо розподілені, на відміну від консолідації майнінгу, яку ми спостерігали під час Testnet 2

Важливим аспектом доведення PoSW є те, що воно створює економічні стимули для прискорення роботи апаратного забезпечення загального призначення, що дозволяє генерувати ZKP з більшою пропускною спроможністю і кращою ефективністю. Для будь-якої платформи, що використовує метод нульового знання, апаратне забезпечення, яке дозволяє доводити ефективно і з мінімальними витратами, є великою перевагою. Тому конкурс ZPrize (який Aleo спонсорував і допоміг організувати) також став важливим кроком у вдосконаленні апаратних реалізацій ZKP. І насправді, робота, виконана в рамках ZPrize над прискоренням процесу PoSW на графічних процесорах, безпосередньо принесла користь доводам в Testnet 3 Фаза II.

Що чекає на Aleo на горизонті

Нашою основною метою залишається запуск основної мережі в липні 2023 року. На шляху до цієї мети ми нещодавно досягли важливої віхи, випустивши Deploy & Execute на Testnet 3 24 лютого. Тепер ви можете розгорнути додаток Leo в мережі Aleo як розробник, що є першим у своєму роді досягненням для простору ZK. Цим релізом Aleo виконала свою основну обіцянку - створити середовище виконання з нульовими знаннями, як це було передбачено в дослідницькій статті ZEXE, написаній у співавторстві технічним директором Aleo Говардом Ву та іншими членами команди засновників.

**Представляємо Testnet 3 Фаза III ** У найближчі тижні ми оголосимо подробиці про внутрішні стимули Testnet 3 Фази III, деякі з яких включатимуть функціональність, пов'язану з випуском Deploy & Execute. Ці внутрішні стимули дозволять зробити наступне:

1. Розробникам додатків писати і розгортати додатки 2. Валідаторам - перевіряти блоки і робити ставки на кредити Aleo 3. Провайдерам генерувати пазли для бази монет PoSW

Паралельно ми запустимо програму винагороди за виправлення помилок і нову програму грантів для спільноти, яка заохочує:

1. Білих хакерів для пошуку багів в дизайні протоколу Aleo 2. Розробників за створення допоміжної інфраструктури, яка взаємодіє з блокчейном Aleo.

В очікуванні цих заохочень ви можете поекспериментувати з Deploy & Execute, дотримуючись інструкцій в розділі Testnet 3 нашої документації для розробників. ** Майбутні етапи** Крім наших планів заохочення, ми запустимо додаткові етапи протягом третьої фази Testnet 3. Вони включають в себе, але не обмежуються ними:

- Запуск нашого механізму консенсусу (AleoBFT) і включення стейкінга

- Додавання Marlin Batch Proving в snarkVM для збільшення пропускної здатності транзакцій

- Реалізація підтримки виконання в ланцюжку за допомогою оператора finalize у програмах Leo, що покращує сумісність додатків

- Підтримка багатозадачних типів транзакцій для snarkVM та Leo, що дозволить більш ефективно здійснювати міжпрограмні виклики

- Для більш детальної інформації про дорожню карту Aleo до запуску мейннету, перегляньте наш пост у Твіттері тут.

Отримання винагороди Заохочувальні винагороди для Testnet 3 Phase II будуть розраховані і вручені учасникам відповідно до того, що було викладено в блозі Testnet 3 Incentives Kickoff. Якщо ви брали участь у заохочувальному конкурсі Testnet 3 Фаза II і відповідали критеріям, викладеним у вищезгаданій статті, ось що вам потрібно знати, щоб отримати свої винагороди:

1. Ви можете отримати винагороду ЛИШЕ якщо ви запустили надані скрипти.

2. ВСІ учасники, які мають право на отримання винагороди, ПОВИННІ пройти процедуру KYC/AML та перевірку OFAC. Якщо ви є громадянином США або Канади, ви не маєте права на отримання винагороди, якщо ви не є акредитованим інвестором.

3. Якщо ви брали участь у перевірочному пулі, розподіл винагороди між учасниками буде залежати від особи (осіб), яка керувала пулом, яка зробила відповідний внесок.

Зверніть увагу, що кредити Aleo, отримані під час Testnet 3, будуть розподілені в рамках запуску основної мережі Aleo. Вони будуть використовуватися як платіжний механізм для оплати послуг в основній мережі Aleo. Вони не є інвестиціями або інвестиційними інструментами, і не повинні розглядатися як такі; їх цінність полягає лише в їх корисності для функціональності мережі. Отримуючи винагороду, ви заявляєте, гарантуєте і визнаєте, що ви є саме таким:

- Не купуєте Aleo Credits як інвестицію і не очікуєте економічної вигоди або прибутку як власник Aleo Credits

- Не покладаєтесь на компанію Aleo або будь-якого з її працівників чи представників у будь-якому випадку

- Не набувати будь-яку частку в акціонерному капіталі або іншу частку власності в Aleo через володіння Aleo Credits

- Не представляти Aleo Credits як інвестицію або можливість отримати економічну вигоду чи прибуток.

Якщо ви брали участь у Етапі II в якості провізора, будь ласка, приєднуйтесь до нашої спільноти Discord для отримання більш детальної інформації та майбутніх оголошень, пов'язаних з отриманням винагороди за заохочувальну діяльність.

Podsumowanie fazy II

W styczniu tego roku Aleo zakończyło drugą fazę Testnet 3. W fazie II skupiliśmy się na zachęcaniu proverów do generowania dowodów zerowej wiedzy (ZKP), aby użytkownicy mogli wysyłać/odbierać aktywa lub wchodzić w interakcje z aplikacjami zbudowanymi w sieci Aleo. W zamian za generowanie rozwiązań zagadek Proof-of-Succinct-Work (PoSW) coinbase, proverzy w Aleo są uprawnieni do części nagrody coinbase, opisanej bardziej szczegółowo we wpisie na blogu Testnet 3 Incentives Kickoff.

W ciągu 8 tygodni byliśmy świadkami, jak ponad 44 000 Proverów połączyło się z siecią z ponad 94 krajów na całym świecie. Coinbase_target, podobnie jak trudność sieci, osiągnął szczyt na poziomie około 750 MILIONÓW Proofs Per Second (PPS). Aleo jest pierwszym protokołem zkVM i warstwą 1, który osiągnął takie liczby dowodów w każdej sieci blockchain. Rozdaliśmy również 3.1M Aleo Credits pro-rata dla Proverów, którzy dostarczyli poprawne rozwiązania dla danego bloku powyżej minimalnego poziomu trudności.

Te wskaźniki znacznie poprawiły się w stosunku do Testnetu 2, kiedy mieliśmy około 10 000 węzłów podłączonych do sieci i średnią generację 20 000 PPS. Testnet 3 poprawił się w stosunku do tego poziomu bazowego o 4,4x większą liczbę węzłów podłączonych do sieci i 37,000x większy PPS.

Najważniejsze wnioski i osiągnięcia

Głównym celem projektowym Aleo jest architektura w pełni pozbawiona pozwoleń i odporna na cenzurę, a prowodyrzy będą odgrywać kluczową rolę w tym procesie. Chociaż prowodyrzy nie uczestniczą bezpośrednio w produkcji bloków jak walidatory, to 1) zapewniają szerszą dystrybucję kredytów Aleo, oraz 2) umożliwiają użytkownikom wybór w zakresie generowania dowodów. Poprzez Testnet 3 Phase II, byliśmy w stanie udowodnić, że jest to możliwe dzięki:

• Potwierdziliśmy naszą hipotezę, że oddzielenie produkcji bloków od generowania bazy monet pozwala prowodyrom na obliczanie dowodów w pożądanej przez nich skali

• Znacząca liczba proving pools przyczyniła się do generowania dowodów w sieci, co pomogło uczynić dowodzenie bardziej dostępnym.

• Dowodzenie w sieci było dość rozproszone, w przeciwieństwie do konsolidacji wydobycia, której byliśmy świadkami podczas Testnetu 2

Krytycznym aspektem dowodzenia PoSW jest to, że tworzy on ekonomiczne zachęty do przyspieszenia sprzętu ogólnego przeznaczenia, aby generować ZKP z większą przepustowością i lepszą wydajnością. Dla każdej platformy wykorzystującej zerową wiedzę, sprzęt, który pozwala prowodyrom generować wydajne i opłacalne dowody jest główną zaletą. W tym celu, konkurs ZPrize (który Aleo sponsorował i pomagał organizować) również był krytycznym krokiem w ulepszaniu implementacji ZKP w sprzęcie. W rzeczywistości, prace wykonane w ramach ZPrize nad przyspieszeniem procesu PoSW na procesorach graficznych przyniosły bezpośrednie korzyści autorom dowodów w Testnet 3 Phase II.

Co się dzieje na horyzoncie dla Aleo

Naszym głównym celem jest uruchomienie mainnetu w lipcu 2023 roku. W dążeniu do tego celu, ostatnio osiągnęliśmy duży kamień milowy, wydając Deploy & Execute na Testnet 3 w dniu 24 lutego. Teraz możesz wdrożyć aplikację Leo w sieci Aleo jako deweloper, co jest pierwszym tego typu osiągnięciem dla przestrzeni ZK. Dzięki temu wydaniu, Aleo spełniło obietnicę stworzenia środowiska wykonawczego o zerowej wiedzy, jak początkowo przewidywano w pracy badawczej ZEXE, której współautorem był Howard Wu i inni członkowie zespołu założycielskiego Aleo.

Przedstawiamy Testnet 3 faza III

W nadchodzących tygodniach ogłosimy szczegóły dotyczące zachęt on-chain Testnet 3 Phase III, z których część będzie zawierała funkcjonalność związaną z wydaniem Deploy & Execute. Te zachęty on-chain umożliwią następujące działania:

1. Programiści aplikacji do pisania i wdrażania aplikacji

2. Walidatory do sprawdzania poprawności bloków i zbierania kredytów Aleo.

3. Provery do generowania zagadek PoSW coinbase

Równolegle, uruchomimy zarówno program bug bounty, jak i nowy program grantów społecznościowych, który zachęca do działania:

1. White Hat Hackers, aby znaleźć błędy w projekcie protokołu Aleo

2. Programiści do budowy infrastruktury wspierającej, która współdziała z Aleo blockchain

W oczekiwaniu na te zachęty, możesz eksperymentować z Deploy & Execute, postępując zgodnie z instrukcjami w sekcji Testnet 3 naszej dokumentacji dla deweloperów.

Przyszłe kamienie milowe

Oprócz naszych planów motywacyjnych, w trakcie trwania III fazy Testnet 3 będziemy realizować dodatkowe kamienie milowe. Obejmują one, ale nie są ograniczone do:

• Uruchomienie naszego mechanizmu konsensusu (AleoBFT) i umożliwienie stakingu

• Dodanie Marlin Batch Proving do snarkVM w celu zwiększenia przepustowości transakcji

• Zwolnienie wsparcia dla wykonania on-chain poprzez instrukcję finalize w programach Leo, co poprawia kompozycyjność aplikacji

• Wsparcie dla typów transakcji wielowykonawczych dla snarkVM i Leo; co umożliwi bardziej wydajne połączenia międzyprogramowe

  Aby uzyskać więcej szczegółów na temat harmonogramu Aleo do uruchomienia mainnetu, sprawdź nasz wpis na Twitterze tutaj.

  **Odbieranie nagród

**

Nagrody motywacyjne za Testnet 3 Faza II zostaną obliczone i przyznane uczestnikom zgodnie z tym, co zostało opisane we wpisie na blogu Testnet 3 Incentives Kickoff. Jeśli brałeś udział w II fazie Testnet 3 i spełniłeś kryteria opisane w powyższym wpisie, oto co musisz wiedzieć, aby odebrać swoją nagrodę:

1.Możesz otrzymać nagrody TYLKO wtedy, gdy uruchomisz dostarczone skrypty.

2.WSZYSCY uczestnicy, którzy kwalifikują się do otrzymania nagród, MUSZĄ przejść przez proces KYC/AML i przejść kontrolę OFAC. Jeśli jesteś obywatelem USA lub Kanady, nie jesteś uprawniony do otrzymania jakichkolwiek nagród, chyba że jesteś inwestorem akredytowanym. 3.Jeśli uczestniczyłeś w puli prowizyjnej, do osoby (osób), które zarządzały pulą, będzie należało przydzielenie nagród odpowiednio do osób, które wniosły wkład.

Prosimy pamiętać, że Kredyty Aleo otrzymane podczas Testnetu 3 będą dystrybuowane w ramach uruchomienia mainnetu Aleo. Mają one być używane jako mechanizm płatności za usługi w sieci głównej Aleo. Nie są to inwestycje ani narzędzia inwestycyjne i nie powinny być traktowane jako takie; ich wartość to po prostu ich użyteczność dla funkcjonalności mainnetu. Odbierając nagrody, oświadczasz, gwarantujesz i potwierdzasz, że:

• Nie nabywa Kredytów Aleo jako inwestycji i nie oczekuje korzyści ekonomicznych ani zysku jako posiadacz Kredytów Aleo

• Nie poleganie w żaden sposób na firmie Aleo, jej pracownikach lub przedstawicielach

• Nie nabywa żadnych udziałów w kapitale lub innych udziałów w Aleo z tytułu posiadania Kredytów Aleo

• Nie będzie przedstawiał Aleo Credits jako inwestycji lub możliwości uzyskania korzyści ekonomicznych lub zysku

• Jeśli uczestniczyłeś w Fazie II jako prover, dołącz do naszej społeczności Discord, aby uzyskać więcej szczegółów i przyszłych ogłoszeń związanych z ubieganiem się o nagrody za działania motywacyjne.

Witaj 2023 Rok 2023 był dla Aleo bardzo aktywny, a mamy dopiero marzec! II Faza Testnetu 3 zakończyła się 31 stycznia. Do sieci podłączyło się ponad 44 000 Proverów i osiągnęliśmy ponad 5 BILIONÓW dowodów na sekundę. Niektórzy z tych prowokatorów są nawet członkami naszego Programu Ambasadorskiego.

W miarę jak zaczynamy wchodzić w III fazę Testnetu 3 i przygotowujemy się do uruchomienia Mainnetu w 2023 roku, po raz kolejny aktualizujemy Program Ambasadorski i otwieramy go jeszcze kilka razy w nadchodzących miesiącach, aby powitać nową grupę entuzjastów Aleo.

Program Ambasadorski został założony w marcu 2022 roku w celu wspierania społeczności osób, które chciały tworzyć wysokiej jakości i pomocne treści (zarówno techniczne, jak i nietechniczne) na temat Aleo. Chcieliśmy pokazać niesamowity wkład, jaki wnieśli członkowie naszej społeczności.

W poprzedniej rundzie ambasadorów ogłosiliśmy kilka istotnych nowych zmian:

• Nakreśliliśmy nowy system punktowy, który pozwoli ambasadorom zbierać więcej Aleo Points* każdego miesiąca.

• Ogłosiliśmy rubrykę ocen dla maestrów, którą będą się kierować na podstawie nadesłanych prac ambasadorskich.

• Powitaliśmy voyagerów, grupę ambasadorów pomiędzy praktykantami a maestrami.

• Wytyczyliśmy ścieżkę awansów (a nawet degradacji!) w ramach Programu Ambasadorskiego w oparciu o jakość wnoszonych prac.

**Co osiągnęliśmy **W ciągu niespełna roku nasz Discord powiększył się o ponad 25 000 kont (obecnie liczy ponad 57 000 zweryfikowanych członków). W ramach przygotowań do uruchomienia Mainnetu przez Aleo w 2023 roku, zwiększamy liczbę przyjmowanych ambasadorów. Obecnie mamy około 200 ambasadorów i chcemy zwiększyć ich liczbę do około 400 do czasu uruchomienia Mainnetu! Mamy wielkie cele na rok 2023, a solidny Program Ambasadorski pomoże zapewnić, że nasza społeczność pozostanie pomocnym i zachęcającym miejscem dla ludzi do budowania Aleo.

Wytyczne W związku z tym, że Program Ambasadorski wciąż się rozwija i rośnie, ogłaszamy poniżej kilka nowych aktualizacji, które pomogą wyjaśnić wiele pytań. Po pierwsze i najważniejsze, mamy wytyczne dotyczące marki. Nie będziemy już używać subiektywnej skali ocen, jak to miało miejsce w przeszłości. Zamiast tego, jeśli Twoje zgłoszenie będzie zgodne z wytycznymi marki, otrzymasz maksymalną liczbę punktów w skali ocen:

Wszystkie zgłoszenia muszą być zgodne z poniższym...

Nie ma literówek (w przypadku tekstu w języku angielskim użyj darmowej wersji Grammarly). Wszystkie informacje są poprawne. Wszystkie loga, kolory i odmiany kolorów pochodzą z naszej strony marki. Posty nie powinny mieć WIĘCEJ niż dwa hashtagi (hashtagi NIE są konieczne). Istnieje dołączony element działania dla czytelników (na przykład: śledzić @AleoHQ Twitter, uruchomić węzeł klienta, dołączyć do naszego Discord, itp.) Stworzyliśmy również przydatne Twitter Handbook, że nurkuje głębiej w niektórych z tych punktów.

System punktowy Uruchamiamy naszego długo oczekiwanego bota ambasadorskiego (zaprojektowanego i zbudowanego przez ambasadora Aleo). Bot będzie współdziałał bezpośrednio z Discordem, dzięki czemu comiesięczne przesyłanie materiałów i prac będzie o wiele prostsze. Pożegnaj się z Google Forms i Google Sheets! Bot zawiera również tablicę liderów dla ambasadorów, aby zobaczyć, jak radzą sobie wśród swoich rówieśników.

Sprawdź nową tabelę Aleo Points* poniżej. Większość kategorii i punktów pozostała bez zmian. Usunęliśmy opcję "projekty osobiste".

Jak zawsze, dziękujemy, że zdecydowaliście się spędzić czas z Aleo. Cieszymy się, że tu jesteście, ponieważ kontynuujemy podróż do Mainnet 2023.

*Punkty Aleo nie mają żadnej wartości.

**Czym jest ZK Hack? ** **ZK Hack to sześciotygodniowe wirtualne wydarzenie, które łączy warsztaty deweloperskie z praktyczną nauką i rozwiązywaniem wyzwań. ** Mówiąc najprościej, jest to okazja, aby dowiedzieć się o dowodach zerowej wiedzy w zabawny i stosowany sposób. Uczenie się przez działanie jest jednym z najlepszych sposobów nauki. Rozwiązywanie tych wyzwań dostarczy intuicji na temat dowodów zerowych i kryptografii w ogóle.

Wyzwania są serią gier w stylu "capture-the-flag", w których uczestnicy otrzymują schemat dowodu zerowej wiedzy, muszą znaleźć lukę i wydobyć jakieś informacje.

Wyzwania te są tworzone przez wybitnych autorów zarówno literatury akademickiej, jak i rzeczywistych zastosowań zerowej wiedzy, w tym badacza Aleo Pratyush Mishra (współautora dokumentu Zexe i opiekuna Arkworks) oraz badacza Aleo Eduardo Morais.

**Leo na ZK Hack ** Leo jest pierwszym formalnie zweryfikowanym językiem programowania o zerowej wiedzy, pozwalającym programistom na pisanie programów wysokiego poziomu, które kompilują się do układów o zerowej wiedzy.

Oprócz sponsorowania i współtworzenia zagadek, prezentujemy Leo na jednym z warsztatów dla deweloperów ZK Hack. Leo posiada framework testowy, rejestr pakietów, resolwer importu, zdalny kompilator i weryfikator twierdzeń. Narzędzia te czynią doświadczenie dewelopera z Leo ergonomicznym, pozwalając deweloperom, takim jak Ty, wykorzystać moc dowodów zerowej wiedzy bez konieczności posiadania doktoratu z kryptografii.

Podczas tego warsztatu będziemy omawiać nowe przypadki użycia Leo. Przedstawimy teorię jego działania, jak również przeprowadzimy nowych programistów przez prawdziwe aplikacje. Nie ma lepszej okazji, aby zapoznać się z najlepszym językiem programowania dla aplikacji o zerowej wiedzy.

**ZK Hack w Lizbonie ** **Zespół Aleo jest podekscytowany możliwością zorganizowania osobistego wydarzenia ZK Hack z Anną Rose w Lizbonie. ** Nie możemy się doczekać, aby wykorzystać tę okazję do współpracy z deweloperami i projektami w branży, aby zwiększyć świadomość i popchnąć kryptografię zerowej wiedzy do przodu. Wraz z naszą społecznością chcemy wprowadzić tę technologię do głównego nurtu, aby zasilić następną generację prywatnych aplikacji internetowych.

Przydatne linki: Strona internetowa — https://www.aleo.org/ Aleo Twitter — https://twitter.com/AleoHQ Discord — https://discord.gg/aleohq YouTube — https://www.youtube.com/c/AleoHQ GitHub — https://github.com/AleoHQ Kalendarz społeczności — https://www.aleo.org/community/calendar Blog z ogłoszeniami — https://www.aleo.org/blog Blog społeczności — https://medium.com/@AleoHQ Eksplorator bloków Aleo — https://www.aleo.network/ Dokumentacja programisty — https://developer.aleo.org/ Translated — mmyevyn#7148

Jesteśmy podekscytowani mogąc ogłosić nasz pierwszy fireside chat z Philipem, CTO z Pine Street Labs. Pine Street Labs było jednym z naszych pierwszych grantobiorców, który rozpoczął rozwój i wdrażanie swojej biblioteki portfeli.

O Pine Street Labs Pine Street Labs buduje bezpieczne i skalowalne oprogramowanie portfelowe dla przedsiębiorstw w świecie multichain. Pomagają klientom korporacyjnym w obsłudze odpowiednich abstrakcji, dzięki czemu mogą skupić się na budowaniu swojej podstawowej działalności. Ich oprogramowanie jest niezależne od łańcucha, zgodne z każdym schematem nadzoru i zapewnia wsparcie dla złożonych funkcji on-chain, w tym rozliczenia, tyczenia i interakcji inteligentnych kontraktów.

Philip Glazman jest inżynierem oprogramowania w przestrzeni kryptowalutowej ze szczególnym naciskiem na portfele kryptowalutowe i opiekę nad nimi. Swoją karierę rozpoczął w firmie Bitmain, pracując nad portfelem Bitcoin BTC.com. Wcześniej był wczesnym inżynierem w River Financial prowadzącym bitcoin i kryptowaluty custody. Obecnie jest współzałożycielem Pine Street Labs, gdzie kieruje pracami inżynierskimi nad budową bezpiecznej i skalowalnej infrastruktury portfeli dla przedsiębiorstw.

Philip wybrał Aleo, ponieważ był bardzo zainteresowany potencjałem dowodów ZK i tym, co w pełni prywatny blockchain może zapewnić w zakresie umożliwienia nowych aplikacji. Aleo jest niesamowicie wysokiej jakości projektem, który dąży dokładnie do tego, i chcieli być zaangażowani jako jeden z ich pierwszych grantobiorców.

Dlaczego warto wybrać bibliotekę portfeli? Jedną z najtrudniejszych części udanego uruchomienia nowego blockchaina jest zdobycie odpowiedniego oprzyrządowania w rękach uczestników sieci, tak aby sieć mogła być użyteczna od samego początku. Dla wielu nowych warstw-1 blockchain, trudno jest mieć ekosystem portfeli i oprogramowania portfelowego, który obsługuje nowe cykle transakcyjne i typy transakcji w momencie uruchomienia sieci; powoduje to, że albo wczesne adopcje wykorzystują niezabezpieczone narzędzia lub rezygnują z uczestnictwa w sieci w ogóle.

Portfele są bramą do każdej sieci, a Pine Street Labs chciał dostarczyć społeczności Aleo najwyższej klasy oprogramowanie portfela, aby uniknąć tego problemu.

O bibliotece portfeli, Nemean Nemean, nazwany po Lwie Nemejskim z mitologii greckiej, jest biblioteką portfela (SDK), która obejmuje generowanie kluczy, podpisywanie kluczy i implementuje klienta dla demona Aleo, aby być kompatybilnym z snarkOS. Nemean jest fundamentalną biblioteką portfela napisaną głównie w Go z referencyjnym klientem portfela, jak również dokumentacją.

Nemean będzie używany jako podstawa dla bibliotek wyższego poziomu i aplikacji, w tym portfeli konsumenckich i portfeli giełdowych poprzez zapewnienie niezbędnego rusztowania wymaganego przez użytkowników korporacyjnych, aby pomóc im wejść do sieci Aleo. Dodatkowo, biblioteka może być rozszerzona o zgodność z Coinbase Rosetta API przy dalszym rozwoju. Nemean został początkowo zbudowany dla uczestników sieci klasy korporacyjnej, takich jak depozytariusze, giełdy, inwestorzy i górnicy instytucjonalni, ale Nemean może być również wykorzystywany przez twórców portfeli i zwykłych użytkowników Aleo blockchain.

Dowiedz się więcej o beneficjencie dotacji Aleo, Philipie, CTO z Pine Street Labs, podczas naszego następnego fireside chat 3 maja 2022 r. o 10am PST/1pm EST.

Przydatne linki: Strona internetowa — https://www.aleo.org/ Aleo Twitter — https://twitter.com/AleoHQ Discord — https://discord.gg/aleohq YouTube — https://www.youtube.com/c/AleoHQ GitHub — https://github.com/AleoHQ Kalendarz społeczności — https://www.aleo.org/community/calendar Blog z ogłoszeniami — https://www.aleo.org/blog Blog społeczności — https://medium.com/@AleoHQ Eksplorator bloków Aleo — https://www.aleo.network/ Dokumentacja programisty — https://developer.aleo.org/ Translated — mmyevyn#7148

Od początkowego uruchomienia Programu Ambasadorskiego Aleo w marcu 2022 roku, widzieliśmy, jak Discord rośnie zarówno pod względem jakości, jak i ilości. Przyjęliśmy łącznie 157 Ambasadorów, podzielonych na dwa poziomy: 34 w grupie maestro i 123 w grupie apprentice. Discord powiększył się o 6000 nowych kont. Uruchomiliśmy Twittera społeczności Aleo, na którym aktywnie wyróżniamy najlepszych współpracowników Aleo w danym tygodniu. Mamy teraz dziesięć kanałów językowych!

Kiedy po raz pierwszy uruchomiliśmy Program Ambasadorów, celem było posortowanie naszej społeczności, aby znaleźć osoby aktywnie tworzące najlepsze treści Aleo. Jesteśmy wdzięczni inżynierom zaangażowanym w Testnet 2, twórcom YouTube umieszczającym filmy o technologii Aleo, blogerom piszącym o języku programowania Leo i wielu innym osobom, które miały w tym swój udział.

W związku z oficjalną premierą Testnet 3 i nowymi funkcjami Aleo na horyzoncie, postanowiliśmy zmienić kilka rzeczy w programie ambasadorskim, aby był on bardziej przejrzysty i wygodny dla naszych ambasadorów.

Będą dwie główne zmiany w sposobie prowadzenia programu.

Przedstawiamy Aleo Voyagers Wraz z trzecią turą ambasadorów wprowadzamy trzecią grupę: podróżników. Pomyśl o voyagerach jako o "złotych praktykantach". Tworzą bardzo wysokiej jakości treści, planują i organizują meetupy Aleo i aktywnie uczestniczą w społeczności. Ambasador może zostać voyagerem tylko wtedy, gdy najpierw jest praktykantem. Podobnie, ambasador może zostać maestro tylko wtedy, gdy najpierw będzie voyagerem.

Aktualizacja systemu punktów Aleo Tabela Punktów Aleo (poniżej) jest tym, czego będziemy używać do konwersji zadań na punkty. Zauważ, że punkty Aleo nie mają ŻADNEJ wartości.

Wcześniej maestro gromadzili 50 punktów Aleo za każdym razem, gdy przeprowadzaliśmy nową rundę ambasadorską. Uczniowie zdobywali 25 punktów na rundę, jeśli wykonali dwa zadania.

Całkowicie zmieniamy sposób, w jaki prowadzimy proces zdobywania Aleo Points, starając się być zdecentralizowanym i przejrzystym.

Każdego miesiąca, jeśli maestro wypełni swoje wymagania dotyczące weryfikacji wszystkich prac praktykantów, moderowania ich kanałów językowych i utrzymywania ich projektów związanych z Aleo, otrzyma 50 punktów Aleo.

Każdego miesiąca, praktykanci będą musieli zebrać MINIMUM cztery punkty, aby utrzymać swoją praktykę. Jeśli praktykant nie dotrzyma tego warunku, zostanie usunięty z programu (choć nadal będzie miał Aleo Punkty, które zgromadził do tej pory). Działania praktykantów będą przeglądane przez maestro i sprawdzane pod kątem jakości. Praktykanci mogą zebrać MAKSYMALNIE 30 punktów w jednym miesiącu. Pamiętaj, że im więcej aktywności tworzonych za punkty, tym wyższa będzie poprzeczka dla jakości każdej aktywności, a maestro będzie mógł odrzucić pracę, jeśli uzna, że jest słaba. Jakość jest bardzo ważna.

Aby praktykant mógł przejść do statusu voyagera, musi zgromadzić 30 Aleo Points przez dwa kolejne miesiące. Innymi słowy, każdego miesiąca przez dwa miesiące z rzędu, będzie musiał zebrać 30 Aleo Punktów (60 punktów na koniec dwóch miesięcy).

Aby podróżnik mógł utrzymać status ambasadora, będzie musiał zebrać MINIMUM osiem punktów miesięcznie. Jeśli zebrana przez nich liczba (x) jest większa lub równa czterem, ale mniejsza niż osiem, zostaną zdegradowani do rangi ucznia. Jeśli będzie to poniżej czterech, zostaną usunięci z programu (ale zachowają Aleo Points, które zgromadzili do tej pory). Ich aktywność będzie również przeglądana przez maestrów i sprawdzana pod kątem jakości. Maksymalnie voyager może zebrać 40 punktów miesięcznie. Aby zostać maestro, voyager musi zgromadzić 40 Aleo Points w ciągu trzech kolejnych miesięcy. Innymi słowy, będą musieli zbierać 40 Aleo Points każdego miesiąca przez trzy kolejne miesiące.

WAŻNE, ABY PAMIĘTAĆ, ŻE TYLKO AMBASADORZY MOGĄ ZBIERAĆ PUNKTY. W trakcie trwania Testnetu 3 będziemy organizować kolejne rundy programu ambasadorskiego, ale ich liczba i dokładne daty nie są jeszcze znane.

Byliśmy pod wrażeniem czasu i energii, które społeczność włożyła w Aleo. Wraz z nowym systemem punktowym, wprowadzimy również tablicę liderów na Discordzie. Wszelkie pytania prosimy zadawać na Discordzie. To tam możecie nas znaleźć!

Przydatne linki: Strona internetowa — https://www.aleo.org/ Aleo Twitter — https://twitter.com/AleoHQ Discord — https://discord.gg/aleohq YouTube — https://www.youtube.com/c/AleoHQ GitHub — https://github.com/AleoHQ Kalendarz społeczności — https://www.aleo.org/community/calendar Blog z ogłoszeniami — https://www.aleo.org/blog Blog społeczności — https://medium.com/@AleoHQ Eksplorator bloków Aleo — https://www.aleo.network/ Dokumentacja programisty — https://developer.aleo.org/ Translated — mmyevyn#7148

Цього тижня Aleo досяг важливого етапу на шляху до Мейннету та індустрії нульових знань, випустивши функціонал Запуску Розгортання та Виконання. Тепер Aleo є першим проектом в Web3, який запустив децентралізовані приватні обчислення.

Децентралізовані Приватні Обчислення (DPC) — це криптографічний примітив для смарт-контрактів, які використовують докази з нульовим рівнем знань для підтвердження правильності транзакцій без публічного розкриття деталей про дії користувача. Він розширює попередні моделі транзакцій зі збереженням конфіденційності (такі як Zerocoin і Zerocash), дозволяючи будь-кому розгортати і запускати будь-яку програму без дозволу і в приватному порядку. Він поєднує конфіденційність ZCash з гнучкою моделлю смарт-контрактів Ethereum. Вперше цей примітив був описаний в науковій статті під назвою Zexe, опублікованій в 2018 році шістьма співавторами, четверо з яких є членами нашої команди (включаючи нашого засновника Howard Wu). П’ять років по тому ця критична функціональність була реалізована в Aleo.

Завдяки DPC і релізу deploy & execute, Aleo відкриває можливості перевірки з нульовим знанням на децентралізованій архітектурі, яку розробники очікують від Web3, забезпечуючи при цьому збереження приватності користувачів. Зокрема, розробники, які використовують Aleo, отримують вигоду від необмеженого часу виконання та повної конфіденційності даних, і все це в середовищі доведення без дозволів. Давайте розглянемо ці три аспекти далі.

Необмежений Час Виконання

У типовому блокчейні розробники обмежені в часі виконання додатків, що зазвичай забезпечується концепцією “Газу”. З Aleo розробники можуть створювати додатки, не обмежені лімітами газу, що дозволяє користувачам виконувати будь-яку програму, незалежно від того, наскільки довго вона працює. Це пов’язано з тим, що транзакції Aleo — це просто докази з нульовим знанням, які мають однаковий час перевірки, незалежно від часу роботи програми, оскільки обчислення для запуску додатків відбуваються поза ланцюжком.

Це відкриває багато нових додатків, які раніше були неможливі у Web3, наприклад, машинне навчання. У блокчейнах, які використовують газ (наприклад, Ethereum), навіть крихітна лінійна регресія перевищила б ліміт газу. Але з Aleo транзакції можуть дешево довести виконання великих моделей ML, які виконуються за лічені хвилини або години. Це відкриває нові можливості для Web3-додатків, від перевірених облікових даних/самостійної ідентичності до охорони здоров’я і квантової торгівлі.

Конфіденційність Даних

Сьогодні додатки на блокчейні лише почали розкривати свій потенціал. Це тому, що додатки, побудовані на традиційному блокчейні, за замовчуванням і за задумом мають бути загальнодоступними. Але Aleo гарантує, що користувачі можуть зберігати контроль над тим, якою інформацією вони діляться і з ким. Ця модель додає внутрішню безпеку до будь-якої транзакції і створить ряд нових варіантів використання.

Leo пропонує ряд інструментів, які допоможуть користувачам і розробникам гарантувати, що вони дотримуються чинних законів і нормативних актів, забезпечуючи при цьому захист споживчих даних. Aleo підтримує ключі перегляду, які дозволяють користувачам вибірково ділитися вмістом транзакції з обраною третьою стороною, а також ключі графіків, які дозволяють користувачам вибірково ділитися набором сторін, з якими вони взаємодіяли. Важливо, що ця прозорість може бути точно налаштована для конкретного додатку, забезпечуючи одночасно кращий користувацький досвід і кращі інструменти для дотримання нормативних вимог.

Доведення Без Дозволів

За допомогою deploy & execute розробники тепер можуть розгортати програми в програмному Реєстрі Aleo. Ми розглянемо технічні деталі в одному з наступних постів блогу. Наразі достатньо зрозуміти, що Реєстр — це відображення ідентифікатора програми у байт-код Aleo (ціль компіляції з Leo, нашої доменної мови для ZK).

Оскільки цей реєстр зберігається у децентралізованій книзі, оновлення реєстру є стійкими до цензури, що зменшує ризик платформи для розробників та користувачів. Крім того, користувачі можуть генерувати докази виконання, не покладаючись на сторонніх контролерів. Навіть якщо автори інструментарію Aleo або розробники будь-якого розгорнутого додатку підуть з життя, користувачі можуть продовжувати запускати програми, які були розгорнуті в децентралізованій мережі.

В той час як багато проектів, що будують zkEVM, націлені на децентралізацію в майбутньому, Aleo досягає її вже сьогодні. Aleo є єдиним протоколом Web3, де розробники можуть писати/розгортати, а користувачі можуть виконувати будь-які програми з нульовими знаннями без необхідності надсилати електронні листи команді BD або використовувати API для перевірки.

Погляд У Майбутнє

Сьогоднішній день знаменує собою прорив у децентралізованих обчисленнях. Aleo вперше реалізувала примітив децентралізованих приватних обчислень, описаний в оригінальній дослідницькій статті Zexe. З появою цієї технології розробники тепер можуть розгортати додатки на Testnet 3 від Aleo. Використовуючи силу доказів з нульовим знанням, користувачі можуть виконувати ці програми без дозволу, поза ланцюжком, з гарантією, що їхні дані будуть захищені.

Це важливий крок на шляху до запуску Aleo Mainnet. Але це далеко не єдина цікава особливість, яка відрізняє Aleo від інших проектів в Web3, що використовують криптографію з нульовим знанням. Протягом наступних тижнів нас чекає ще більше!

Якщо ви розробник і хочете почати роботу: ознайомтеся з нашою документацією для розробників для Leo тут:

Щоб розгорнути програму в Testnet, зверніться до нашого спеціального посібника тут.

Корисні посилання:

Сайт — https://www.aleo.org/ Твіттер Aleo — https://twitter.com/AleoHQ Дискорд — https://discord.gg/aleohq YouTube — https://www.youtube.com/c/AleoHQ GitHub — https://github.com/AleoHQ Календар спільноти — https://www.aleo.org/community/calendar Блог з анонсами — https://www.aleo.org/blog Блог ком’юніті — https://medium.com/@AleoHQ Aleo Block Explorer — https://www.aleo.network/ Документація розробників — https://developer.aleo.org/Translated — mmyevyn#7148

W tym tygodniu, Aleo osiągnęło ważny kamień milowy na drodze do mainnetu, a także dla branży zerowej wiedzy, wydając funkcjonalność deploy and execute. Aleo jest teraz pierwszym w Web3, który uruchomił zdecentralizowane obliczenia prywatne.

Zdecentralizowane obliczenia prywatne (DPC) to prymityw kryptograficzny dla inteligentnych kontraktów, które wykorzystują dowody zerowej wiedzy, aby udowodnić poprawność transakcji bez publicznego ujawniania szczegółów dotyczących działań użytkownika. Rozszerza wcześniejsze modele transakcji zachowujących prywatność (takie jak Zerocoin i Zerocash), aby umożliwić każdemu wdrożenie i uruchomienie dowolnego programu, bez zezwolenia i prywatnie. Łączy chroniącą prywatność naturę ZCash, z elastycznym modelem inteligentnego kontraktu Ethereum. Ten prymityw został po raz pierwszy opisany w pracy badawczej zatytułowanej Zexe, opublikowanej w 2018 roku przez sześciu współautorów, z których czterech to członkowie naszego zespołu (w tym nasz założyciel Howard Wu). Pięć lat później ta krytyczna funkcjonalność jest na żywo na Aleo.

Wraz z DPC i wydaniem deploy & execute, Aleo uwalnia moc dowodów zerowej wiedzy w zdecentralizowanej architekturze, której deweloperzy oczekują od Web3, zapewniając jednocześnie ochronę prywatności użytkowników. W szczególności, deweloperzy budujący na Aleo korzystają z nieograniczonego czasu działania i pełnej prywatności danych, a wszystko to w ramach środowiska dowodzenia bez zezwolenia. Przyjrzyjmy się bliżej tym trzem aspektom.

Nieograniczony czas działania W przypadku typowego blockchaina deweloperzy są ograniczeni pod względem czasu działania aplikacji, który jest zwykle egzekwowany za pomocą koncepcji "gazu". Z Aleo, deweloperzy mogą tworzyć aplikacje nieograniczone limitami gazu, umożliwiając użytkownikom wykonanie dowolnego programu, bez względu na to, jak długo trwa. Dzieje się tak, ponieważ transakcje Aleo są tylko dowodami zerowej wiedzy, które mają jednolity czas weryfikacji, niezależnie od czasu działania programu, ponieważ obliczenia dla działających aplikacji odbywają się poza łańcuchem.

To odblokowuje wiele nowych zastosowań, które wcześniej nie były możliwe w Web3, jak np. uczenie maszynowe. Na blockchainach, które używają gazu (jak Ethereum), nawet niewielka regresja liniowa przekroczyłaby limit gazu. Ale z Aleo, transakcje mogą tanio udowodnić wykonanie dużych modeli ML, które zajmują minuty lub godziny. To otwiera nowe możliwości dla aplikacji Web3, od weryfikowalnych poświadczeń / samowystarczalnej tożsamości do opieki zdrowotnej po handel kwantowy.

Prywatność danych Dzisiejsze aplikacje Blockchain zaczęły dopiero zarysowywać powierzchnię swojego potencjału. Dzieje się tak dlatego, że aplikacje zbudowane na tradycyjnym blockchainie muszą być domyślnie i z założenia publiczne. Aleo zapewnia, że użytkownicy mogą zachować kontrolę nad tym, jakie informacje są udostępniane i z kim. Ten model dodaje nieodłączne bezpieczeństwo do każdej transakcji i stworzy szereg nowych przypadków użycia.

Aleo oferuje szereg narzędzi, które pomagają użytkownikom i deweloperom zapewnić zgodność z obowiązującymi przepisami i regulacjami, zapewniając jednocześnie ochronę danych konsumentów. Aleo obsługuje klucze widoku, aby umożliwić użytkownikom selektywne udostępnianie treści transakcji wybranej stronie trzeciej, a także klucze grafu, które pozwalają użytkownikom selektywnie udostępniać zestaw stron, z którymi weszli w interakcję. Co ważne, ta przejrzystość może być precyzyjnie dostrojona do danej aplikacji, zapewniając jednocześnie lepsze doświadczenie użytkownika i lepsze narzędzia do zapewnienia zgodności.

Sprawdzanie bez uprawnień Dzięki deploy & execute, programiści mogą teraz wdrażać programy do rejestru programów Aleo. Szczegóły techniczne omówimy w przyszłym wpisie na blogu. Na razie wystarczy zrozumieć, że rejestr jest mapowaniem identyfikatora programu na Aleo bytecode (cel kompilacji z Leo, naszego języka specyficznego dla domeny ZK).

Ponieważ rejestr ten jest przechowywany w zdecentralizowanej księdze, aktualizacje rejestru są odporne na cenzurę, co zmniejsza ryzyko platformy dla deweloperów i użytkowników. Co więcej, użytkownicy mogą generować dowody wykonania bez polegania na strażniku strony trzeciej. Nawet jeśli autorzy toolchaina Aleo lub twórcy jakiejkolwiek wdrożonej aplikacji odejdą, użytkownicy mogą nadal uruchamiać programy, które zostały wdrożone w zdecentralizowanej sieci.

Podczas gdy wiele projektów budujących zkEVMs celuje w decentralizację w przyszłości, Aleo osiąga ją już dziś. Aleo jest jedynym protokołem Web3, w którym deweloperzy mogą pisać/wdrażać, a użytkownicy mogą wykonywać dowolną aplikację o zerowej wiedzy bez konieczności wysyłania wiadomości do zespołu BD lub korzystania z API provera.

Patrząc w przyszłość Dzisiejszy dzień oznacza przełom w zdecentralizowanym przetwarzaniu danych. Aleo po raz pierwszy zaimplementowało prymitywne zdecentralizowane obliczenia prywatne opisane w oryginalnym artykule badawczym Zexe. Wraz z pojawieniem się tej technologii, programiści mogą teraz wdrażać aplikacje do sieci Testnet 3 firmy Aleo. Wykorzystując moc dowodów zerowej wiedzy, użytkownicy mogą wykonywać te programy bez zezwolenia, poza łańcuchem, z gwarancją, że ich dane są chronione.

Jest to ważny krok w kierunku uruchomienia Aleo Mainnet. Ale nie jest to jedyna ekscytująca cecha, która odróżnia Aleo od innych projektów w Web3 wykorzystujących kryptografię zerowej wiedzy. W ciągu najbliższych tygodni będziemy mieli więcej do zaoferowania!

Jeśli jesteś deweloperem i chcesz zacząć: sprawdź nasze dokumenty deweloperskie dla Leo tutaj:

Aby wdrożyć program do naszej sieci testowej, zapoznaj się z naszym specjalnym przewodnikiem tutaj.

Przydatne linki: Strona internetowa — https://www.aleo.org/ Aleo Twitter — https://twitter.com/AleoHQ Discord — https://discord.gg/aleohq YouTube — https://www.youtube.com/c/AleoHQ GitHub — https://github.com/AleoHQ Kalendarz społeczności — https://www.aleo.org/community/calendar Blog z ogłoszeniami — https://www.aleo.org/blog Blog społeczności — https://medium.com/@AleoHQ Eksplorator bloków Aleo — https://www.aleo.network/ Dokumentacja programisty — https://developer.aleo.org/ Translated — mmyevyn#7148

Przegląd

Z przyjemnością informujemy o oficjalnym uruchomieniu Programu Dotacji Społecznych Aleo.

Ten program ma na celu przyspieszenie naszej wizji stworzenia całkowicie prywatnego i całkowicie osobistego doświadczenia dla wszystkich w Internecie. Aleo wykorzystuje technologię zwaną kryptografią o zerowej wiedzy, aby wdrożyć nowy paradygmat znany jako Decentralized Private Computing lub zkCloud. Od naszego nowego łańcucha blokchaina 1, który niezmiennie przechowuje programy i dane, przez nowy język specyficzny dla domeny do pisania aplikacji o zerowej wiedzy, po nasze studio programistyczne i REPL online, zapewniamy kompletny zestaw narzędzi dla programistów, którzy chcą zbudować sieć nowej generacji.

Aby zrealizować tę wizję, stworzymy zachęty dla członków społeczności, aby mogli wnosić znaczący wkład w ekosystem open source Aleo.

Niezależnie od tego, czy jesteś doświadczonym programistą, który chce stworzyć aplikację na Aleo, projektantem, który chce tworzyć interaktywne samouczki dla naszych produktów, czy po prostu adwokatem prywatności online, który chciałby pomóc w tworzeniu materiałów marketingowych, masz możliwość otrzymania grantu . Beneficjenci dotacji są nie tylko współtwórcami naszego ekosystemu, ale także właścicielami, którzy, mamy nadzieję, będą nadal odgrywać rolę w naszej społeczności poza zakresem pierwotnego grantu.

Na ten początkowy program Aleo przeznaczyło 1 mln USD ze swojego skarbca.

Finansowanie to zostanie podzielone na cztery kategorie dotacji, określone na podstawie wysokości wkładu (patrz poniżej).

Dla tych kategorii grantów chcemy stworzyć zestaw aplikacji referencyjnych, które demonstrują możliwości Aleo.

Istnieją cztery konkretne przypadki użycia, a także piąta kategoria dla wnioskodawców, którzy chcieliby zgłosić własne. Finansowanie w wysokości 1 miliona USD zostanie podzielone równo między każdy z tych przypadków użycia (patrz poniżej).

Oprócz pieniędzy, które otrzymasz z dotacji, otrzymasz również ocenę reputacji opartą na jakości zrealizowanego projektu. Ten wynik reputacji identyfikuje Cię jako kluczowego gracza w ekosystemie Aleo i zostanie wykorzystany do przyszłych nagród i/lub korzyści.

Proces aplikacji

Aby ubiegać się o dotację, należy wypełnić i złożyć wniosek do Aleo Grants.

Wszystkie wnioski będą przyjmowane na bieżąco i co tydzień oceniane przez naszą komisję rewizyjną. Jeśli zostaniesz wybrany, Menedżer Programu Grantowego Aleo skontaktuje się z Tobą w celu omówienia opcji płatności i dalszych kroków. Obecnie przetwarzamy wypłaty grantów w formie stablecoinów USD, Bitcoinów i Zcash. Więcej informacji na temat procesu aplikacyjnego można znaleźć w formularzu aplikacyjnym.

Komitet recenzencki składa się z ekspertów zespołu Aleo z różnych dziedzin. Będą oni przeglądać i komentować wszystkie zgłoszenia.

[Bonus] Konkurs Programowania Leo #1

Oprócz uruchomienia Programu Dotacji Społecznościowych Aleo, organizujemy również pierwszy konkurs programistyczny na nasz język/kompilator Leo.

To okazja dla programistów do zabawy i nauki tworzenia aplikacji za pomocą Leo. W tym pierwszym konkursie programistycznym prosimy uczestników o napisanie wydajnego algorytmu sortowania listy 32-bitowych liczb całkowitych bez znaku w Leo.

Więcej informacji można znaleźć na naszej wiki społeczności na stronie konkursu w programowaniu Leo. Zdobywca pierwszego miejsca w konkursie otrzyma główną nagrodę w wysokości 500 $, a także pierwsze miejsce w naszej tabeli liderów i zostanie wpisany do naszej Galerii Sław!

Przydatne linki: Strona internetowa — https://www.aleo.org/ Aleo Twitter — https://twitter.com/AleoHQ Discord — https://discord.gg/aleohq YouTube — https://www.youtube.com/c/AleoHQ GitHub — https://github.com/AleoHQ Kalendarz społeczności — https://www.aleo.org/community/calendar Blog z ogłoszeniami — https://www.aleo.org/blog Blog społeczności — https://medium.com/@AleoHQ Eksplorator bloków Aleo — https://www.aleo.network/ Dokumentacja programisty — https://developer.aleo.org/ Translated — mmyevyn#7148

Zero-knowledge proof — jest to protokół kryptograficzny, w którym jedna strona udowadnia drugiej stronie, że coś jest prawdziwe, nie ujawniając, jak prawdziwe jest.

Na przykład możesz udowodnić komuś, że jesteś odporny na COVID, nie ujawniając, w jaki sposób uzyskałeś odporność lub kiedy stałeś się odporny. Kryptografia bazowa zapewnia, że ​​żadna ze stron obserwujących transakcję nie dowie się żadnych informacji, dlaczego oświadczenie jest prawdziwe. Jednak te same strony mogą się przekonać, nawet jeśli nie ufają osobie, która udowadnia zeznanie. Korzystanie z kriografii zerowego ujawniania Aleo, może pomóc przywrócić władzę w ręce użytkowników, a nie interesy korporacyjne, które nią rządzą. To coś więcej niż „posiadanie swoich danych”, to przywrócenie i przedefiniowanie Twojej tożsamości cyfrowej, tak abyś Ty i tylko Ty mógł wybrać, czym i komu chcesz się podzielić.

Aleo wykorzystuje zaawansowaną technologię zwaną kryptografią zerowego ujawniania, która pozwala programistom tworzyć zdecentralizowane aplikacje. Spersonalizowane usługi oferowane użytkownikom bez narażania kontroli nad ich danymi osobowymi. W przeciwieństwie do innych blockchainów, takich jak Etherium, transakcje Aleo są przetwarzane poza łańcuchem i sprawdzane tylko przez węzły sieci. Pozwala to platformie na obsługę większej liczby transakcji i umożliwia programistom tworzenie zdecentralizowanych aplikacji, które mogą obsługiwać złożone scenariusze. Zastosowania w świecie rzeczywistym, które obecnie wymagają scentralizowanych serwerów.

Celem Aleo jest stworzenie zdecentralizowanej sieci open source, która będzie oferować solidne wsparcie dla tworzenia, wdrażania i uruchamiania prywatnych aplikacji w Internecie. Uważają, że otwarty, zdecentralizowany charakter tego funduszu zapewni silniejszą zachętę do uczestnictwa. I tak jak model ekonomiczny Bitcoina był kluczowy dla jego sukcesu, stabilna ekonomia tokenów o przewidywalnych cenach zapewnia idealną podstawę. Zapewnienie nowej generacji obliczeń opartych na kryptografii z zerowym ujawnianiem informacji.

Przydatne linki: Strona internetowa — https://www.aleo.org/ Aleo Twitter — https://twitter.com/AleoHQ Discord — https://discord.gg/aleohq YouTube — https://www.youtube.com/c/AleoHQ GitHub — https://github.com/AleoHQ Kalendarz społeczności — https://www.aleo.org/community/calendar Blog z ogłoszeniami — https://www.aleo.org/blog Blog społeczności — https://medium.com/@AleoHQ Eksplorator bloków Aleo — https://www.aleo.network/ Dokumentacja programisty — https://developer.aleo.org/ Translated — mmyevyn#7148

Aleo zebrało solidny zespół kompilatorów, aby stworzyć bardzo ambitny język kompilatora schematów. Głównym celem tej pracy jest umożliwienie programistom jak najłatwiejszego wykorzystania dowodów z wiedzą zerową w swoich aplikacjach — jest to osiągane poprzez zminimalizowanie wymagań dotyczących wiedzy kryptograficznej. Więc jak dokładnie Leo to osiąga i co musisz wiedzieć, aby zacząć go używać? Dowiedzmy Się.

Kluczowe pomysły

Przede wszystkim przypomnijmy sobie pokrótce, czym jest dowód z wiedzą zerową. To jest trochę danych, które dowodzą, że wykonaliśmy obliczenia poprawnie; na przykład, że użyliśmy klucza prywatnego do wysłania do kogoś NFT lub że mamy jakiś atrybut, który pozwala nam aktualizować stan aplikacji. Pozwala nam również zachować prywatność niektórych danych, jeśli tak zdecydujemy; na przykład nie musimy ujawniać klucza prywatnego, którego użyliśmy do wysłania NFT. Dane dowodowe są również znacznie mniejsze niż wszystkie obliczenia, więc będą wymagały znacznie mniej miejsca do przechowywania (w łańcuchu) i będą szybsze do przesłania.

To bardzo abstrakcyjny pomysł, więc być może będzie bardziej trafny, jeśli odniesiemy go do problemów skalowalności, które obserwujemy w tej chwili w branży. Przyjrzyj się wyzwaniom, z jakimi borykają się różne sieci, jeśli chodzi o uzyskiwanie wystarczającej liczby transakcji na sekundę, oraz wymaganiom rozwiązań skalujących, aby poszerzyć wrażenia z gier online. Narzędzia, takie jak podział stanu, okazały się przydatne, ale musimy dodać więcej, aby wesprzeć rozwój tych przypadków użycia (i przyszłych przypadków użycia, o których jeszcze nawet nie wiemy).Ponadto ZKP pozwala nam również ukryć dane, których nie chcemy ujawniać; oczywiście nie jest to możliwe w przypadku innych rozwiązań skalujących.

Teraz jak robisz ZKP? Cóż, zrobiliśmy to dla nas za pomocą systemu dowodowego i czegoś, co nazywa się schematem ZK — to właściwie schemat, który musimy zbudować, i to właśnie zrobi dla ciebie Leo! Biblioteki przekształcające obwody ZK w dowody już istnieją, do tej pory ludzie korzystali z tych bibliotek bezpośrednio.

Pomyśl o urządzeniu, którego teraz używasz, ma wewnątrz obwody, które wykonują wszystkie te obliczenia, prawda? Czy te obwody nie są po prostu bramkami NAND, przez które przechodzą zera i jedynki? Obwody ZK są bardzo podobne, z tą różnicą, że zamiast elementów NAND są zbudowane z elementów dodawania i mnożenia, a zamiast zer i jedynek mamy liczby od zera do p , gdzie p jest fenomenalnie dużą liczbą pierwszą. Czy zaczynasz zdawać sobie sprawę, że w obwodach ZK możemy wykonać tyle samo obliczeń, co w rzeczywistych obwodach?

Teraz dochodzimy do sedna problemu, powodem, dla którego Aleo tak dużo inwestuje w budowę kompilatora układów Leo jest to, że zamiana pomysłów aplikacji wysokiego poziomu na układy ZK jest fenomenalnie powolna, ponieważ trzeba ręcznie składać wszystkie elementy dodawania i mnożenia do reprezentowania, jakie obliczenia powinny reprezentować twoją aplikację. Chodzi mi o to, ile czasu zajęłoby Ci napisanie normalnych aplikacji, gdybyś musiał podłączyć bramki NAND do budowania obliczeń… Nie brzmi to zbyt zabawnie, prawda?

Cóż, to jest obecny stan tworzenia schematu ZK. Zasadniczo musisz pracować na poziomie schematu, ponieważ nie ma jeszcze wystarczającej infrastruktury do automatyzacji powtarzalnych części niskiego poziomu. A w rzeczywistości jest jeszcze gorzej. Nie dość, że nie mamy jeszcze tych narzędzi do automatyzacji, to jeszcze potrzeba dużej wiedzy kryptograficznej, aby nawet zacząć budować obwody ZK. Aby pokonać tę barierę wejścia, w większości przypadków ludzie potrzebują kilku miesięcy bezpośredniego szkolenia. Nie brzmi dobrze dla rozwoju produktu.

Leo

Leo to oparty na Ruście, statycznie typowany język programowania przeznaczony do pisania prywatnych aplikacji. Jest przeznaczony dla programistów, którzy potrafią intuicyjnie zbudować blockchain Aleo, stanowiąc podstawę prywatnego zdecentralizowanego ekosystemu. Jest to pierwszy znany język programowania, który wprowadza platformę testową, rejestr pakietów, narzędzie do rozpoznawania importu, zdalny kompilator i generator twierdzeń dla aplikacji o wiedzy zerowej ogólnego przeznaczenia.

Leo został zaprojektowany tak, aby wyeliminować jak najwięcej wymagań dotyczących wiedzy kryptograficznej. Co więcej, ma przypominać Javascript i Typescript, dzięki czemu armia programistów JS/TS (około 12 milionów z nich, liczba programistów kryptograficznych jest znikoma) będzie miała bardzo prostą krzywą uczenia się.

Przejdźmy do przodu i powiedzmy, że napisałeś program Leo, taki jak sortowanie bąbelkowe na powyższym obrazku — co właściwie robi Leo, kiedy uruchamiasz program?

Pobiera Twój kod, tworzy schemat walidacji, który reprezentuje obliczenia, które chcesz uruchomić, wypełnia przewody wejściowe żądanymi wartościami, uruchamia schemat, generuje klucze walidacji/walidacji, a następnie łączy wszystkie istotne dane w ZKP. Na przykład możesz uruchomić go na wejściu na poniższym obrazku.

Ale powiedzieliśmy, że nie potrzebujesz specjalnej wiedzy z kryptografii, aby używać Leo, więc o co chodzi z tworzeniem dowodów? Podsumowując, Leo wyprowadza dowód, że wykonałeś obliczenia poprawnie, co oznacza, że ​​jeśli uruchomisz powyższy schemat na jakiejś tablicy i przedstawisz tablicę wyjściową wraz z dowodem, każdy obserwator może potwierdzić, że tablica została rzeczywiście posortowana, sprawdzając dowody, nie tablica.

To może wydawać się niewiele, jeśli tablica ma tylko 10 elementów, ale kiedy zaczynamy pracować ze strukturami danych, które mają miliony elementów i bardziej złożone obliczenia, kontrola dowodu (który zawsze ma ten sam rozmiar!) zaczyna przekazywać znacznie więcej wartość. Ale to nie jest artykuł o tym, jak korzystać z ZKP, ten artykuł ma pomóc programistom w nauce Leo, aby mogli sami tworzyć wartościowe aplikacje.

Leo robi również więcej niż tylko tworzy dla Ciebie diagram i generuje z niego dowód. Jest wypełniona funkcjonalnością, która pomaga maksymalnie skrócić czas tworzenia. Struktura testowa, rejestr pakietów i procedura importowania współpracują ze sobą, aby zaoszczędzić programistom dużo czasu, zapewniając, że funkcje zewnętrzne można łatwo importować, a kod faktycznie robi to, czego się od niego oczekuje.

Kiedy budujesz ekosystem, którego głównym celem jest tworzenie skalowalnych aplikacji prywatnych, jednym z najlepszych sposobów napędzania rozwoju jest usunięcie jak największej liczby barier w rozwoju aplikacji. To właśnie pomaga osiągnąć Leo. Jeśli chcesz dowiedzieć się więcej, zajrzyj na plac zabaw lub dokumentację dewelopera.

Przydatne linki: Strona internetowa — https://www.aleo.org/ Aleo Twitter — https://twitter.com/AleoHQ Discord — https://discord.gg/aleohq YouTube — https://www.youtube.com/c/AleoHQ GitHub — https://github.com/AleoHQ Kalendarz społeczności — https://www.aleo.org/community/calendar Blog z ogłoszeniami — https://www.aleo.org/blog Blog społeczności — https://medium.com/@AleoHQ Eksplorator bloków Aleo — https://www.aleo.network/ Dokumentacja programisty — https://developer.aleo.org/ Translated — mmyevyn#7148