fix(k256): ecdsa verify needs custom hook

[jonathanpwang]

For some reason, unlike other libraries, the k256 crate has a special requirement that the signature is normalized ahead of time: https://github.com/RustCrypto/elliptic-curves/blob/5ac8f5d77f11399ff48d87b0554935f6eddda342/k256/src/ecdsa.rs#L203 To handle this, we introduce a new trait VerifyCustomHook that is called both in recover_prehashed and verify_prehash.

• Provide a proof that valid pubkey recovery implies the ECDSA signature verification algorithm will automatically pass, so there is no need for recover_prehashed to call verify_prehash again.

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	1,201	322,657	17,339,628	-	-	-
fibonacci	(-32 [-1.2%]) 2,637	1,500,277	50,589,503	-	-	-
regex	(+102 [+1.3%]) 7,910	4,165,226	166,511,152	-	-	-
ecrecover	(+29 [+2.5%]) 1,176	(+6135 [+4.9%]) 130,458	(+248576 [+3.3%]) 7,870,400	-	-	-
pairing	(-22 [-0.5%]) 4,500	1,862,964	97,277,783	-	-	-

Commit: 8bc272e

Benchmark Workflow