Binance lägger till zk-SNARK-verifiering till sitt proof of reserves-system

Binance har uppgraderad dess proof-of-reserves (PoR)-system med zk-SNARK-verifieringar, en form av noll-kunskapsbevis som bevarar integriteten och säkerheten för känslig användarinformation.

Binance VD Changpeng Zhao sade förbättringen genomfördes i enlighet med Ethereums medgrundare Vitalik Buterin's antydan. Buterin hade lagt fram sina idéer om att främja förtroendelösa centraliserade utbyten genom transparenta proof-of-reserve-system i november.

Binance först publicerad sitt PoR-system i november 2022 när användare började kräva mer transparens från börser i efterdyningarna av FTX-kollapsen. Vid den tiden använde Binance Merkle-trädkryptografi för att göra det möjligt för användare att verifiera sina innehav.

Ändå hade systemet två stora nackdelar. För det första representerade lövnoderna i Merkle-trädet hashen av användarnas innehav för att skydda privatlivet, vilket innebar att Merkle-roten inte kunde återspeglar summan av dess lövnods balansinformation.

För det andra kan en skadlig enhet potentiellt lägga till ett negativt saldo under ett falskt konto någonstans i trädet för att få storleken på nödvändiga reserver att verka mindre.

Binance hävdar att zk-SNARKs löser dessa utmaningar. Verifieringssystemet för nollkunskap kan säkerställa att alla lövnoder i Merkle-trädet har bidragit till Binances påstådda totala användarbalans för varje kryptovaluta. Det kommer också att säkerställa att det inte finns någon användare med ett negativt saldo i trädet.

Binance kommer att generera och publicera zk-SNARK-bevis för konstruktionen av Merkle-trädet för att bevisa dess reserver. Genom att verifiera Merkle-beviset kan Binance-användare kontrollera om deras saldo ingår i Merkle-trädroten. Användare kan verifiera zk-SNARK-beviset för att säkerställa att Merkle-trädkonstruktionen var fri från manipulation.

Eftersom Binance har miljontals användare är det inte möjligt att få ett enda bevis på Merkles trädkonstruktion. Därför kommer Binance att dela upp användare i batcher om 864 vardera. Det skulle ta 110 sekunder att generera zk-bevis för en enda grupp användare. Beviset kan verifieras på mindre än 1 millisekund.

Det skulle ta 2 timmar för Binance att generera bevis för alla konton till en kostnad av cirka 1,000 XNUMX USD. Börsen arbetar med att implementera lösningarna som föreslagits av Buterin för att förbättra effektiviteten i provgenereringsprocessen, vilket borde sänka kostnaderna och göra det möjligt för den att tillhandahålla bevis oftare.

Binances PoR-system stöder för närvarande 13 kryptovalutor, med 4 nya tillägg, och det planerar att lägga till fler tokens under de kommande veckorna.

Binance gör också koden för sitt PoR-system öppen källkod i syfte att ge mer transparens för sina användare.