Ang Binance ay nagdagdag ng zk-SNARK na pag-verify sa sistema ng patunay ng mga reserba nito

Mayroon si Binance upgrade ang proof-of-reserves (PoR) system nito na may mga zk-SNARK na pag-verify, isang anyo ng zero-knowledge proofs na nagpapanatili sa privacy at seguridad ng sensitibong impormasyon ng user.

Binance CEO Changpeng Zhao sinabi ang pagpapabuti ay ipinatupad alinsunod sa Ethereum co-founder na si Vitalik Buterin mungkahi. Inilatag ni Buterin ang kanyang mga ideya sa pag-promote ng walang tiwala na sentralisadong pagpapalitan sa pamamagitan ng mga transparent na proof-of-reserves system noong Nobyembre.

Binance unang nai-publish ang PoR system nito noong Nobyembre 2022 nang magsimulang humingi ng higit na transparency ang mga user mula sa mga palitan pagkatapos ng pagbagsak ng FTX. Noong panahong iyon, ginamit ni Binance ang Merkle tree cryptography upang bigyang-daan ang mga user na i-verify ang kanilang mga hawak.

Gayunpaman, ang sistema ay may dalawang pangunahing kawalan. Una, ang mga node ng dahon sa puno ng Merkle ay kumakatawan sa hash ng mga hawak ng mga gumagamit upang protektahan ang privacy, na nangangahulugan na ang ugat ng Merkle ay hindi maaaring sumasalamin sa kabuuan ng impormasyon ng balanse ng mga node ng dahon nito.

Pangalawa, ang isang malisyosong entity ay maaaring magdagdag ng negatibong balanse sa ilalim ng isang pekeng account sa isang lugar sa puno upang gawing mas maliit ang laki ng mga kinakailangang reserba.

Sinasabi ng Binance na ang mga zk-SNARK ay nilulutas ang mga hamong ito. Maaaring matiyak ng zero-knowledge verification system na ang lahat ng leaf node sa Merkle tree ay nag-ambag sa ina-claim na kabuuang balanse ng user ng Binance ng bawat cryptocurrency. Titiyakin din nito na walang gumagamit na may negatibong balanse na kasama sa puno.

Ang Binance ay bubuo at mag-publish ng zk-SNARK na patunay para sa pagtatayo ng Merkle tree upang patunayan ang mga reserba nito. Sa pamamagitan ng pag-verify sa Merkle proof na masusuri ng mga user ng Binance kung ang kanilang balanse ay kasama sa ugat ng Merkle tree. Maaaring i-verify ng mga user ang zk-SNARK na patunay upang matiyak na ang pagtatayo ng Merkle tree ay libre sa anumang pakikialam.

Dahil ang Binance ay may milyun-milyong user, hindi posibleng makakuha ng isang patunay ng pagtatayo ng Merkle tree. Samakatuwid, hahatiin ng Binance ang mga user sa mga batch na 864 bawat isa. Aabutin ng 110 segundo upang makabuo ng zk proof para sa isang batch ng mga user. Maaaring ma-verify ang patunay sa mas mababa sa 1 millisecond.

Aabutin ng 2 oras para sa Binance na makabuo ng patunay para sa lahat ng mga account sa halagang humigit-kumulang $1,000. Ang palitan ay nagtatrabaho sa pagpapatupad ng mga solusyon na iminungkahi ng Buterin upang mapabuti ang kahusayan ng proseso ng pagbuo ng patunay, na dapat magpababa ng gastos at bigyang-daan itong magbigay ng mga patunay nang mas madalas.

Kasalukuyang sinusuportahan ng PoR system ng Binance ang 13 cryptocurrencies, na may 4 kamakailang idinagdag, at plano nitong magdagdag ng higit pang mga token sa mga darating na linggo.

Ginagawa rin ng Binance ang code para sa PoR system nitong open-source na may layuning magbigay ng higit na transparency sa mga user nito.