Binance ги вклучува zk-SNARKs во системот за верификација на доказ за резерва