Implement FIP-0090: Non-Interactive PoRep

[rjan90]

This is a tracking issue for the implementation of FIP-0090: Non-Interactive PoRep

Spec for FIP-0090: https://github.com/filecoin-project/FIPs/blob/master/FIPS/fip-0090.md#specification

Tasks

Beta Give feedback

1. feat: non-interactive PoRep rust-fil-proofs#1734
   +0
2. fix: remove challenge seed from NI-PoRep SnarkPack transcript rust-fil-proofs#1755
   +0
3. Rust-filecoin-proofs-api: feat: add support for Non-interactive PoRep rust-filecoin-proofs-api#98
4. Update dependencies and proof-types in the Ref-FVM repo: NI-PoRep support ref-fvm#2010
5. Filecoin-FFI: feat: add support for Non-interactive PoRep filecoin-ffi#453
6. Built-in Actors: Non Interactive Proof of Replication #1537
7. Release for Lotus

Previous PRs that can be of help when implementing NI-PoRep:
The PRs that was made for FIP-0059: SyntheticPoRep in the same repos can be a helpful guide for the implementation of FIP-0090: Non-Interactive PoRep. The Synthetic PoRep PRs was:

• In the Rust-filecoin-proofs-api repo: Synthetic PoRep rust-filecoin-proofs-api#87
• In the ref-fvm repo: Update dependencies and Proof types for Synthetic PoRep support ref-fvm#1811
• In the Filecoin-FFI repo: Synthetic PoRep filecoin-ffi#400
• In the Built-In actors repo: Add proof types for synthetic porep (FIP-0059) #1409
• In the Go-State-Types repo: Synthetic PoRep go-state-types#193

[rjan90]

General

• Run the disputer while the running e2e-testing

32GiB-sector sizes:

• Extend the sector lifetime of a sector sealed with NI-PoRep
• Snap a NI-PoRep sector with a deal.
• Snap a NI-PoRep sector with datacap, and confirm additional QAP
• Pass WindowPoSt with sectors sealed with NI-PoRep
• Fail a WindowPoSt with sectors sealed with NI-PoRep, and confirm it successfully recovers
• Terminate sector(s) that was sealed with NI-PoRep
• Compact partition(s) that includes sectors sealed with NI-PoRep
• ProveCommitSectorsNI with Seal-Proofs and Aggregate-Proof
• Onboard a sector sealed with NI-PoRep, submit a fake/bad proof for it, and confirm it gets caught by the disputer

64GiB-sector sizes:

• Extend the sector lifetime of a sector sealed with NI-PoRep
• Snap a NI-PoRep sector with a deal.
• Snap a NI-PoRep sector with datacap, and confirm additional QAP
• Pass WindowPoSt with sectors sealed with NI-PoRep
• Fail a WindowPoSt with sectors sealed with NI-PoRep, and confirm it successfully recovers
• Terminate sector(s) that was sealed with NI-PoRep
• Compact partition(s) that includes sectors sealed with NI-PoRep
• ProveCommitSectorsNI with Seal-Proofs and Aggregate-Proof
• Onboard a sector sealed with NI-PoRep, submit a fake/bad proof for it, and confirm it gets caught by the disputer

[BigLep]

Marking this as done given v14.0.0-rc1 was cut and is being incorporated into Lotus v1.28.0-rc1 as part of filecoin-project/lotus#12147