api surface for zap1 receipts and verifier checks.