2019-10-17 04:53:25 +00:00
|
|
|
package validation
|
|
|
|
|
|
|
|
import (
|
|
|
|
"context"
|
2020-06-24 17:44:05 +00:00
|
|
|
|
2020-03-27 22:26:34 +00:00
|
|
|
"golang.org/x/xerrors"
|
2020-02-10 19:16:36 +00:00
|
|
|
|
|
|
|
"github.com/filecoin-project/specs-actors/actors/abi"
|
2020-03-18 20:45:37 +00:00
|
|
|
"github.com/filecoin-project/specs-actors/actors/abi/big"
|
2020-03-08 02:31:36 +00:00
|
|
|
"github.com/filecoin-project/specs-actors/actors/builtin"
|
2020-02-27 00:42:39 +00:00
|
|
|
"github.com/filecoin-project/specs-actors/actors/crypto"
|
2020-05-05 18:23:55 +00:00
|
|
|
"github.com/filecoin-project/specs-actors/actors/puppet"
|
2020-03-03 01:24:07 +00:00
|
|
|
"github.com/ipfs/go-cid"
|
2020-02-10 19:16:36 +00:00
|
|
|
|
2020-02-27 22:17:08 +00:00
|
|
|
vtypes "github.com/filecoin-project/chain-validation/chain/types"
|
|
|
|
vstate "github.com/filecoin-project/chain-validation/state"
|
2019-10-17 04:53:25 +00:00
|
|
|
|
2020-03-03 01:24:07 +00:00
|
|
|
"github.com/filecoin-project/lotus/chain/stmgr"
|
|
|
|
"github.com/filecoin-project/lotus/chain/store"
|
2019-10-17 04:53:25 +00:00
|
|
|
"github.com/filecoin-project/lotus/chain/types"
|
|
|
|
"github.com/filecoin-project/lotus/chain/vm"
|
2020-07-17 18:09:18 +00:00
|
|
|
"github.com/filecoin-project/lotus/journal"
|
2019-10-17 04:53:25 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
// Applier applies messages to state trees and storage.
|
|
|
|
type Applier struct {
|
2020-04-24 22:08:16 +00:00
|
|
|
stateWrapper *StateWrapper
|
2020-07-18 13:46:47 +00:00
|
|
|
syscalls vm.SyscallBuilder
|
2019-10-17 04:53:25 +00:00
|
|
|
}
|
|
|
|
|
2020-02-27 22:17:08 +00:00
|
|
|
var _ vstate.Applier = &Applier{}
|
2019-10-17 04:53:25 +00:00
|
|
|
|
2020-07-18 13:46:47 +00:00
|
|
|
func NewApplier(sw *StateWrapper, syscalls vm.SyscallBuilder) *Applier {
|
2020-05-21 18:17:34 +00:00
|
|
|
return &Applier{sw, syscalls}
|
2019-10-17 04:53:25 +00:00
|
|
|
}
|
|
|
|
|
2020-04-24 22:08:16 +00:00
|
|
|
func (a *Applier) ApplyMessage(epoch abi.ChainEpoch, message *vtypes.Message) (vtypes.ApplyMessageResult, error) {
|
2020-03-25 11:29:35 +00:00
|
|
|
lm := toLotusMsg(message)
|
2020-04-24 22:08:16 +00:00
|
|
|
receipt, penalty, reward, err := a.applyMessage(epoch, lm)
|
|
|
|
return vtypes.ApplyMessageResult{
|
2020-08-03 04:47:08 +00:00
|
|
|
Msg: *message,
|
2020-04-24 22:08:16 +00:00
|
|
|
Receipt: receipt,
|
|
|
|
Penalty: penalty,
|
|
|
|
Reward: reward,
|
|
|
|
Root: a.stateWrapper.Root().String(),
|
|
|
|
}, err
|
2019-10-17 04:53:25 +00:00
|
|
|
}
|
|
|
|
|
2020-04-24 22:08:16 +00:00
|
|
|
func (a *Applier) ApplySignedMessage(epoch abi.ChainEpoch, msg *vtypes.SignedMessage) (vtypes.ApplyMessageResult, error) {
|
|
|
|
var lm types.ChainMsg
|
|
|
|
switch msg.Signature.Type {
|
|
|
|
case crypto.SigTypeSecp256k1:
|
|
|
|
lm = toLotusSignedMsg(msg)
|
|
|
|
case crypto.SigTypeBLS:
|
|
|
|
lm = toLotusMsg(&msg.Message)
|
|
|
|
default:
|
|
|
|
return vtypes.ApplyMessageResult{}, xerrors.New("Unknown signature type")
|
|
|
|
}
|
|
|
|
// TODO: Validate the sig first
|
|
|
|
receipt, penalty, reward, err := a.applyMessage(epoch, lm)
|
|
|
|
return vtypes.ApplyMessageResult{
|
2020-08-03 04:47:08 +00:00
|
|
|
Msg: msg.Message,
|
2020-04-24 22:08:16 +00:00
|
|
|
Receipt: receipt,
|
|
|
|
Penalty: penalty,
|
|
|
|
Reward: reward,
|
|
|
|
Root: a.stateWrapper.Root().String(),
|
|
|
|
}, err
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
func (a *Applier) ApplyTipSetMessages(epoch abi.ChainEpoch, blocks []vtypes.BlockMessagesInfo, rnd vstate.RandomnessSource) (vtypes.ApplyTipSetResult, error) {
|
2020-08-26 15:09:37 +00:00
|
|
|
cs := store.NewChainStore(a.stateWrapper.bs, a.stateWrapper.ds, a.syscalls)
|
2020-03-03 01:24:07 +00:00
|
|
|
sm := stmgr.NewStateManager(cs)
|
|
|
|
|
2020-08-09 01:37:49 +00:00
|
|
|
var bms []store.BlockMessages
|
2020-03-03 01:24:07 +00:00
|
|
|
for _, b := range blocks {
|
2020-08-09 01:37:49 +00:00
|
|
|
bm := store.BlockMessages{
|
2020-06-24 17:44:05 +00:00
|
|
|
Miner: b.Miner,
|
|
|
|
WinCount: 1,
|
2020-03-03 01:24:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
for _, m := range b.BLSMessages {
|
|
|
|
bm.BlsMessages = append(bm.BlsMessages, toLotusMsg(m))
|
|
|
|
}
|
|
|
|
|
|
|
|
for _, m := range b.SECPMessages {
|
2020-03-25 11:29:35 +00:00
|
|
|
bm.SecpkMessages = append(bm.SecpkMessages, toLotusSignedMsg(m))
|
2020-03-03 01:24:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bms = append(bms, bm)
|
|
|
|
}
|
|
|
|
|
|
|
|
var receipts []vtypes.MessageReceipt
|
2020-08-06 17:09:03 +00:00
|
|
|
// TODO: base fee
|
2020-07-28 00:25:04 +00:00
|
|
|
sroot, _, err := sm.ApplyBlocks(context.TODO(), epoch-1, a.stateWrapper.Root(), bms, epoch, &randWrapper{rnd}, func(c cid.Cid, msg *types.Message, ret *vm.ApplyRet) error {
|
2020-03-08 02:31:36 +00:00
|
|
|
if msg.From == builtin.SystemActorAddr {
|
|
|
|
return nil // ignore reward and cron calls
|
|
|
|
}
|
2020-03-24 20:09:04 +00:00
|
|
|
rval := ret.Return
|
|
|
|
if rval == nil {
|
|
|
|
rval = []byte{} // chain validation tests expect empty arrays to not be nil...
|
|
|
|
}
|
2020-03-03 01:24:07 +00:00
|
|
|
receipts = append(receipts, vtypes.MessageReceipt{
|
2020-03-27 22:26:34 +00:00
|
|
|
ExitCode: ret.ExitCode,
|
2020-03-24 20:09:04 +00:00
|
|
|
ReturnValue: rval,
|
2020-03-03 01:24:07 +00:00
|
|
|
|
2020-03-26 10:41:02 +00:00
|
|
|
GasUsed: vtypes.GasUnits(ret.GasUsed),
|
2020-03-03 01:24:07 +00:00
|
|
|
})
|
|
|
|
return nil
|
2020-08-06 23:47:23 +00:00
|
|
|
}, abi.NewTokenAmount(100))
|
2020-03-03 01:24:07 +00:00
|
|
|
if err != nil {
|
2020-04-24 22:08:16 +00:00
|
|
|
return vtypes.ApplyTipSetResult{}, err
|
2020-03-03 01:24:07 +00:00
|
|
|
}
|
|
|
|
|
2020-04-24 22:08:16 +00:00
|
|
|
a.stateWrapper.stateRoot = sroot
|
2020-03-03 23:01:35 +00:00
|
|
|
|
2020-04-24 22:08:16 +00:00
|
|
|
return vtypes.ApplyTipSetResult{
|
|
|
|
Receipts: receipts,
|
|
|
|
Root: a.stateWrapper.Root().String(),
|
|
|
|
}, nil
|
2020-03-27 22:26:34 +00:00
|
|
|
}
|
2020-03-03 01:24:07 +00:00
|
|
|
|
|
|
|
type randWrapper struct {
|
2020-08-11 23:58:35 +00:00
|
|
|
rand vstate.RandomnessSource
|
2020-03-03 01:24:07 +00:00
|
|
|
}
|
|
|
|
|
2020-08-11 23:58:35 +00:00
|
|
|
// TODO: these should really be two different randomness sources
|
|
|
|
func (w *randWrapper) GetChainRandomness(ctx context.Context, pers crypto.DomainSeparationTag, round abi.ChainEpoch, entropy []byte) ([]byte, error) {
|
|
|
|
return w.rand.Randomness(ctx, pers, round, entropy)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (w *randWrapper) GetBeaconRandomness(ctx context.Context, pers crypto.DomainSeparationTag, round abi.ChainEpoch, entropy []byte) ([]byte, error) {
|
|
|
|
return w.rand.Randomness(ctx, pers, round, entropy)
|
2020-02-27 22:17:08 +00:00
|
|
|
}
|
|
|
|
|
2019-10-17 04:53:25 +00:00
|
|
|
type vmRand struct {
|
|
|
|
}
|
|
|
|
|
2020-08-11 23:58:35 +00:00
|
|
|
func (*vmRand) GetChainRandomness(ctx context.Context, dst crypto.DomainSeparationTag, h abi.ChainEpoch, input []byte) ([]byte, error) {
|
|
|
|
panic("implement me")
|
|
|
|
}
|
|
|
|
|
|
|
|
func (*vmRand) GetBeaconRandomness(ctx context.Context, dst crypto.DomainSeparationTag, h abi.ChainEpoch, input []byte) ([]byte, error) {
|
2019-10-17 04:53:25 +00:00
|
|
|
panic("implement me")
|
|
|
|
}
|
2020-02-27 22:17:08 +00:00
|
|
|
|
2020-04-24 22:08:16 +00:00
|
|
|
func (a *Applier) applyMessage(epoch abi.ChainEpoch, lm types.ChainMsg) (vtypes.MessageReceipt, abi.TokenAmount, abi.TokenAmount, error) {
|
2020-03-27 22:26:34 +00:00
|
|
|
ctx := context.TODO()
|
2020-04-24 22:08:16 +00:00
|
|
|
base := a.stateWrapper.Root()
|
2020-03-27 22:26:34 +00:00
|
|
|
|
2020-08-06 17:09:03 +00:00
|
|
|
vmopt := &vm.VMOpts{
|
2020-08-09 22:49:38 +00:00
|
|
|
StateBase: base,
|
|
|
|
Epoch: epoch,
|
|
|
|
Rand: &vmRand{},
|
|
|
|
Bstore: a.stateWrapper.bs,
|
|
|
|
Syscalls: a.syscalls,
|
|
|
|
CircSupplyCalc: nil,
|
|
|
|
BaseFee: abi.NewTokenAmount(100),
|
2020-08-06 17:09:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
lotusVM, err := vm.NewVM(vmopt)
|
2020-05-05 18:23:55 +00:00
|
|
|
// need to modify the VM invoker to add the puppet actor
|
|
|
|
chainValInvoker := vm.NewInvoker()
|
|
|
|
chainValInvoker.Register(puppet.PuppetActorCodeID, puppet.Actor{}, puppet.State{})
|
|
|
|
lotusVM.SetInvoker(chainValInvoker)
|
2020-03-27 22:26:34 +00:00
|
|
|
if err != nil {
|
|
|
|
return vtypes.MessageReceipt{}, big.Zero(), big.Zero(), err
|
|
|
|
}
|
|
|
|
|
|
|
|
ret, err := lotusVM.ApplyMessage(ctx, lm)
|
|
|
|
if err != nil {
|
|
|
|
return vtypes.MessageReceipt{}, big.Zero(), big.Zero(), err
|
|
|
|
}
|
|
|
|
|
|
|
|
rval := ret.Return
|
|
|
|
if rval == nil {
|
|
|
|
rval = []byte{}
|
|
|
|
}
|
|
|
|
|
2020-04-24 22:08:16 +00:00
|
|
|
a.stateWrapper.stateRoot, err = lotusVM.Flush(ctx)
|
2020-03-27 22:26:34 +00:00
|
|
|
if err != nil {
|
|
|
|
return vtypes.MessageReceipt{}, big.Zero(), big.Zero(), err
|
|
|
|
}
|
|
|
|
|
|
|
|
mr := vtypes.MessageReceipt{
|
|
|
|
ExitCode: ret.ExitCode,
|
|
|
|
ReturnValue: rval,
|
|
|
|
GasUsed: vtypes.GasUnits(ret.GasUsed),
|
|
|
|
}
|
|
|
|
|
|
|
|
return mr, ret.Penalty, abi.NewTokenAmount(ret.GasUsed), nil
|
|
|
|
}
|
|
|
|
|
2020-02-27 22:17:08 +00:00
|
|
|
func toLotusMsg(msg *vtypes.Message) *types.Message {
|
|
|
|
return &types.Message{
|
|
|
|
To: msg.To,
|
|
|
|
From: msg.From,
|
|
|
|
|
2020-03-27 22:26:34 +00:00
|
|
|
Nonce: msg.CallSeqNum,
|
2020-02-27 22:17:08 +00:00
|
|
|
Method: msg.Method,
|
|
|
|
|
2020-08-06 19:05:16 +00:00
|
|
|
Value: msg.Value,
|
|
|
|
GasLimit: msg.GasLimit,
|
2020-08-06 23:47:23 +00:00
|
|
|
GasFeeCap: msg.GasFeeCap,
|
|
|
|
GasPremium: msg.GasPremium,
|
2020-02-27 22:17:08 +00:00
|
|
|
|
|
|
|
Params: msg.Params,
|
|
|
|
}
|
|
|
|
}
|
2020-03-25 11:29:35 +00:00
|
|
|
|
|
|
|
func toLotusSignedMsg(msg *vtypes.SignedMessage) *types.SignedMessage {
|
|
|
|
return &types.SignedMessage{
|
|
|
|
Message: *toLotusMsg(&msg.Message),
|
|
|
|
Signature: msg.Signature,
|
|
|
|
}
|
|
|
|
}
|