feat(pallet-proofs): verify PoSt

[th7nder]

Description

This PR introduces PoSt Verification on-chain, so it can be called later via ProofVerification trait by pallet-storage-provider.
Fixes #439.

➜  polka-storage git:(feat/439/verify-post-onchain) ✗ RUST_LOG=error ./target/debug/polka-storage-provider-client utils po-rep --proof-parameters-path 2KiB.porep.params --cache-directory /tmp/psp-cache test-data-big.car baga6ea4seaqbfhdvmk5qygevit25ztjwl7voyikb5k2fqcl2lsuefhaqtukuiii
Creating sector...
Precommitting...
Proving...
CommR: "4afb35f82a95a10187a913bc14520d9a1d173328265b301b5dcf440ef2583950"
CommD: "129c7562bb0c189544f5dccd365feaec2141eab458097a5ca8429c109d154421"
Proof: [Proof { a: G1Affine { x: Fp(0x0712731fdf37045b9bd4af625795bcaa9f7b072f16387da51e53233924b5faf04dc4ee8d882f9e4eefcb10665d653dd9), y: Fp(0x025f7e365a57ade5069e8cbf4e4b37b7af99544cafa1cd67187d2a3c7ce39c5944cd6c4404953878e190ac96108317fe), infinity: false }, b: G2Affine { x: Fp2 { c0: Fp(0x192ddbd3ff1616342f7c78fbd0a23c8f7aadcf5af3f0183ad5bbf4bd807ff964c89b9343bc2f8823e58159553628593b), c1: Fp(0x091605d5ce1441c2ed3ea6cf1752c0828af0d39410d523253df8aaba230d48f712302d20c2373446b0b457f0e0ea8710) }, y: Fp2 { c0: Fp(0x0e71d70728a1bbd3595b03d9f8a77909f99e9f7a3c4f1bc9526b0d8a4d420bbdb5737e8dfa60f7b67664985af8fc2586), c1: Fp(0x14db99f814ca5f0ac7c1ca6fb6d5862afe7833471f81c057292251cedc29928126402afc70e9b5acd832512d48aa5301) }, infinity: false }, c: G1Affine { x: Fp(0x01c83fddbd1840ffcc1be570f6e1a95a670722b4ae156b75ec7bdd38af8097a0afb52290e3b538414e977f3e6d16698d), y: Fp(0x0e659c1a9e7e328012d8b849e0056b88fa5374a0952141a98e8870e10a57734c9d37efe38ce0639a715b2e433831f430), infinity: false } }]
Wrote proof to /home/th7nder/workspace/eiger/polka-storage/77.sector.proof.porep.scale
➜  polka-storage git:(feat/439/verify-post-onchain) ✗ RUST_LOG=ERROR ./target/debug/polka-storage-provider-client utils po-st --proof-parameters-path 2KiB.post.params --cache-directory /tmp/psp-cache 77.sector.sealed 4afb35f82a95a10187a913bc14520d9a1d173328265b301b5dcf440ef2583950   
Loading parameters...
Proving...
Wrote proof to /home/th7nder/workspace/eiger/polka-storage/77.sector.proof.post.scale

Important points for reviewers

This is a showcase with test running in mocks.
This should be integrated later with Storage Provider Pallet #449.

Checklist

• Are there important points that reviewers should know?
  • If yes, which ones?
• Make sure that you described what this change does.
• If there are follow-ups, have you created issues for them?
  • If yes, which ones? / List them here
    • Integrate verify_submit_windowed_post with pallet-proofs verify PoSt #449
• Have you tested this solution?
• Were there any alternative implementations considered?
• Did you document new (or modified) APIs?

[jmg-duarte]

Mostly looks good to me, but would appreciate some docs on this API. I know there's little to go off of from FC, but let's try 🥹

[jmg-duarte]

GJ Komrad