Skip to content

Commit

Permalink
FIP-0090: fix resources dir name, fix links to resources (#1012)
Browse files Browse the repository at this point in the history
  • Loading branch information
rvagg authored May 20, 2024
1 parent ac53f52 commit 918f9d5
Show file tree
Hide file tree
Showing 6 changed files with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions FIPS/fip-0090.md
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ NI-PoRep will be beneficial for Filecoin in multiple ways, outlined below.

PoRep is currently interactive (in order to complete sealing, an SP has to wait to receive a challenge seed from the chain) and requires ad-hoc collateral. These features represent a limitation when considering optimisation for the onboarding pipeline, such as Sealing-as-a-Service (SaaS) and the new SupraSeal sealing code. With NI-PoRep, no interaction is needed and this yields:

- [Gas cost reduction] Current PoRep is composed of two steps: PreCommit and ProveCommit. With NI-PoRep there is no more `PreCommit` method and message, and only `ProveCommit` remains, i.e. only one step with one chain message is needed to onboard sectors to the network. This translates into a possible gas cost reduction when considering aggregated sectors; according to [our estimation](../resources/fip-xxx-niporep/PoRep_GasComparison.pdf), current PoRep is 2.1x more expensive than NI-PoRep when aggregating 6 sectors.
- [Gas cost reduction] Current PoRep is composed of two steps: PreCommit and ProveCommit. With NI-PoRep there is no more `PreCommit` method and message, and only `ProveCommit` remains, i.e. only one step with one chain message is needed to onboard sectors to the network. This translates into a possible gas cost reduction when considering aggregated sectors; according to [our estimation](../resources/fip-0090/PoRep_GasComparison.pdf), current PoRep is 2.1x more expensive than NI-PoRep when aggregating 6 sectors.
- [Lower hardware requirements] With NI-PoRep, there is no more waiting time between `PreCommit` and `ProveCommit`. This helps when using sealing software (like SupraSeal) that seals more sectors at the same time. Currently, memory requirements are increased by the fact that some data need to be stored during the waiting time. Having no waiting time implies lower memory requirements.


Expand Down Expand Up @@ -194,7 +194,7 @@ Current PoRep is interactive, and it is composed of two steps: PreCommit and Pro
A first step to mitigate the downsides of the waiting time was the introduction of Synthetic PoRep (See [FIP-0059](https://github.com/filecoin-project/FIPs/blob/master/FIPS/fip-0059.md)), which reduces the size of the temporary data stored between PreCommit and ProveCommit.
NI-PoRep is a further step forward, completely foregoing on-chain interaction (ie, the waiting time) and the need of PCD by allowing SP to locally generate challenges instead of using on-chain randomness.

NI-PoRep has little downside with respect to the status quo: it removes PreCommit at the cost of augmenting C2 (ie SNARK generation) costs, which would result in a limited cost increase looking at onboarding costs as a whole. Indeed, NI-PoRep requires 12.8x more PoRep Challenges, which translates into an 12.8x SNARK proving overhead. We analyzed how this SNARK computation overhead affects overall costs. The conclusion is that considering PC1+PC2+C1+C2 and storage costs (i.e. not considering maintenance costs), a NI-PoRep sector with 128 bits of security is 5% more expensive than an Interactive PoRep sector when sector duration is 3y. See full analysis [here](../resources/fip-xxx-niporep/NIPoRep_CostAnalysis.pdf).
NI-PoRep has little downside with respect to the status quo: it removes PreCommit at the cost of augmenting C2 (ie SNARK generation) costs, which would result in a limited cost increase looking at onboarding costs as a whole. Indeed, NI-PoRep requires 12.8x more PoRep Challenges, which translates into an 12.8x SNARK proving overhead. We analyzed how this SNARK computation overhead affects overall costs. The conclusion is that considering PC1+PC2+C1+C2 and storage costs (i.e. not considering maintenance costs), a NI-PoRep sector with 128 bits of security is 5% more expensive than an Interactive PoRep sector when sector duration is 3y. See full analysis [here](../resources/fip-0090/NIPoRep_CostAnalysis.pdf).

The new onboarding method `ProveCommitSectorsNI` is restricted to CC-sectors. We decided for this design for the following reasons:
1. We believe that the main users of NI-PoRep will be SaaS Providers, which will use NI-PoRep for CC sectors anyway. In the SaaS scenario, the flow where the SP ships the data over to an SaaS Provider and then gets back the sealed data (replica) seems more complex (and therefore more expensive in practice) than the flow where the SaaS Provider distributes CC sectors and then the SP can snap the data later. This should be especially true if [FIP0082](https://github.com/filecoin-project/FIPs/blob/master/FIPS/fip-0082.md) (SuperSnap) were deployed in the network.
Expand Down Expand Up @@ -229,7 +229,7 @@ This means that, if PC1, PC2, C1, C2 happen locally over time resulting into dif

## Addressing concerns **due to interaction removal**

Concerns were raised over the possibility that a malicious party wanting to take over the network could potentially keep accumulating sectors locally before onboarding them to the network all at once. [Our analysis](../resources/fip-xxx-niporep/interactionRemoval.pdf.pdf) shows that no additional security risks are introduced with respect to Interactive PoRep. The security of both pathways can be improved by decoupling the power table lookback from consensus, which may be a subject for a future FIP.
Concerns were raised over the possibility that a malicious party wanting to take over the network could potentially keep accumulating sectors locally before onboarding them to the network all at once. [Our analysis](../resources/fip-0090/interactionRemoval.pdf) shows that no additional security risks are introduced with respect to Interactive PoRep. The security of both pathways can be improved by decoupling the power table lookback from consensus, which may be a subject for a future FIP.

## Incentive Considerations

Expand Down Expand Up @@ -257,7 +257,7 @@ The SupraSeal implementation only targets the proving, where we observe speedups

The ratio between synthesis and proving time depends on the GPU, and consequently so does the speedup. In particular, synthesis time tends to be dominant in newer GPUs, reducing the overall speedup.

For benchmark data, see: [SupraSeal C2 benchmarks](../resources/fip-xxx-niporep/benchmarks.pdf).
For benchmark data, see: [SupraSeal C2 benchmarks](../resources/fip-0090/benchmarks.pdf).

## Implementations

Expand Down
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 comments on commit 918f9d5

Please sign in to comment.