chore(protocol): improve ZKP verification handling

[dantaik]

No description provided.

[codecov]

Codecov Report

Merging #13071 (41b812c) into main (4144f4b) will decrease coverage by 0.11%.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##             main   #13071      +/-   ##
==========================================
- Coverage   65.10%   64.99%   -0.11%     
==========================================
  Files         112      112              
  Lines        3095     3094       -1     
  Branches      383      383              
==========================================
- Hits         2015     2011       -4     
- Misses       1003     1007       +4     
+ Partials       77       76       -1     

Flag	Coverage Δ		*Carryforward flag
bridge-ui	92.61% <ø> (ø)		Carriedforward from 4144f4b
protocol	56.78% <0.00%> (-0.21%)	⬇️
relayer	69.10% <ø> (ø)		Carriedforward from 4144f4b
ui	100.00% <ø> (ø)		Carriedforward from 4144f4b

*This pull request uses carry forward flags. Click here to find out more.

Impacted Files	Coverage Δ
packages/protocol/contracts/L1/libs/LibProving.sol	0.00% <0.00%> (ø)
...es/protocol/contracts/thirdparty/LibMerkleTrie.sol	83.13% <0.00%> (-7.23%)	⬇️
...ges/protocol/contracts/libs/LibAnchorSignature.sol	100.00% <0.00%> (+10.52%)	⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more