import { Address , SignedStateReceipt , StateReceipt } from './types' ; import { ImplicationProofItem } from '@pigi/ovm' ; export interface RollupStateSolver { param signedReceipt storeSignedStateReceipt ( signedReceipt ) : Promise < void > ; param stateReceipt param aggregator returns isStateReceiptProvablyValid ( stateReceipt , aggregator ) : Promise < boolean > ; param stateReceipt param signer returns getFraudProof ( stateReceipt , signer ) : Promise < ImplicationProofItem [ ] > ; }