Các đồng Zk trông có vẻ tốt. Tại sao mọi người lại quên $prove ?