修复 airbender-prover 中 snark prover 查询的 Bug。详情参见 v29.19.2 发布说明。