ref-fvm

ref-fvm copied to clipboard

Strict DAG-CBOR encoding/decoding

1

DAG-CBOR only supports a subset of CBOR. Especially for the FVM we should be strict about (de)serializing only valid DAG-CBOR. DAG-CBOR supports: - From all major types: only finite length...

vmx

Unsupported CPUs

3

- Intel(R) Xeon(R) Gold 6226R CPU - Common KVM processor Flags: - fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush...

Stebalien

At the moment, we have no support for on-disk module caching. Wasmtime has built-in support for this but: 1. It's global (system wide). 2. It compresses modules. We end up...

Stebalien

See https://github.com/paritytech/parity-wasm/pull/331. The _rust_ compiler doesn't appear to output this section. But other compilers, and optimizers including binaryen, do.

Stebalien

Syscall Testing Epic

1

See https://github.com/filecoin-project/ref-fvm/pull/584 for an example: - [ ] `ipld` - [ ] `block_open` - [x] `block_read` - [ ] `block_create` - [ ] `block_stat` - [ ] `block_link` - [...

Stebalien

sdk: set a panic handler to pipe extra info

1

## Context Right now, eventual actor panics raise a Wasm trap which is caught by the invocation container ([find description of logic here](https://github.com/filecoin-project/ref-fvm/issues/53#issuecomment-1065458717)) and converted to an aborto with exit...

raulk

Replace multihash::Code with u64 in the Blockstore interfaces

1

Unfortunately, depending on "code" here means we need to pull in the hasher implementations themselves. This is a problem because, in the actors, we want to do hashing _outside_.

Stebalien

ipld encoding/vec.rs /// T indicates the return type, and D is an optional generic to override the

mriise

ipld block syscalls naming

7

## Context The syscalls bound to the invocation container are: - `ipld::open` - `ipld::create` - `ipld::read` - `ipld::stat` - `ipld::cid` The syscalls as named in the kernel are the following,...

raulk

Syscall execution often follows this pattern: In the SDK, a struct is serialized and passed to the FVM as a pointer / length pair. ([example - verify_replica_update](https://github.com/filecoin-project/ref-fvm/blob/7bf6731c85a2c33e207214e90f407d891edff2cb/sdk/src/crypto.rs#L147-L152)) In the FVM,...

arajasek