Znowu porozmawiajmy o Zama, błyszczącym dziecku FHE. Dziś porozmawiamy o wojnie między dwoma modelami zaufania: FHE i ZK. To również punkt, o którym rzadko się mówi. Dwie filozofie zaufania w świecie kryptografii. Jeśli kryptografia to rewolucja dotycząca "zaufania", to ZK (dowód zerowej wiedzy) i FHE (pełna homomorficzna kryptografia) to dwa obozy tej rewolucji. ZK reprezentuje "zaufanie oparte na dowodach": wykonuję obliczenia, a następnie udowadniam ci, że obliczyłem poprawnie, ale nie mówię ci, jak to zrobiłem. FHE to "zaufanie oparte na kryptografii": nie chcę, żebyś widział nawet proces obliczeń, dostajesz tylko wynik. Pierwszy mówi: "Zaufaj mi, obliczyłem poprawnie." Drugi mówi: "Nie masz pojęcia, co obliczam." Brzmi jakby to była tylko pół kroku różnicy, ale w rzeczywistości to dwa zupełnie różne światopoglądy. ZK to prywatność w przejrzystym świecie; FHE to porządek w czarnym pudełku. ZK: moc dowodu ZK (Zero-Knowledge Proof) to najjaśniejsza gwiazda kryptografii Web3 w ciągu ostatnich pięciu lat. Jego magia polega na tym, że pozwala jednej stronie udowodnić, że pewne stwierdzenie jest prawdziwe, nie ujawniając danych. Na przykład: możesz udowodnić, że "mam 1 ETH w portfelu", nie pokazując salda portfela. W świecie blockchaina to niezwykle przydatne. Logika ZK to typowe "publiczne dowody, prywatne obliczenia" — obliczenia są wykonywane na własnym komputerze, wynik dowodu jest umieszczany na łańcuchu, inni mogą go zweryfikować i sprawdzić, czy jest poprawny. W ten sposób powstały całe branże, takie jak zkRollup, zkVM, zkEVM. ZK rozwiązuje problem **"Czy mogę zaufać poprawności obliczeń?"**. Jego rdzeń to wysoka wydajność weryfikacji. Weryfikacja zajmuje tylko kilka milisekund, generowanie dowodu może zająć kilka sekund, ale gdy już zostanie wygenerowany, cały świat może go szybko potwierdzić. To bardzo dobrze pasuje do scenariuszy takich jak publiczne łańcuchy, giełdy, mosty itp. Jednak jego wady są również oczywiste: Dane muszą być "wcześniej weryfikowalne" — wszystko musi być wbudowane w obwód dowodowy. Nie wspiera prawdziwych "tajnych obliczeń" — dane same w sobie muszą być ostatecznie publicznie weryfikowane. Wysoka złożoność skalowania — im bardziej skomplikowany obwód, tym koszty rosną w sposób wykładniczy. Podsumowując w jednym zdaniu: ZK to "notariusz" w świecie kryptografii, zapewnia, że obliczenia są poprawne, ale inni mogą zobaczyć, co udowadniasz. FHE: ambicje obliczeń w czarnym pudełku W porównaniu, FHE (Fully Homomorphic Encryption) to inna ambicja. Nie udowadnia, że obliczenia są poprawne, ale pozwala ci obliczać bezpośrednio na zaszyfrowanych danych. Zaszyfrowujesz dane w niezrozumiałą dla nikogo formę, ale ta forma nadal może być obliczana, na przykład dodawana, mnożona, uśredniana. Ostateczny wynik po odszyfrowaniu jest identyczny z wynikiem "obliczeń na jawnych danych". Co to oznacza? Oznacza to, że można całkowicie obliczać w stanie zaszyfrowanym. Serwery, kontrakty, modele AI nie wiedzą, jakie dane przetwarzają. To całkowite wyeliminowanie zaufania. Brak pośredników, brak ryzyka wycieku, nie ma potrzeby dowodzenia. Ale cena jest również ogromna: każde obliczenie jest wolne jak ślimak, a bootstrapping pochłania ogromne zasoby. W ciągu ostatnich dziesięciu lat FHE utknęło w wąskim gardle wydajności. Aż do pojawienia się Zama @zama_fhe. Dzięki "programowalnemu bootstrappingowi" i "fhEVM", zaczęli przekształcać FHE z koncepcji w praktykę. ZK dąży do szybkości weryfikacji; FHE dąży do czystości prywatności. Wydajność i granice: kto jest bliżej rzeczywistości? Pod względem wydajności, ZK tymczasowo wygrywa w pięknym stylu. Szybka weryfikacja, dojrzały ekosystem, ugruntowana infrastruktura (zkSync, StarkNet, Scroll i inne L2). FHE wciąż znajduje się na wczesnym etapie "20 TPS". Ale pod względem kompletności prywatności, FHE jest bardziej radykalnym rozwiązaniem. ZK nadal musi ujawniać część logiki obliczeniowej, aby udowodnić, podczas gdy FHE może pozwolić, aby całe obliczenie odbywało się w zaszyfrowanych danych. Czy ich połączenie to ostateczna broń? Mieszanka: zkFHE, potencjalna ostateczna forma prywatności w przyszłości Połączenie ZK + FHE (znane również jako zkFHE) staje się nowym kierunkiem badań w środowisku akademickim i przemysłowym. Logika tego modelu jest następująca: Użyj FHE do obliczeń prywatnych, aby dane działały w zaszyfrowanej formie; Użyj ZK, aby udowodnić, że obliczenia są rzeczywiście poprawne, aby zapobiec oszustwom. Jak sejf z kamerą — nie wiesz, co się dzieje w środku, ale możesz potwierdzić, że działa poprawnie. To może jednocześnie rozwiązać dwa wielkie problemy: FHE jest zbyt wolne → użycie ZK do weryfikacji może uprościć; ZK nie jest wystarczająco prywatne → użycie FHE do uzupełnienia prywatności. Zama @zama_fhe również bada ten kierunek: fhEVM zachowuje interfejsy do symbolicznego wykonywania, weryfikacji współprocesorów, wykonywania dowodów, układając podwaliny pod systemowy interfejs przyszłego zkFHE. To ostateczne połączenie zaufania i prywatności: "zweryfikowany świat zaszyfrowany".