Spis treści
Binance ma ulepszony jego system proof-of-reserves (PoR) z weryfikacjami zk-SNARK, formą dowodu zerowej wiedzy, który chroni prywatność i bezpieczeństwo poufnych informacji użytkownika.
CEO Binance, Changpeng Zhao powiedział ulepszenie zostało wdrożone zgodnie z sugestią współzałożyciela Ethereum, Vitalika Buterina. Buterin przedstawił swoje pomysły na promowanie pozbawionych zaufania scentralizowanych giełd poprzez przejrzyste systemy potwierdzania rezerw w listopadzie.
Binance po raz pierwszy opublikował swój system PoR w listopadzie 2022 r., gdy użytkownicy zaczęli domagać się większej przejrzystości od giełd w następstwie upadku FTX. W tamtym czasie Binance wykorzystywał kryptografię drzewa Merkle, aby umożliwić użytkownikom weryfikację ich zasobów.
Jednak system miał dwie główne wady. Po pierwsze, węzły liści w drzewie Merkle reprezentowały hasz zasobów użytkowników w celu ochrony prywatności, co oznaczało, że korzeń Merkle nie mógł odzwierciedlają sumę informacji o równowadze węzłów liścia.
Po drugie, złośliwy podmiot mógłby potencjalnie dodać ujemne saldo pod fałszywym kontem gdzieś w drzewie, aby wielkość wymaganych rezerw wydawała się mniejsza.
Binance twierdzi, że zk-SNARK rozwiązują te wyzwania. System weryfikacji wiedzy zerowej może zapewnić, że wszystkie węzły liści w drzewie Merkle przyczyniły się do deklarowanego przez Binance całkowitego salda użytkowników każdej kryptowaluty. Zapewni to również, że w drzewie nie ma użytkownika z ujemnym saldem.
Binance wygeneruje i opublikuje dowód zk-SNARK do budowy drzewa Merkle, aby udowodnić swoje rezerwy. Weryfikując dowód Merkle, użytkownicy Binance mogą sprawdzić, czy ich saldo jest uwzględnione w korzeniu drzewa Merkle. Użytkownicy mogą zweryfikować dowód zk-SNARK, aby upewnić się, że konstrukcja drzewa Merkle była wolna od jakichkolwiek manipulacji.
Ponieważ Binance ma miliony użytkowników, nie jest możliwe uzyskanie ani jednego dowodu na konstrukcję drzewa Merkle. Dlatego Binance podzieli użytkowników na partie po 864 sztuk każda. Wygenerowanie dowodu ZK dla pojedynczej grupy użytkowników zajęłoby 110 sekund. Dowód można zweryfikować w mniej niż 1 milisekundę.
Wygenerowanie przez Binance dowodu dla wszystkich kont zajęłoby 2 godziny, co kosztowałoby około 1000 USD. Giełda pracuje nad wdrożeniem zaproponowanych przez Buterina rozwiązań, które poprawią efektywność procesu generowania proofów, co powinno obniżyć koszty i umożliwić częstsze dostarczanie proofów.
System PoR Binance obsługuje obecnie 13 kryptowalut, z 4 ostatnimi dodatkami i planuje dodać więcej tokenów w nadchodzących tygodniach.
Binance udostępnia również kod swojego systemu PoR jako open source, aby zapewnić użytkownikom większą przejrzystość.