Label: complexity: high
Points: 200
Description
verify_payment_proof() (separate issue) verifies one proof at a time. For off-chain systems reconciling many payments at once, batching reduces the number of contract calls needed.
Technical Context
Involves lib.rs — verify_payment_proofs_batch(env, proofs: Vec<PaymentProof>) -> Vec<bool>, calling the single-proof verification logic in a loop and returning results in the same order, capped at 20 proofs per call.
Acceptance Criteria
Label: complexity: high
Points: 200
Description
verify_payment_proof()(separate issue) verifies one proof at a time. For off-chain systems reconciling many payments at once, batching reduces the number of contract calls needed.Technical Context
Involves
lib.rs—verify_payment_proofs_batch(env, proofs: Vec<PaymentProof>) -> Vec<bool>, calling the single-proof verification logic in a loop and returning results in the same order, capped at 20 proofs per call.Acceptance Criteria
Vec<bool>the same length and order as the inputproofs"batch limit exceeded"for more than 20 proofscargo clippypasses with zero warnings