Pozwólcie, że opowiem wam pewną historię. Połowa 2023 roku. Właśnie zdecydowałem się założyć Fermah. Skorzystałem z rozmowy telefonicznej z kilkoma osobami, którym głęboko ufam, w tym z Amitem Sahai, światowej sławy kryptografem, który ma fundamentalny wkład w przestrzeń ZK. Podzieliłem się wizją: ZK powinien być łatwy dla programistów. Nikt nie powinien być zmuszony do walki z tworzeniem infrastruktury dowodowej i jej optymalizacją; Powinni być w stanie po prostu oddelegować dowodzenie do platformy, która to zrobi. Amit: "A co z danymi świadków? Jak można ufać przypadkowym procesorom graficznym z wrażliwymi danymi świadków?" Mnie: "Większość aplikacji dostępnych obecnie w produkcji nie korzysta nawet z części ZKP opartej na wiedzy zerowej — tylko ze zwięzłości". Amit roześmiał się: "A więc to jest jak ZK bez ZK! Co więc robią aplikacje, które dbają o prywatność, aby generować dowody?" Mnie:... Po rozmowie miałem wiele spotkań i byłem niespokojny przez cały dzień. Napisałem do Amita coś takiego: "Technologia ZK niedostępna dla osób, do których ochrony została pierwotnie zaprojektowana, jest dzika. Nie jestem jednak pewien, czy to właściwy czas na zbudowanie rozwiązania. Będę musiał zrobić rozeznanie rynku". Zacząłem więc od prostego podejścia: Krok 1. Zrób listę aplikacji, które zaczynają zapowiadać się na to, że staną się ogromne Krok 2. Zobacz, które z nich potrzebują ZK z prywatnością Rzeczywiście, dwie z najlepszych aplikacji to ZK-identity i zkTLS. Pozwólcie, że szybko powiem wam, dlaczego byłem do nich optymistycznie nastawiony, zanim przejdziemy do historii. Byłem oszołomiony tym, jak przekonujący jest dowód osobowości dla zabezpieczenia przyszłości opartej na sztucznej inteligencji - i jak Sam Altman, lider w dziedzinie sztucznej inteligencji, podkreślił potrzebę tożsamości ZK w @worldcoin. zkTLS to bardziej osobista historia. Wskoczyłem na tę modę, gdy było na niej prawie tylko kilka osób. To było dobre 5 lat temu. Prowadziłem produkt i wdrożenie projektu zkTLS w @MinaProtocol. Już wtedy rozumiałem, że nadejdzie czas, kiedy adopcja kryptowalut będzie napędzana przez wykorzystanie miejsca, w którym adopcja już istnieje — Web2. A tym mostem jest zkTLS. Byłem przekonany, że musimy to rozwiązać. Było jasne, że musimy pójść drogą MPC – FHE jest nadal zbyt optymistyczne do tego rodzaju ciężkiej pracy. Zagłębiłem się w prace naukowe i natknąłem się na wspólny artykuł Dana Boneha i Alexa Özdemira w SNARK oraz na późniejszą linię pracy. Chodzi o to, że wiele maszyn generuje dowody za pomocą protokołu MPC, dzięki czemu żadna pojedyncza maszyna nie ma dostępu do poufnych danych. Przenieśmy się szybko do października/listopada 2023 roku, kiedy to realizowałem całą wizję Fermah autorstwa Dana. Pięknie było otrzymać jego błogosławieństwo dla Fermy i jej wizji. Od tego momentu ruszyłem naprzód z naszym zbiorem nasion, z podstawową tezą: zbuduj to, z czego Fermah jest dziś znany - uniwersalny rynek dowodów - i dodaj złotą wisienkę na torcie: MPC-zkVM. Moją wizją jest zbudowanie ZKVM, który jest przyjazny dla MPC i jest wyposażony w poufne dowody delegacji. Chodzi o to, że: A. Programiści mogą pisać obliczenia w popularnych językach, takich jak Rust B. Nie muszą się martwić o UX - koniec z udowadnianiem po stronie klienta C. Nie muszą radzić sobie z udowadnianiem infrastruktury. Ich klienci po prostu wysyłają transakcję "udowodnij to z prywatnością" do Fermah - a wychodzi dowód, wygenerowany poufnie To jest sedno naszego protokołu Confidential Proving Delegation (CPD). Cieszę się, że mogę podzielić się naszymi pierwszymi małymi krokami w kierunku tej wizji: CPD dla dowodów Groth16 - nadal jednego z najczęściej używanych systemów dowodowych. Stoimy na ramionach gigantów: - @Ingo_zk 's Icicle, który turbodoładowuje sprawdzając się na GPU - Taceo, który wprowadził MPC do Circom - Boneh-Ozdemir, który dodał MPC do Arkworks Nasz protokół CPD działa ręka w rękę z warstwą dobierania graczy Fermah, oferując kompleksowe rozwiązanie dla każdego, kto buduje z myślą o ZK i prywatności. Jesteśmy również niezmiernie wdzięczni @worldcoin za to, że wcześnie uwierzyli w tę wizję. Dali nam grant na zbadanie CPD dla systemu dowodu reszty, co było wyjątkowo znaczące, biorąc pod uwagę, jak byczo nastawieni jesteśmy w Fermah do tożsamości ZK. Ogromne podziękowania dla @recmo i @DCbuild3r za wsparcie i zaufanie. Jesteśmy również wdzięczni niesamowitemu @nico_mnbl, Ryanowi i Danielowi z byłego Modulus Labs, a teraz z World za to, że byli pudłem rezonansowym! Współpracujemy już z kilkoma fenomenalnymi klientami i chcielibyśmy pomóc wszystkim innym, którzy podzielają wizję ZK z prywatnością. Naprzód!