lotus/ffiwrapper/verifier_cgo.go

120 lines
4.0 KiB
Go
Raw Normal View History

2020-03-26 19:34:38 +00:00
//+build cgo
package ffiwrapper
import (
"context"
"golang.org/x/xerrors"
"go.opencensus.io/trace"
ffi "github.com/filecoin-project/filecoin-ffi"
"github.com/filecoin-project/specs-actors/actors/abi"
2020-03-27 23:21:36 +00:00
"github.com/filecoin-project/sector-storage/stores"
2020-03-26 19:34:38 +00:00
)
2020-04-10 18:41:59 +00:00
func (sb *Sealer) GenerateWinningPoSt(ctx context.Context, minerID abi.ActorID, sectorInfo []abi.SectorInfo, randomness abi.PoStRandomness) ([]abi.PoStProof, error) {
randomness[31] = 0 // TODO: Not correct, fixme
privsectors, skipped, done, err := sb.pubSectorToPriv(ctx, minerID, sectorInfo, nil, abi.RegisteredProof.RegisteredWinningPoStProof) // TODO: FAULTS?
2020-03-26 19:34:38 +00:00
if err != nil {
return nil, err
}
defer done()
2020-06-08 17:22:11 +00:00
if len(skipped) > 0 {
return nil, xerrors.Errorf("pubSectorToPriv skipped sectors: %+v", skipped)
}
2020-03-26 19:34:38 +00:00
2020-04-10 18:41:59 +00:00
return ffi.GenerateWinningPoSt(minerID, privsectors, randomness)
}
2020-03-26 19:34:38 +00:00
2020-06-08 17:22:11 +00:00
func (sb *Sealer) GenerateWindowPoSt(ctx context.Context, minerID abi.ActorID, sectorInfo []abi.SectorInfo, randomness abi.PoStRandomness) ([]abi.PoStProof, []abi.SectorID, error) {
randomness[31] = 0 // TODO: Not correct, fixme
privsectors, skipped, done, err := sb.pubSectorToPriv(ctx, minerID, sectorInfo, nil, abi.RegisteredProof.RegisteredWindowPoStProof)
2020-03-26 19:34:38 +00:00
if err != nil {
2020-06-08 17:22:11 +00:00
return nil, nil, xerrors.Errorf("gathering sector info: %w", err)
2020-03-26 19:34:38 +00:00
}
defer done()
2020-03-26 19:34:38 +00:00
2020-06-08 17:22:11 +00:00
proof, err := ffi.GenerateWindowPoSt(minerID, privsectors, randomness)
return proof, skipped, err
2020-03-26 19:34:38 +00:00
}
func (sb *Sealer) pubSectorToPriv(ctx context.Context, mid abi.ActorID, sectorInfo []abi.SectorInfo, faults []abi.SectorNumber, rpt func(abi.RegisteredProof) (abi.RegisteredProof, error)) (ffi.SortedPrivateSectorInfo, []abi.SectorID, func(), error) {
2020-03-26 19:34:38 +00:00
fmap := map[abi.SectorNumber]struct{}{}
for _, fault := range faults {
fmap[fault] = struct{}{}
}
var doneFuncs []func()
done := func() {
for _, df := range doneFuncs {
df()
}
}
var skipped []abi.SectorID
2020-03-26 19:34:38 +00:00
var out []ffi.PrivateSectorInfo
for _, s := range sectorInfo {
if _, faulty := fmap[s.SectorNumber]; faulty {
continue
}
sid := abi.SectorID{Miner: mid, Number: s.SectorNumber}
paths, d, err := sb.sectors.AcquireSector(ctx, sid, stores.FTCache|stores.FTSealed, 0, false)
2020-03-26 19:34:38 +00:00
if err != nil {
log.Warnw("failed to acquire sector, skipping", "sector", sid, "error", err)
skipped = append(skipped, sid)
continue
2020-03-26 19:34:38 +00:00
}
doneFuncs = append(doneFuncs, d)
2020-03-26 19:34:38 +00:00
2020-04-10 18:41:59 +00:00
postProofType, err := rpt(s.RegisteredProof)
2020-03-26 19:34:38 +00:00
if err != nil {
done()
return ffi.SortedPrivateSectorInfo{}, nil, nil, xerrors.Errorf("acquiring registered PoSt proof from sector info %+v: %w", s, err)
2020-03-26 19:34:38 +00:00
}
out = append(out, ffi.PrivateSectorInfo{
CacheDirPath: paths.Cache,
PoStProofType: postProofType,
SealedSectorPath: paths.Sealed,
SectorInfo: s,
})
}
return ffi.NewSortedPrivateSectorInfo(out...), skipped, done, nil
2020-03-26 19:34:38 +00:00
}
var _ Verifier = ProofVerifier
type proofVerifier struct{}
var ProofVerifier = proofVerifier{}
func (proofVerifier) VerifySeal(info abi.SealVerifyInfo) (bool, error) {
return ffi.VerifySeal(info)
}
2020-04-10 18:41:59 +00:00
func (proofVerifier) VerifyWinningPoSt(ctx context.Context, info abi.WinningPoStVerifyInfo) (bool, error) {
info.Randomness[31] = 0 // TODO: Not correct, fixme
_, span := trace.StartSpan(ctx, "VerifyWinningPoSt")
defer span.End()
2020-03-26 19:34:38 +00:00
2020-04-10 18:41:59 +00:00
return ffi.VerifyWinningPoSt(info)
2020-03-26 19:34:38 +00:00
}
2020-04-10 18:41:59 +00:00
func (proofVerifier) VerifyWindowPoSt(ctx context.Context, info abi.WindowPoStVerifyInfo) (bool, error) {
info.Randomness[31] = 0 // TODO: Not correct, fixme
_, span := trace.StartSpan(ctx, "VerifyWindowPoSt")
2020-03-26 19:34:38 +00:00
defer span.End()
2020-04-10 18:41:59 +00:00
return ffi.VerifyWindowPoSt(info)
2020-03-26 19:34:38 +00:00
}
func (proofVerifier) GenerateWinningPoStSectorChallenge(ctx context.Context, proofType abi.RegisteredProof, minerID abi.ActorID, randomness abi.PoStRandomness, eligibleSectorCount uint64) ([]uint64, error) {
randomness[31] = 0 // TODO: Not correct, fixme
return ffi.GenerateWinningPoStSectorChallenge(proofType, minerID, randomness, eligibleSectorCount)
}