VM Runtime Environment (Inside the VM)

• State reliable
• Theory Audit n/a
• Edit this section
• section-systems.filecoin_vm.runtime

Receipts

• State reliable
• Theory Audit n/a
• Edit this section
• section-systems.filecoin_vm.runtime.receipts

A MessageReceipt contains the result of a top-level message execution. Every syntactically valid and correctly signed message can be included in a block and will produce a receipt from execution.

A syntactically valid receipt has:

• a non-negative ExitCode,
• a non empty Return value only if the exit code is zero, and
• a non-negative GasUsed.

type MessageReceipt struct {
	ExitCode exitcode.ExitCode
	Return   []byte
	GasUsed  int64
}

vm/runtime Actors Interface

• State reliable
• Theory Audit n/a
• Edit this section
• section-systems.filecoin_vm.runtime.vmruntime-actors-interface

The Actors Interface implementation can be found here

vm/runtime VM Implementation

• State reliable
• Theory Audit n/a
• Edit this section
• section-systems.filecoin_vm.runtime.vmruntime-vm-implementation

The Lotus implementation of the Filecoin Virtual Machine runtime can be found here

Exit Codes

• State reliable
• Theory Audit n/a
• Edit this section
• section-systems.filecoin_vm.runtime.exit-codes

There are some common runtime exit codes that are shared by different actors. Their definition can be found here.