Zanurzamy się głęboko w zagadkowy świat dowodów zk. I kto mógłby nas lepiej poprowadzić niż niezwykły Vitalik Buterin, którego nazwisko stało się synonimem innowacji blockchain? Jego najnowszy artykuł, pełen warstw złożoności, otwiera puszkę Pandory możliwości dla świata blockchain.

Zdemaskujmy tę bestię i zobaczmy, jakie skarby skrywa.

Dylemat dotyczący puli prywatności

W centrum tej debaty znajduje się Tornado Cash – protokół chwalony za zdolność do ukrywania śladów transakcyjnych w świecie kryptowalut. Choć oferował anonimowość poprzez zerwanie powiązania między adresami wpłat i wypłat, był to miecz obosieczny.

Protokół, chwalony przez wielu, wkrótce stał się przystanią dla osób o wątpliwych intencjach. W rezultacie doprowadziło to do wniesienia przez władze oskarżeń karnych przeciwko jego twórcom, rzucając cień na jego prawdziwy potencjał.

Buterin wraz z szanowaną grupą współautorów, a mianowicie Jacobem Illumem, Matthiasem Nadlerem, Fabianem Scharem i Ameenem Soleimanim, zwrócili uwagę na tę wrodzoną wadę.

Twierdzą, że chociaż Tornado Cash mogło być przełomowe, brakowało mu zabezpieczeń, które mogłyby powstrzymać jego niewłaściwe wykorzystanie. I tu właśnie wchodzą w grę dowody zk.

Geniusz dowodów zk: znalezienie równowagi

Czerpiąc ze scenariusza Tornado Cash, Buterin i jego zespół proponują bardziej zniuansowane podejście. Co by było, gdyby użytkownicy mogli transparentnie ręczyć za legalność swoich funduszy bezpośrednio na blockchainie?

Mechanizm, który proponują, wprowadza dwa rodzaje walidacji: dowody członkostwa i dowody wykluczenia. W istocie użytkownik może teraz otwarcie potwierdzić, że jego wypłata pochodzi lub nie pochodzi z określonego zestawu depozytów.

Dla sceptyków i krytyków wśród nas brzmi to jak sen. Ale jak to działa? Buterin i jego współautorzy przedstawiają nam scenariusz.

Rozważmy grupę: Alice, Bob, Carl, David i Eve. Podczas gdy pierwsza czwórka jest przejrzysta i przestrzega prawa, Eve ma wątpliwą reputację. Teraz, gdy którakolwiek z tych osób zdecyduje się wypłacić swoją kryptowalutę, może wybrać zestaw skojarzeń. Ten zestaw określa pochodzenie ich funduszy. Aby pozostać poza podejrzeniami i utrzymać swoją reputację, Alice, Bob, Carl i David mogą zdecydować się na wykluczenie depozytów Eve ze swojego zestawu. Eve, w swojej sytuacji, nie może oddzielić się od własnej historii transakcji i pozostaje w szerszym zestawie skojarzeń obejmującym wszystkich uczestników.

Takie innowacyjne rozwiązanie nie opiera się na dobroci uczestników. Zamiast tego zapewnia jasne zachęty do zachowania przejrzystości i integralności. Pomysł wykorzystania zestawów asocjacyjnych jest kluczowym krokiem dla protokołów puli prywatności, czyniąc je bardziej odpornymi na niewłaściwe użycie.

Ale cuda dowodów zk na tym się nie kończą. Wykraczają poza przejrzystość transakcyjną. Użytkownicy mogą ich używać, aby potwierdzić, że ich fundusze nie mają powiązań z nielegalnymi źródłami. Mogą ich również używać, aby potwierdzić legalność swoich funduszy bez ujawniania skomplikowanych szczegółów.

Niniejszy artykuł nie tylko rewolucjonizuje debatę na temat prywatności; kwestionuje on długotrwałą koncepcję. Prywatność i zgodność z przepisami były często postrzegane jako siły antagonistyczne. Eksploracja Buterina sugeruje, że przy użyciu odpowiednich narzędzi i technologii, takich jak dowody zk, mogą one współistnieć, uzupełniając się nawzajem.

I nie jest to tylko teoretyczna teza. Istnieje rosnący trend protokołów integrujących rozwiązania odporne na zk. Ethereum, zawsze będące liderem, nadal przewodzi stawce. Następny rok zapowiada się przełomowo, ponieważ przewiduje się, że dowody zk będą przewodzić wzrostowi, zwłaszcza w miarę ewolucji przepisów i coraz większej ochrony prywatności przez jednostki.