Według współzałożyciela dcSpark, Sebastiena Guillemota, pierwszy kontrakt inteligentny ZK (zero-knowledge) został wdrożony w głównym łańcuchu Cardano.
To oznacza początek ery aplikacji ZK na popularnej sieci blockchain.
Transakcja została przeprowadzona przez programistę Cardano, Input Output, z pomocą Halo 2 do weryfikacji ZK na głównym łańcuchu blockchain.
Jak wyjaśniło Input Output, pierwsza transakcja miała na celu zablokowanie funduszy. Druga transakcja, która wymagała weryfikacji dowodu ZK wygenerowanego przez Halo2, została wykonana w celu odblokowania funduszy.
karta
Transakcja odblokowująca wymagała opłaty w wysokości 2,03 ADA (1,9 USD), co jest "rozsądnie niskie," według Input Output.
System dowodzenia Halo 2 zkSNARK, który został stworzony przez twórcę Zcash Electric Coin Company, umożliwia tworzenie i weryfikowanie dowodów kryptograficznych zk-SNARKs bez potrzeby zaufanej konfiguracji.
W długim wątku w mediach społecznościowych, Input Output wyjaśniło korzyści płynące z techniki kryptograficznej Halo 2, która umożliwia udowodnienie, że obliczenia zostały wykonane poprawnie bez ujawniania szczegółów. Programista Cardano szczególnie wspomniał o tym, że dowody rekurencyjne są jedną z najbardziej zauważalnych cech Halo 2. Umożliwiają one zwiększenie skalowalności i interoperacyjności poprzez podział obliczeń na mniejsze części.
karta
"Mamy jeszcze dużo pracy do zrobienia. Ale ten test przeprowadzony przez IO Research stanowi istotny krok naprzód w wykorzystaniu dowodów zerowej wiedzy z Cardano, przynosząc potężne połączenie skalowalności, wydajności i dodatkowego wzmocnionego bezpieczeństwa," powiedział Input Output.
