Skip to content

Add fraud proof trigger logic#375

Closed
Manav-Aggarwal wants to merge 10 commits intofraud_proofs_isrfrom
manav/fraud_proofs
Closed

Add fraud proof trigger logic#375
Manav-Aggarwal wants to merge 10 commits intofraud_proofs_isrfrom
manav/fraud_proofs

Conversation

@Manav-Aggarwal
Copy link
Copy Markdown
Member

@Manav-Aggarwal Manav-Aggarwal commented Apr 19, 2022

An Optimint full node must compare the ISRs it generates when verifying state transitons (see celestiaorg/cosmos-sdk#127) with those it receives from the block producer.

In the event that there is a mismatch the node should generate a fraud proof.

Uses the version of tendermint with added ABCI methods here: evstack/tendermint#4 so build tests do not work

Resolves: #385

@Manav-Aggarwal Manav-Aggarwal added the C:state-fraud-proofs Component: State Fraud Proofs (generation and validation) label Apr 19, 2022
@Manav-Aggarwal Manav-Aggarwal self-assigned this Apr 19, 2022
@Manav-Aggarwal Manav-Aggarwal force-pushed the manav/fraud_proofs branch 5 times, most recently from 30e6a76 to 9e48203 Compare April 19, 2022 21:55
@Manav-Aggarwal Manav-Aggarwal removed the request for review from alex-beckett August 23, 2022 20:25
@Manav-Aggarwal Manav-Aggarwal changed the base branch from main to fraud_proofs_isr August 24, 2022 03:31
@Manav-Aggarwal Manav-Aggarwal marked this pull request as ready for review August 24, 2022 13:54
@tzdybal
Copy link
Copy Markdown
Contributor

tzdybal commented Oct 25, 2022

Replaced by: #567

@tzdybal tzdybal closed this Oct 25, 2022
@Manav-Aggarwal Manav-Aggarwal deleted the manav/fraud_proofs branch May 2, 2023 15:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C:state-fraud-proofs Component: State Fraud Proofs (generation and validation)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Compare generated ISRs to block producer ISRs

3 participants