{"version":3,"file":"proof.d.ts","sourceRoot":"","sources":["../src/proof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAA8B,MAAM,aAAa,CAAC;AAG7E,eAAO,MAAM,cAAc,EAAE,aA6D5B,CAAC"}