2020-08-15 22:57:27 +00:00
|
|
|
package conformance
|
|
|
|
|
|
|
|
import (
|
|
|
|
"context"
|
2020-09-01 14:35:19 +00:00
|
|
|
"fmt"
|
2020-08-15 22:57:27 +00:00
|
|
|
|
2020-09-01 14:35:19 +00:00
|
|
|
"github.com/filecoin-project/lotus/chain/stmgr"
|
|
|
|
"github.com/filecoin-project/lotus/chain/store"
|
2020-08-26 20:39:44 +00:00
|
|
|
"github.com/filecoin-project/lotus/chain/types"
|
|
|
|
"github.com/filecoin-project/lotus/chain/vm"
|
|
|
|
"github.com/filecoin-project/lotus/extern/sector-storage/ffiwrapper"
|
|
|
|
"github.com/filecoin-project/lotus/lib/blockstore"
|
|
|
|
|
2020-08-15 22:57:27 +00:00
|
|
|
"github.com/filecoin-project/specs-actors/actors/abi"
|
|
|
|
"github.com/filecoin-project/specs-actors/actors/puppet"
|
2020-08-19 13:31:34 +00:00
|
|
|
|
2020-08-21 10:51:50 +00:00
|
|
|
"github.com/filecoin-project/test-vectors/chaos"
|
2020-08-26 20:39:44 +00:00
|
|
|
"github.com/filecoin-project/test-vectors/schema"
|
2020-08-21 10:51:50 +00:00
|
|
|
|
2020-09-01 14:35:19 +00:00
|
|
|
"github.com/filecoin-project/go-address"
|
|
|
|
|
2020-08-26 20:39:44 +00:00
|
|
|
"github.com/ipfs/go-cid"
|
2020-09-01 14:35:19 +00:00
|
|
|
ds "github.com/ipfs/go-datastore"
|
2020-08-15 22:57:27 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
var (
|
|
|
|
// BaseFee to use in the VM.
|
|
|
|
// TODO make parametrisable through vector.
|
|
|
|
BaseFee = abi.NewTokenAmount(100)
|
|
|
|
)
|
|
|
|
|
|
|
|
type Driver struct {
|
2020-09-01 14:35:19 +00:00
|
|
|
ctx context.Context
|
|
|
|
selector schema.Selector
|
|
|
|
}
|
|
|
|
|
|
|
|
func NewDriver(ctx context.Context, selector schema.Selector) *Driver {
|
|
|
|
return &Driver{ctx: ctx, selector: selector}
|
|
|
|
}
|
|
|
|
|
|
|
|
type ExecuteTipsetResult struct {
|
|
|
|
ReceiptsRoot cid.Cid
|
|
|
|
PostStateRoot cid.Cid
|
|
|
|
|
|
|
|
// AppliedMessages stores the messages that were applied, in the order they
|
|
|
|
// were applied. It includes implicit messages (cron, rewards).
|
|
|
|
AppliedMessages []*types.Message
|
|
|
|
// AppliedResults stores the results of AppliedMessages, in the same order.
|
|
|
|
AppliedResults []*vm.ApplyRet
|
2020-08-15 22:57:27 +00:00
|
|
|
}
|
|
|
|
|
2020-09-01 14:35:19 +00:00
|
|
|
// ExecuteTipset executes the supplied tipset on top of the state represented
|
|
|
|
// by the preroot CID.
|
|
|
|
//
|
|
|
|
// parentEpoch is the last epoch in which an actual tipset was processed. This
|
|
|
|
// is used by Lotus for null block counting and cron firing.
|
|
|
|
//
|
|
|
|
// This method returns the the receipts root, the poststate root, and the VM
|
|
|
|
// message results. The latter _include_ implicit messages, such as cron ticks
|
|
|
|
// and reward withdrawal per miner.
|
|
|
|
func (d *Driver) ExecuteTipset(bs blockstore.Blockstore, ds ds.Batching, preroot cid.Cid, parentEpoch abi.ChainEpoch, tipset *schema.Tipset) (*ExecuteTipsetResult, error) {
|
|
|
|
var (
|
|
|
|
syscalls = mkFakedSigSyscalls(vm.Syscalls(ffiwrapper.ProofVerifier))
|
|
|
|
vmRand = new(testRand)
|
|
|
|
|
|
|
|
cs = store.NewChainStore(bs, ds, syscalls)
|
|
|
|
sm = stmgr.NewStateManager(cs)
|
|
|
|
)
|
|
|
|
|
|
|
|
blocks := make([]store.BlockMessages, 0, len(tipset.Blocks))
|
|
|
|
for _, b := range tipset.Blocks {
|
|
|
|
sb := store.BlockMessages{
|
|
|
|
Miner: b.MinerAddr,
|
|
|
|
WinCount: b.WinCount,
|
|
|
|
}
|
|
|
|
for _, m := range b.Messages {
|
|
|
|
msg, err := types.DecodeMessage(m)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
switch msg.From.Protocol() {
|
|
|
|
case address.SECP256K1:
|
|
|
|
sb.SecpkMessages = append(sb.SecpkMessages, msg)
|
|
|
|
case address.BLS:
|
|
|
|
sb.BlsMessages = append(sb.BlsMessages, msg)
|
|
|
|
default:
|
|
|
|
return nil, fmt.Errorf("from account is not secpk nor bls: %s", msg.From)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
blocks = append(blocks, sb)
|
|
|
|
}
|
|
|
|
|
|
|
|
var (
|
|
|
|
messages []*types.Message
|
|
|
|
results []*vm.ApplyRet
|
|
|
|
)
|
|
|
|
|
|
|
|
postcid, receiptsroot, err := sm.ApplyBlocks(context.Background(), parentEpoch, preroot, blocks, tipset.Epoch, vmRand, func(_ cid.Cid, msg *types.Message, ret *vm.ApplyRet) error {
|
|
|
|
messages = append(messages, msg)
|
|
|
|
results = append(results, ret)
|
|
|
|
return nil
|
|
|
|
}, tipset.BaseFee)
|
|
|
|
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
ret := &ExecuteTipsetResult{
|
|
|
|
ReceiptsRoot: receiptsroot,
|
|
|
|
PostStateRoot: postcid,
|
|
|
|
AppliedMessages: messages,
|
|
|
|
AppliedResults: results,
|
|
|
|
}
|
|
|
|
return ret, nil
|
2020-08-15 22:57:27 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// ExecuteMessage executes a conformance test vector message in a temporary VM.
|
2020-09-01 14:35:19 +00:00
|
|
|
func (d *Driver) ExecuteMessage(bs blockstore.Blockstore, preroot cid.Cid, epoch abi.ChainEpoch, msg *types.Message) (*vm.ApplyRet, cid.Cid, error) {
|
2020-08-15 22:57:27 +00:00
|
|
|
vmOpts := &vm.VMOpts{
|
|
|
|
StateBase: preroot,
|
|
|
|
Epoch: epoch,
|
|
|
|
Rand: &testRand{}, // TODO always succeeds; need more flexibility.
|
|
|
|
Bstore: bs,
|
|
|
|
Syscalls: mkFakedSigSyscalls(vm.Syscalls(ffiwrapper.ProofVerifier)), // TODO always succeeds; need more flexibility.
|
|
|
|
CircSupplyCalc: nil,
|
|
|
|
BaseFee: BaseFee,
|
|
|
|
}
|
|
|
|
|
|
|
|
lvm, err := vm.NewVM(vmOpts)
|
|
|
|
if err != nil {
|
|
|
|
return nil, cid.Undef, err
|
|
|
|
}
|
|
|
|
|
|
|
|
invoker := vm.NewInvoker()
|
2020-08-21 10:51:50 +00:00
|
|
|
|
|
|
|
// add support for the puppet and chaos actors.
|
2020-09-01 14:35:19 +00:00
|
|
|
if puppetOn, ok := d.selector["puppet_actor"]; ok && puppetOn == "true" {
|
2020-08-21 10:51:50 +00:00
|
|
|
invoker.Register(puppet.PuppetActorCodeID, puppet.Actor{}, puppet.State{})
|
|
|
|
}
|
2020-09-01 14:35:19 +00:00
|
|
|
if chaosOn, ok := d.selector["chaos_actor"]; ok && chaosOn == "true" {
|
2020-08-19 17:10:56 +00:00
|
|
|
invoker.Register(chaos.ChaosActorCodeCID, chaos.Actor{}, chaos.State{})
|
|
|
|
}
|
|
|
|
|
2020-08-15 22:57:27 +00:00
|
|
|
lvm.SetInvoker(invoker)
|
|
|
|
|
|
|
|
ret, err := lvm.ApplyMessage(d.ctx, msg)
|
|
|
|
if err != nil {
|
|
|
|
return nil, cid.Undef, err
|
|
|
|
}
|
|
|
|
|
|
|
|
root, err := lvm.Flush(d.ctx)
|
|
|
|
return ret, root, err
|
|
|
|
}
|