111 lines
2.3 KiB
Go
111 lines
2.3 KiB
Go
package main
|
|
|
|
import (
|
|
"encoding/hex"
|
|
"fmt"
|
|
|
|
proof2 "github.com/filecoin-project/specs-actors/v2/actors/runtime/proof"
|
|
|
|
"github.com/urfave/cli/v2"
|
|
|
|
ffi "github.com/filecoin-project/filecoin-ffi"
|
|
"github.com/filecoin-project/go-address"
|
|
"github.com/filecoin-project/go-state-types/abi"
|
|
"github.com/ipfs/go-cid"
|
|
)
|
|
|
|
var proofsCmd = &cli.Command{
|
|
Name: "proofs",
|
|
Subcommands: []*cli.Command{
|
|
verifySealProofCmd,
|
|
},
|
|
}
|
|
|
|
var verifySealProofCmd = &cli.Command{
|
|
Name: "verify-seal",
|
|
ArgsUsage: "<commr> <commd> <proof>",
|
|
Description: "Verify a seal proof with manual inputs",
|
|
Flags: []cli.Flag{
|
|
&cli.StringFlag{
|
|
Name: "ticket",
|
|
},
|
|
&cli.StringFlag{
|
|
Name: "proof-rand",
|
|
},
|
|
&cli.StringFlag{
|
|
Name: "miner",
|
|
},
|
|
&cli.Uint64Flag{
|
|
Name: "sector-id",
|
|
},
|
|
&cli.Int64Flag{
|
|
Name: "proof-type",
|
|
},
|
|
},
|
|
Action: func(cctx *cli.Context) error {
|
|
if cctx.Args().Len() != 3 {
|
|
return fmt.Errorf("must specify commR, commD, and proof to verify")
|
|
}
|
|
|
|
commr, err := cid.Decode(cctx.Args().Get(0))
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
commd, err := cid.Decode(cctx.Args().Get(1))
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
proof, err := hex.DecodeString(cctx.Args().Get(2))
|
|
if err != nil {
|
|
return fmt.Errorf("failed to decode hex proof input: %w", err)
|
|
}
|
|
|
|
maddr, err := address.NewFromString(cctx.String("miner"))
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
mid, err := address.IDFromAddress(maddr)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
ticket, err := hex.DecodeString(cctx.String("ticket"))
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
proofRand, err := hex.DecodeString(cctx.String("proof-rand"))
|
|
if err != nil {
|
|
return err
|
|
}
|
|
|
|
snum := abi.SectorNumber(cctx.Uint64("sector-id"))
|
|
|
|
ok, err := ffi.VerifySeal(proof2.SealVerifyInfo{
|
|
SectorID: abi.SectorID{
|
|
Miner: abi.ActorID(mid),
|
|
Number: snum,
|
|
},
|
|
SealedCID: commr,
|
|
SealProof: abi.RegisteredSealProof(cctx.Int64("proof-type")),
|
|
Proof: proof,
|
|
DealIDs: nil,
|
|
Randomness: abi.SealRandomness(ticket),
|
|
InteractiveRandomness: abi.InteractiveSealRandomness(proofRand),
|
|
UnsealedCID: commd,
|
|
})
|
|
if err != nil {
|
|
return err
|
|
}
|
|
if !ok {
|
|
return fmt.Errorf("invalid proof")
|
|
}
|
|
|
|
fmt.Println("proof valid!")
|
|
return nil
|
|
},
|
|
}
|