Binance додає перевірку zk-SNARK до своєї системи підтвердження резервів

Binance має підвищений його система підтвердження резервів (PoR) із перевірками zk-SNARK, формою підтвердження з нульовим знанням, яка зберігає конфіденційність і безпеку конфіденційної інформації користувача.

Генеральний директор Binance Changpeng Zhao сказав покращення було реалізовано відповідно до вказівок співзасновника Ethereum Віталіка Бутеріна навіювання. У листопаді Бутерін виклав свої ідеї щодо сприяння ненадійним централізованим обмінам через прозорі системи підтвердження резервів.

Binance вперше опубліковано свою систему PoR у листопаді 2022 року, оскільки користувачі почали вимагати від бірж більшої прозорості після краху FTX. У той час Binance використовувала криптографію дерева Merkle, щоб дозволити користувачам перевіряти свої активи.

Проте система мала два серйозні недоліки. По-перше, листові вузли в дереві Merkle представляли хеш-контент користувачів для захисту конфіденційності, що означало, що корінь Merkle не міг відображати суму інформації про баланс листових вузлів.

По-друге, зловмисник може потенційно додати негативний баланс під фальшивий рахунок десь у дереві, щоб розмір обов’язкових резервів виглядав меншим.

Binance стверджує, що zk-SNARK вирішують ці проблеми. Система перевірки з нульовим знанням може гарантувати, що всі кінцеві вузли в дереві Merkle зробили внесок у заявлений Binance загальний баланс користувачів кожної криптовалюти. Це також гарантує, що в дереві немає користувачів із негативним балансом.

Binance згенерує та опублікує докази zk-SNARK для побудови дерева Меркле, щоб підтвердити свої запаси. Перевіривши підтвердження Merkle, користувачі Binance можуть перевірити, чи включено їхній баланс у корінь дерева Merkle. Користувачі можуть перевірити доказ zk-SNARK, щоб переконатися, що конструкція дерева Merkle була вільна від будь-яких втручань.

Оскільки Binance має мільйони користувачів, неможливо отримати жодного доказу конструкції дерева Меркла. Тому Binance розділить користувачів на групи по 864 у кожній. Щоб створити доказ zk для однієї групи користувачів, знадобиться 110 секунд. Доказ можна перевірити менш ніж за 1 мілісекунду.

Binance знадобиться 2 години, щоб створити підтвердження для всіх облікових записів вартістю близько 1,000 доларів США. Біржа працює над впровадженням рішень, запропонованих Бутеріном, для підвищення ефективності процесу генерації доказів, що має знизити вартість і дати змогу надавати докази частіше.

Система PoR Binance наразі підтримує 13 криптовалют, з 4 останніми доповненнями, і планує додати більше токенів найближчими тижнями.

Binance також робить код своєї системи PoR відкритим кодом з метою забезпечення більшої прозорості для своїх користувачів.

Опубліковано в: Binance, Біржі

Джерело: https://cryptoslate.com/binance-adds-zk-snark-verification-to-its-proof-of-reserves-system/