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

Enable fraud proof tests #2169

Merged
merged 11 commits into from
Nov 7, 2023
Merged

Enable fraud proof tests #2169

merged 11 commits into from
Nov 7, 2023

Conversation

NingLin-P
Copy link
Member

This PR enables all the fraud proof tests, and brings some refactoring, necessary infra support, and fix:

  • Bring back the runtime API of submitting fraud proof and extracting fraud proof/ER from consensus block to check fraudulent ER
  • Remove the parent chain abstraction
  • Minor fix for several different fraud proofs
  • Fix broken fraud proof tests and enable all of them

Code contributor checklist:

…t receipt

These runtime api is removed during the domain v2 refactoring, we need to bring them
back in order to detect fraudulent ER and submit fraud proof. Noticed, the FruadProofApi
is placed in the sp-domains-fraud-proof instead of sp-domains, which is becasue the
FraudProof struct is defined in sp-domains-fraud-proof and importing FraudProof to
sp-domains will cause cyclic dependency

Signed-off-by: linning <linningde25@gmail.com>
The parent chain abstraction is introduced in domain v1 when we have system/core domain,
which have different parent chain, since system domain is not present in domain v2, we
should remove this abstraction and re-introduce it when system domain is re-introduced.

Signed-off-by: linning <linningde25@gmail.com>
Signed-off-by: linning <linningde25@gmail.com>
…id state transition fraud proof

Signed-off-by: linning <linningde25@gmail.com>
…neration

This commit also move ExtrinsicDigest to sp-domains, otherwise import it in the
block-preprocessor will cause cyclic dependency

Signed-off-by: linning <linningde25@gmail.com>
This commit enable all fraud proof tests, fix broken tests, and add more
checks to the test

Signed-off-by: linning <linningde25@gmail.com>
Signed-off-by: linning <linningde25@gmail.com>
Since the fraud proof verification is not in the client side anymore

Signed-off-by: linning <linningde25@gmail.com>
@NingLin-P NingLin-P mentioned this pull request Nov 6, 2023
1 task
crates/sp-domains-fraud-proof/src/lib.rs Outdated Show resolved Hide resolved
crates/subspace-runtime/src/lib.rs Outdated Show resolved Hide resolved
test/subspace-test-runtime/src/lib.rs Outdated Show resolved Hide resolved
test/subspace-test-runtime/src/lib.rs Outdated Show resolved Hide resolved
Signed-off-by: linning <linningde25@gmail.com>
Copy link
Contributor

@vedhavyas vedhavyas left a comment

Choose a reason for hiding this comment

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

generally looks ok

@NingLin-P NingLin-P added this pull request to the merge queue Nov 7, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 7, 2023
@NingLin-P
Copy link
Member Author

CI failed due to infra error, try it again

Run arduino/setup-protoc@9b1ee5b22b0a3f1feb8c2ff99b32c89b3c3191e9
Error: Error: unable to get latest version

@NingLin-P NingLin-P added this pull request to the merge queue Nov 7, 2023
Merged via the queue into main with commit 9422744 Nov 7, 2023
10 checks passed
@NingLin-P NingLin-P deleted the enable-fraud-proof-test branch November 7, 2023 14:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants