Бинанце укључује зк-СНАРК-ове у систем верификације доказа о резерви