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, за да докаже своите резерви. Чрез проверка на доказателството Merkle потребителите на Binance могат да проверят дали техният баланс е включен в корена на дървото Merkle. Потребителите могат да проверят zk-SNARK доказателството, за да се уверят, че конструкцията на дървото на Merkle е без никакви манипулации.

Тъй като Binance има милиони потребители, не е възможно да получите нито едно доказателство за конструкцията на дървото Merkle. Следователно Binance ще раздели потребителите на групи от по 864 всяка. Генерирането на zk доказателство за една група потребители ще отнеме 110 секунди. Доказателството може да бъде проверено за по-малко от 1 милисекунда.

Ще отнеме 2 часа на Binance да генерира доказателство за всички акаунти на цена от около $1,000. Борсата работи върху прилагането на решенията, предложени от Buterin, за подобряване на ефективността на процеса на генериране на доказателство, което трябва да намали разходите и да му позволи да предоставя доказателства по-често.

Системата PoR на Binance в момента поддържа 13 криптовалути, с 4 скорошни допълнения, и планира да добави още токени през следващите седмици.

Binance също прави кода за своята PoR система с отворен код с цел да осигури повече прозрачност на своите потребители.

Публикувано в: Binance, Обменът

Източник: https://cryptoslate.com/binance-adds-zk-snark-verification-to-its-proof-of-reserves-system/