Kluczem do Dusk nie jest „ukrywanie transakcji”, lecz uczynienie z dowodów nieodłącznej części procesu transakcyjnego. W przypadku aktywów regulowanych, najbardziej obawiają się dwóch rzeczy: po pierwsze, pełna jawność szczegółów transakcji prowadzi do wnioskowania o strategiach i relacjach z przeciwnikami; po drugie, rezygnacja z weryfikowalności dla zachowania tajemnicy, co ostatecznie zmusza do polegania na zaufaniu offline. Dusk stara się jednocześnie rozwiązać te dwie kwestie za pomocą dowodów zerowej wiedzy: parametry transakcji mogą być niejawne, ale system musi weryfikować, że transakcje spełniają zasady, stan aktywów jest poprawny i że w razie potrzeby można dostarczyć drogę do dowodu zgodności.
Przechodząc do poziomu działań na łańcuchu, oznacza to, że wykonanie transakcji nie jest już tylko „inicjowanie – wykonywanie – rozliczanie”, lecz „inicjowanie – generowanie dowodu – weryfikacja na łańcuchu – rozliczanie”. Krok generowania dowodu znacznie zwiększa złożoność, wymaga, aby obwody dowodowe, warunki ograniczające i obsługa błędów były bardzo jasne, w przeciwnym razie deweloperzy nie będą w stanie zdiagnozować przyczyny niepowodzenia. Dla użytkowników jest to również istotne, jeśli transakcja nie powiedzie się i wyświetli tylko niejasny kod błędu, scenariusze finansowe są nie do przyjęcia, ponieważ konieczne jest wyjaśnienie, dlaczego została odrzucona, która zasada została wyzwolona i jak to poprawić w przyszłości.
Inny, bardziej praktyczny aspekt to zdolność do wyrażania zasad. Zasady dotyczące aktywów regulowanych nie są ustalone na sztywno: mogą istnieć limity pozycji, okresy blokady, ograniczenia geograficzne, ograniczenia dotyczące poziomu tożsamości oraz wstrzymanie transakcji wywołane określonymi zdarzeniami. Jeśli Dusk chce masowo przejąć takie aktywa, musi zaprojektować te zasady jako zestaw ograniczeń, które można łączyć i aktualizować, a także zapewnić, że aktualizacje nie zniszczą weryfikowalności stanu historycznego. W przeciwnym razie każdy wydawca będzie musiał dostosować własny zestaw zasad, co spowoduje eksplozję kosztów audytu i fragmentaryzację działań na łańcuchu.
Dlatego teraz obserwując postępy @dusk_foundation, najważniejsze dla mnie nie jest „jak dobrze to mówi”, ale trzy rzeczy: czy generowanie i weryfikacja dowodów są stabilne; czy rozwój kontraktów ma jasne wzorce i wsparcie narzędziowe; oraz czy przy odrzuceniu transakcji na łańcuchu można dostarczyć audytowalny, zrozumiały zapis. Tak długo, jak te trzy aspekty będą się poprawiać, Dusk naprawdę zyska inżynieryjne zdolności do realizacji zgodnych transakcji.
