2020-01-20 22:03:50 +00:00
package sealing
import (
"context"
2020-02-08 02:18:32 +00:00
"github.com/multiformats/go-multihash"
2020-01-20 22:03:50 +00:00
"golang.org/x/xerrors"
"github.com/filecoin-project/go-address"
2020-01-23 14:05:44 +00:00
"github.com/filecoin-project/lotus/build"
2020-01-20 22:03:50 +00:00
"github.com/filecoin-project/lotus/chain/actors"
"github.com/filecoin-project/lotus/chain/types"
)
2020-01-23 15:38:01 +00:00
// TODO: For now we handle this by halting state execution, when we get jsonrpc reconnecting
// We should implement some wait-for-api logic
2020-01-23 16:15:45 +00:00
type ErrApi struct { error }
2020-01-23 12:17:45 +00:00
2020-01-23 16:15:45 +00:00
type ErrInvalidDeals struct { error }
type ErrExpiredDeals struct { error }
2020-01-23 12:17:45 +00:00
2020-01-23 16:15:45 +00:00
type ErrBadCommD struct { error }
type ErrExpiredTicket struct { error }
2020-01-23 14:05:44 +00:00
2020-01-24 20:15:02 +00:00
// checkPieces validates that:
// - Each piece han a corresponding on chain deal
// - Piece commitments match with on chain deals
// - Piece sizes match
// - Deals aren't expired
2020-01-22 19:47:29 +00:00
func checkPieces ( ctx context . Context , si SectorInfo , api sealingApi ) error {
2020-01-23 12:17:45 +00:00
head , err := api . ChainHead ( ctx )
if err != nil {
2020-01-23 15:57:14 +00:00
return & ErrApi { xerrors . Errorf ( "getting chain head: %w" , err ) }
2020-01-23 12:17:45 +00:00
}
2020-01-20 22:03:50 +00:00
for i , piece := range si . Pieces {
deal , err := api . StateMarketStorageDeal ( ctx , piece . DealID , nil )
if err != nil {
2020-01-23 15:57:14 +00:00
return & ErrApi { xerrors . Errorf ( "getting deal %d for piece %d: %w" , piece . DealID , i , err ) }
2020-01-20 22:03:50 +00:00
}
2020-02-09 06:06:32 +00:00
h , err := multihash . Decode ( deal . Proposal . PieceCID . Hash ( ) )
2020-02-08 02:18:32 +00:00
if err != nil {
return & ErrInvalidDeals { xerrors . Errorf ( "decoding piece CID: %w" , err ) }
}
if string ( h . Digest ) != string ( piece . CommP ) {
return & ErrInvalidDeals { xerrors . Errorf ( "piece %d (or %d) of sector %d refers deal %d with wrong CommP: %x != %x" , i , len ( si . Pieces ) , si . SectorID , piece . DealID , piece . CommP , h . Digest ) }
2020-01-20 22:03:50 +00:00
}
2020-02-09 06:06:32 +00:00
if piece . Size != deal . Proposal . PieceSize . Unpadded ( ) {
return & ErrInvalidDeals { xerrors . Errorf ( "piece %d (or %d) of sector %d refers deal %d with different size: %d != %d" , i , len ( si . Pieces ) , si . SectorID , piece . DealID , piece . Size , deal . Proposal . PieceSize ) }
2020-01-23 12:17:45 +00:00
}
2020-02-09 06:06:32 +00:00
if head . Height ( ) >= deal . Proposal . StartEpoch {
return & ErrExpiredDeals { xerrors . Errorf ( "piece %d (or %d) of sector %d refers expired deal %d - should start at %d, head %d" , i , len ( si . Pieces ) , si . SectorID , piece . DealID , deal . Proposal . StartEpoch , head . Height ( ) ) }
2020-01-20 22:03:50 +00:00
}
}
return nil
}
2020-01-24 20:15:02 +00:00
// checkSeal checks that data commitment generated in the sealing process
// matches pieces, and that the seal ticket isn't expired
2020-01-22 19:47:29 +00:00
func checkSeal ( ctx context . Context , maddr address . Address , si SectorInfo , api sealingApi ) ( err error ) {
2020-01-23 14:05:44 +00:00
head , err := api . ChainHead ( ctx )
2020-01-20 22:03:50 +00:00
if err != nil {
2020-01-23 15:57:14 +00:00
return & ErrApi { xerrors . Errorf ( "getting chain head: %w" , err ) }
2020-01-23 14:05:44 +00:00
}
ssize , err := api . StateMinerSectorSize ( ctx , maddr , head )
if err != nil {
2020-01-23 15:57:14 +00:00
return & ErrApi { err }
2020-01-20 22:03:50 +00:00
}
ccparams , err := actors . SerializeParams ( & actors . ComputeDataCommitmentParams {
DealIDs : si . deals ( ) ,
SectorSize : ssize ,
} )
if err != nil {
return xerrors . Errorf ( "computing params for ComputeDataCommitment: %w" , err )
}
ccmt := & types . Message {
To : actors . StorageMarketAddress ,
2020-01-22 19:47:29 +00:00
From : maddr ,
2020-01-20 22:03:50 +00:00
Value : types . NewInt ( 0 ) ,
GasPrice : types . NewInt ( 0 ) ,
GasLimit : types . NewInt ( 9999999999 ) ,
Method : actors . SMAMethods . ComputeDataCommitment ,
Params : ccparams ,
}
r , err := api . StateCall ( ctx , ccmt , nil )
if err != nil {
2020-01-23 15:57:14 +00:00
return & ErrApi { xerrors . Errorf ( "calling ComputeDataCommitment: %w" , err ) }
2020-01-20 22:03:50 +00:00
}
if r . ExitCode != 0 {
2020-01-23 15:57:14 +00:00
return & ErrBadCommD { xerrors . Errorf ( "receipt for ComputeDataCommitment had exit code %d" , r . ExitCode ) }
2020-01-20 22:03:50 +00:00
}
if string ( r . Return ) != string ( si . CommD ) {
2020-01-23 15:57:14 +00:00
return & ErrBadCommD { xerrors . Errorf ( "on chain CommD differs from sector: %x != %x" , r . Return , si . CommD ) }
2020-01-23 14:05:44 +00:00
}
2020-01-23 14:18:05 +00:00
if int64 ( head . Height ( ) ) - int64 ( si . Ticket . BlockHeight + build . SealRandomnessLookback ) > build . SealRandomnessLookbackLimit {
2020-01-23 15:57:14 +00:00
return & ErrExpiredTicket { xerrors . Errorf ( "ticket expired: seal height: %d, head: %d" , si . Ticket . BlockHeight + build . SealRandomnessLookback , head . Height ( ) ) }
2020-01-20 22:03:50 +00:00
}
return nil
}