[Tracking] Proofs

[th7nder]

• Integrate verify_submit_windowed_post with pallet-proofs verify PoSt #449
  • feat: integrate submit_windowed_post with pallet proofs #593
• Submit Windowed PoSt in the Pipeline #596
  • feat(polka-storage-provider): submit PoSt on the pipeline #617
• Schedule Windowed PoSts repeatedly #621
  • feat: submit windowed posts repeatedly #624
• Sectors are not expiring #625
  • fix: use live sectors for proving partitions #632
• Handle multiple concurrent transactions in subxt #641
  • fix(storagext): allow extrinsics to be submitted in parallel #643
• Substrate: Use secure randomness #458
• Fix AuRa panicking on us #644
  • fix: configure async backing properly #645
• Transactions disappearing on a reorg #647
  • fix: upgrade to polkadot2412 and use fork-aware txpool #648
  • fix: use subxt wait-for-success #649
  • fix(storagext): losing transactions on reorg #651
• Add support for multiple partitions when verifying PoSt #595
  • feat: verify multiple partitions in pallets #658
  • feat: generate multiple proofs #661
• Throttle prove-commits #655
  • feat: throttle parallel prove commits #662
• fix(maat): refactor it so it uses pipeline as a library #615
• Cannot store arbitrary file because of padding #709
• chore: update nix polkadot to stable2412 #650
  • chore(nix): change nix source & bump polkadot to 2412 and subxt-cli to 0.38 #663
• Bigger Sector Sizes #664
• 512MiB & 1GiB Sectors #716
  • feat: support 512 & 1GiB with huge refactors #717
• Try out building stuff with an actual GPU #723
• Accommodate splitting batches in Windowed PoSt #738
• Adjust proofs in PoRep for bigger sector sizes #747
  • fix: support multiple partitions in PoRep #752
• Adjust production values for challenges with 1GiB sector #751
  • feat: adjust security params for 1GiB sectors  #782
  • feat: make 1GiB sector harder rust-fil-proofs#1
• Mainnet values for precommit, prove commit and submit windowed #755
• Add 16MiB sector with 10 partitions.
• Make Windowed PoSt generation partition aware #787

Not prioritized

• Idea: get rid of the start block set by the client, make the deal at least last 24 hours and force first proving 1 hour in the future.
• Unsealing
• Support multiple proof types at once by the SP (?)
• Possibly speed up proof verification #659
• feat: handle recovered and declares faults in Windowed PoSt #592
• Don't use padding in add_piece? #436

Technical Cleanup

• Query sector expiration margin from the chain #622
• Track nonce per account #724
• Transactions sent in parallel don't work #703
• Get rid of rococo-local.json #718
• Error recovery in the node #493