Synthetic PoRep Actors and FVM integration

[cryptonemo]

Description

The motivation for Synthetic PoRep is described in FIP-0059 (https://github.com/filecoin-project/FIPs/blob/master/FIPS/fip-0059.md) and code branches in Proofs exist and PRs are currently open:

#1701
filecoin-project/rust-filecoin-proofs-api#87
filecoin-project/filecoin-ffi#400

Acceptance criteria and Technical Scope

The remaining work required is updating the following repos:

https://github.com/filecoin-project/builtin-actors
https://github.com/filecoin-project/ref-fvm

With the new Proof types and tests (where applicable).

Where to begin

Related to the following:

filecoin-project/lotus#10984
filecoin-project/lotus#10970

[cryptonemo]

There are 4 repos with synthetic-porep branches in flight, required for this work:

https://github.com/cryptonemo/filecoin/tree/synthetic-porep
https://github.com/cryptonemo/builtin-actors-bundler/tree/synthetic-porep
https://github.com/cryptonemo/builtin-actors/tree/synthetic-porep
https://github.com/cryptonemo/ref-fvm/tree/synthetic-porep

The above build at the moment, but the patching mechanism was not working so all Cargo files were modified (not ideal). Looks like after yesterday, all of them need rebasing as well.

[jennijuju]

patching mechanism was not working so all Cargo files were modified (not ideal)

can you elaborate?

[cryptonemo]

patching mechanism was not working so all Cargo files were modified (not ideal)

can you elaborate?

There are good ways to patch cargo dependencies into existing projects (in this case I want to pull in the synth porep branches), but I didn't have luck yet on getting the patches to work properly. So every reference to dependencies was updated manually, which is ugly and more work than necessary (in most cases). That will have to be resolved one way or another (perhaps new releases of dependencies, or some other way of getting it working). This is probably due mostly to me being unfamiliar with these repos and their almost circular dependency requirements 😵

Reference to patching: https://doc.rust-lang.org/cargo/reference/overriding-dependencies.html

[cryptonemo]

^To be clear, I'm not blocked on this, just working through it ...

[cryptonemo]

Completed