『ZK to gra końcowa? Jedno zdjęcie wyjaśnia: jak dowody zerowej wiedzy zmieniają blockchain』 Ostatnio różne projekty masowo zmieniają swoje awatary, dołączając do fali małych pingwinów, co nieuchronnie nasuwa skojarzenia, że wszyscy planują coś zrobić. Przypominając sobie, kiedy ostatnio miała miejsce taka sytuacja, można powiedzieć, że to było „ZK to gra końcowa”, każdy człowiek związany z Web3 w mniejszym lub większym stopniu zna/ słyszał o ZK. Aby pomóc moim znajomym lepiej zrozumieć obecny stan etapu ZK, zebrałem dziesięcioletnią historię rozwoju dowodów zerowej wiedzy x blockchain, a obecnie najbardziej obiecującym projektem w obszarze ZK, który widzę, jest @boundless_xyz. Zacznijmy! 🗓️ Historia rozwoju dowodów zerowej wiedzy w dziedzinie blockchain 🔹Faza 1: 2014~2016: Początkowe połączenie ZKP z blockchainem 2014: ZKP zaczyna przyciągać uwagę Vitalik Buterin i inni zaczynają badać możliwości zk-SNARKs w Ethereum; zk-SNARKs to system dowodów zerowej wiedzy, który eliminuje potrzebę interakcji poprzez użycie publicznych liczb losowych lub funkcji haszujących. Lepiej nadaje się do scenariuszy blockchain. ZKP postrzegane jest jako potencjalna technologia prywatności. 2016: Uruchomienie Zcash (historyczny moment) Zcash to pierwszy projekt, który naprawdę wykorzystał zk-SNARK w sieci głównej. Umożliwił całkowicie anonimowe transakcje (adresy i kwoty są niewidoczne). Opiera się na zaufanym ustawieniu (Trusted Setup). 🔹Faza 2: 2017~2019: Otwartość technologii ZKP i optymalizacja wydajności Pojawiają się ramy dowodów zerowej wiedzy: libsnark, Bellman i inne otwarte biblioteki; więcej projektów bada, jak generować dowody szybciej i weryfikować taniej. Projekty zaczynają próbować aplikacji drugiego poziomu: StarkWare, Aztec, ZKSync zaczynają badać zkRollup; StarkWare wprowadza zk-STARK, który nie wymaga zaufanego ustawienia i jest odporny na ataki kwantowe; Bulletproofs zostały przyjęte przez Monero do bardziej kompaktowych transakcji prywatnych. 🔹Faza 3: 2020~2021: Użytkowanie ZKP i eksplozja zkRollup zkRollup staje się popularną trasą skalowania: zkRollup przenosi dużą ilość obliczeń poza łańcuch, umieszczając tylko dowody na łańcuchu; osiąga „bezpieczeństwo + niskie koszty + wysoką przepustowość”. Projekty reprezentacyjne: ZKSync: oparty na zk-SNARK, wspiera przelewy i transakcje; Loopring: wspiera zkRollup DEX; StarkEx: silnik zkRollup o wysokiej wydajności wprowadzony przez StarkWare; Aztec 2.0: buduje system inteligentnych kontraktów prywatnych przy użyciu ZKP. 🔹Faza 4: 2022~2023: zkEVM i obliczenia ogólne Pojawienie się zkEVM: przenosi wirtualną maszynę Ethereum (EVM) do ZKP zkEVM pozwala programistom nadal używać Solidity do pisania kontraktów; każda instrukcja działająca na EVM może być „udowodniona”. Główne trasy zkEVM: Polygon zkEVM: wysoko kompatybilny z Solidity ZKSync Era: wysoka wydajność, stopniowe zwiększanie kompatybilności Scroll: maksymalna kompatybilność z klientem Ethereum Taiko: całkowita równoważność (cel) Inne innowacje: zkVM (np. Risc Zero): łączy obliczenia ogólne z ZKP; zkWASM: WebAssembly + ZKP, rozszerza aplikacje Web3. 🔹Obecny etap: 2024~2025: Inżynieria ZKP, modularność i integracja z AI Różne ZKDSL (Circom, Noir, Leo, Juvix) dojrzewają; narzędzia ZKP wspierają główne języki, takie jak Rust, C, Solidity; integracja z AI: zapewnia wiarygodne dowody ZK dla wnioskowania modeli i danych wejściowych; Przykład reprezentacyjny: Boundless @boundless_xyz: komercjalizacja i rynkowanie dowodów zerowej wiedzy, budowanie zdecentralizowanej sieci motywacyjnej obliczeń. #Kaito #Boudless @blockTVBee @sanyi_eth_ @wenxue600 @0xNing0x