https://github.com/WizardOfMenlo/whir/blob/716b45738481eef40c988c5b9517a0c89e03fd71/src/protocols/whir_zk/verifier.rs#L184 Is there a reason WHIRZK doesn't return `FinalClaim`? Our protocol needs to verify this FinalClaim.
https://github.com/WizardOfMenlo/whir/blob/716b45738481eef40c988c5b9517a0c89e03fd71/src/protocols/whir_zk/verifier.rs#L184
Is there a reason WHIRZK doesn't return
FinalClaim? Our protocol needs to verify this FinalClaim.