CRV(基于电路的推理验证)