feat(protocol): update PlonkVerifier to accept new public inputs

[davidtaikocha]

No description provided.

[codecov]

Codecov Report

Merging #13208 (2a08af7) into main (4052aad) will decrease coverage by 0.22%.
The diff coverage is 42.85%.

@@            Coverage Diff             @@
##             main   #13208      +/-   ##
==========================================
- Coverage   60.99%   60.77%   -0.22%     
==========================================
  Files         115      116       +1     
  Lines        3512     3521       +9     
  Branches      483      483              
==========================================
- Hits         2142     2140       -2     
- Misses       1285     1297      +12     
+ Partials       85       84       -1     

Flag	Coverage Δ		*Carryforward flag
bridge-ui	93.80% <ø> (ø)		Carriedforward from 7ebd6ed
protocol	51.10% <42.85%> (-0.36%)	⬇️
relayer	65.15% <ø> (ø)		Carriedforward from 7ebd6ed
ui	100.00% <ø> (ø)		Carriedforward from 7ebd6ed

*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%> (ø)
...ackages/protocol/contracts/libs/LibBlockHeader.sol	92.30% <100.00%> (ø)
packages/protocol/contracts/libs/LibZKP.sol	100.00% <100.00%> (+100.00%)	⬆️
...ckages/protocol/contracts/test/libs/TestLibZKP.sol	100.00% <100.00%> (ø)
...es/protocol/contracts/thirdparty/LibMerkleTrie.sol	83.13% <0.00%> (-7.23%)	⬇️

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

[johntaiko]

Attention: It's not the final version, don't approve

Because the contract of verifier is too large and more than 24kb, so I will optimize the size in next version