TLDR:
- Argument anty-ZK Cantona opiera się na ukrytym założeniu, że nie istnieje system zapasowy do wykrywania awarii.
- Model Cantona oparty wyłącznie na zaufaniu nie ma warstwy kryptograficznej, co pozwala skompromitowanym kluczom na ciche rozprzestrzenianie szkód.
- Prividium wdraża trzy niezależne warstwy obrony, utrzymując każde naruszenie w obrębie łańcucha pojedynczej instytucji.
- DAML boryka się z tymi samymi obawami dotyczącymi dojrzałości, które Canton podnosi w odniesieniu do dowodów ZK, ale z o wiele mniejszą liczbą specjalistów ds. bezpieczeństwa obserwujących system.
Dowody z wiedzą zerową znajdują się w centrum rosnącej debaty w finansach instytucjonalnych. Założyciele Canton Network argumentowali, że dowody ZK stanowią nieakceptowalne ryzyko dla krytycznych systemów finansowych.
Podnieśli tę kwestię z nabywcami i regulatorami, zarówno publicznie, jak i prywatnie. Publiczna odpowiedź badacza ZK Alexa bezpośrednio kwestionuje ten argument.
Odpowiedź porównuje podejścia architektoniczne Cantona i Prividium.
Analiza ryzyka Cantona i założenie, na którym się opiera
Argument Cantona przeciwko dowodom ZK koncentruje się na ich złożoności. Błędy w takich systemach mogą pozostać niewykryte, ponieważ dane bazowe pozostają prywatne.
Jeśli wada rozprzestrzenia się po cichu, może stworzyć ryzyko systemowe w sieciach finansowych. Obawy są uzasadnione, ale logika, która z nich wynika, zawiera lukę.
Rozumowanie zakłada, że dowody ZK są jedyną linią obrony w systemie. Alex przywołuje analogię do lotnictwa, kontroli nuklearnych i urządzeń medycznych.
Każda z tych dziedzin jest złożona, krytyczna dla misji i zdolna do katastrofalnej awarii. Żadna nie została porzucona z tego powodu—działają dzięki redundancji i izolacji, a nie poprzez brak ryzyka.
W poście na X, @gluk64 przedstawił to jako szerszy wzorzec. Każda złożona, krytyczna dla misji technologia, która może zawieść katastrofalnie, nie przeszłaby testu Cantona.
Ukryte założenie wykonujące całą pracę polega na tym, że nie istnieje system zapasowy. To założenie, a nie sama technologia, tworzy systemowe zagrożenie.
Własna architektura Cantona ilustruje ten punkt. Jego model prywatności opiera się wyłącznie na zaufanych operatorach, aby oddzielić dane między uczestnikami. Nie ma warstwy weryfikacji kryptograficznej.
Jeśli klucze operatora zostaną skompromitowane, zmanipulowany stan rozprzestrzenia się po cichu w nieprzejrzystych łańcuchach bez niczego, co by go wykryło.
Warstwowa obrona Prividium i kwestia otwartych standardów
Prividium buduje swój model na trzech niezależnych warstwach obrony. Partnerzy instytucjonalni obsługują węzły w swoich własnych regulowanych środowiskach.
Dowody z wiedzą zerową dodają następnie warstwę weryfikacji kryptograficznej powyżej bezpieczeństwa operacyjnego. W miarę dojrzewania systemów dowodowych, wielu niezależnych weryfikatorów może weryfikować te same obliczenia. Wada w jednej implementacji jest następnie wykrywana przez inną.
Izolacja jest wbudowana w architekturę z założenia. Każda instancja Prividium to oddzielny łańcuch obsługiwany przez pojedynczą instytucję.
Interakcje między łańcuchami przechodzą przez mechanizmy księgowe egzekwowane niezależnie przez uczestniczące instytucje lub on-chain. Nawet połączony atak na wewnętrzne IT i błąd ZKP pozostaje ograniczony do tego jednego łańcucha.
Kwestia otwartych standardów dodaje kolejną warstwę do porównania. Ruch ZKsync w kierunku pełnej równoważności EVM odzwierciedla zasadę, że odstępstwo od otwartych standardów poszerza powierzchnię ataku.
Infrastruktura Ethereum przeszła ponad dekadę testów w warunkach przeciwdziałania z setkami miliardów na szali. Ten proces zbudował silniejsze standardy audytu, narzędzia formalnej weryfikacji i utwardzone wzorce projektowe.
Obawy Cantona dotyczące dojrzałości dowodów ZK mają równe zastosowanie do DAML, jego zastrzeżonego języka inteligentnych kontraktów. DAML działa w zamkniętym ekosystemie z o wiele mniejszą liczbą programistów i badaczy bezpieczeństwa obserwujących.
Każdy cykl podatności, przez który przeszło Ethereum, wciąż czeka na DAML. Architektura z najdłuższym zapisem w najsurowszych warunkach niesie najmniejsze ryzyko.
Post ZK Proofs Draw Fire as Canton Disputes Their Role in Institutional Finance ukazał się najpierw na Blockonomi.
Źródło: https://blockonomi.com/zk-proofs-draw-fire-as-canton-disputes-their-role-in-institutional-finance/
