„Dziś istnieje wiele problemów z ZK.” Zaprosiliśmy @donnoh_eth (badacza w @l2beat), aby zaprezentował na naszym Berlin Ethproofs Summit, oferując kontrariańską perspektywę na ZK - i dokładnie to otrzymaliśmy. Kilka kluczowych wniosków: • Weryfikatory są nieprzezroczyste. Smart kontrakty można badać, ale gdy trafisz na weryfikator ZK, patrzysz na losowe liczby - a bez odtworzenia weryfikatora z kodu źródłowego, nie możesz wiedzieć, co tak naprawdę jest udowadniane. • Odtwarzalność jest trudna. Wiele projektów nie publikuje dokładnych hashy commitów ani wersji narzędzi potrzebnych do regeneracji swoich weryfikatorów. W niektórych przypadkach praktycznie niemożliwe jest potwierdzenie, co działa na łańcuchu. • Niestandardowe narzędzia zwiększają ryzyko. Każdy projekt buduje własny stos, co sprawia, że weryfikacja jest skomplikowana i niespójna w całym ekosystemie. • Audyty nie są wystarczające. Audyty mogą być częściowe, przestarzałe lub pomijać poprawki. Po prostu twierdzenie „w pełni audytowane” jest mylące bez przejrzystych linków i zakresu. Główna teza Luci: ZK niekoniecznie eliminuje zaufanie. Zamiast tego, przesuwa je - a wyzwaniem jest minimalizowanie i wyjaśnianie, gdzie to zaufanie leży. Obejrzyj pełne wystąpienie: