Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make Prove{CommitSectors, ReplicaUpdates}3Params aggregate proof type optional #1511

Merged
merged 2 commits into from
Feb 1, 2024

Conversation

anorth
Copy link
Member

@anorth anorth commented Jan 30, 2024

This will require a corresponding update to the FIP.

@anorth anorth requested review from Stebalien and magik6k January 30, 2024 00:19
@arajasek arajasek force-pushed the anorth/ddo-aggprooftype branch from b683e83 to ed15f73 Compare February 1, 2024 14:47
@@ -490,8 +490,8 @@ pub struct ProveReplicaUpdates3Params {
pub aggregate_proof: RawBytes,
// The proof type for all sector update proofs, individually or before aggregation.
pub update_proofs_type: RegisteredUpdateProof,
// The proof type for the aggregate proof (ignored if no aggregate proof).
pub aggregate_proof_type: RegisteredAggregateProof,
// The proof type for the aggregate proof (must be None if no aggregate proof).
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nit: This isn't actually true today, afaic tell -- this field is simply ignored in all cases (cuz we don't actually support aggregated PRUs yet), and so you can put whatever you want in here?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Right, I'll fix so it is enforced, so that doesn't break anyone in the future when we need to.

@anorth anorth force-pushed the anorth/ddo-aggprooftype branch from af2e86c to fc78384 Compare February 1, 2024 19:42
@anorth anorth added this pull request to the merge queue Feb 1, 2024
Merged via the queue into master with commit a96db01 Feb 1, 2024
14 checks passed
@anorth anorth deleted the anorth/ddo-aggprooftype branch February 1, 2024 20:02
rjan90 pushed a commit that referenced this pull request Feb 8, 2024
… optional (#1511)

* Make Prove{CommitSectors, ReplicaUpdates}3Params aggregate proof type optional.

* Enforce no agg proof type when not used
rjan90 pushed a commit that referenced this pull request Feb 8, 2024
… optional (#1511)

* Make Prove{CommitSectors, ReplicaUpdates}3Params aggregate proof type optional.

* Enforce no agg proof type when not used
rjan90 added a commit that referenced this pull request Feb 8, 2024
* Make Prove{CommitSectors, ReplicaUpdates}3Params aggregate proof type optional (#1511)

* Make Prove{CommitSectors, ReplicaUpdates}3Params aggregate proof type optional.

* Enforce no agg proof type when not used

* Serialise bigint as idiomatic Filecoin form (#1516)

Without this it naively serialises using the underlying Rust BigInt
representation:

	[sign,[data,data,...]]

---------

Co-authored-by: Alex North <[email protected]>
Co-authored-by: Rod Vagg <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: ☑️ Done (Archive)
Development

Successfully merging this pull request may close these issues.

4 participants