ref-fvm

ref-fvm copied to clipboard

Implement opcodes which require FVM, ffi, and client work https://github.com/filecoin-project/ref-fvm/issues/689#issuecomment-1208032152 - [ ] `TIMESTAMP` => the timestamp is an attribute in the block header; needs a syscall and snake through...

maciejwitowski

Implement opcodes which require FVM work https://github.com/filecoin-project/ref-fvm/issues/689#issuecomment-1208032152 - [ ] `GASPRICE` => sum of base_fee and gas_premium. Requires the gas_premium in the InvocationContext, so that it's returned in vm::context(). -...

maciejwitowski

[Idea] Upgradable actors

7

One idea that @Stebalien and I chatted about today is introducing first-class support for upgradable actors in the FVM. This conversation forked from the "how do we upgrade system actors?"...

raulk

This will allow EVM actors to retrieve system parameters as the FVM sees them (e.g., the actor's ID address, the origin's ID address, etc.).

Stebalien

Upgrade wasmtime to v1.0.0

1

The Bytecode Alliance is preparing the [v1.0.0 release of Wasmtime](https://bytecodealliance.org/articles/wasmtime-10-performance). It is expected on Sept 20th 2022. We should probably upgrade on master. Adding this issue as a reminder for...

raulk

Need to calculate the right values for memory expansion gas (expanding memory pages), and then implement the policy/formula. Related: - #341 - #361 - #369

raulk

Technical Design: become_actor syscall

3

Discussion in https://github.com/filecoin-project/FIPs/discussions/396.

Stebalien

## Built-in actors Code CIDs Today, built-in actors have synthetic Code CIDs. They are identified by an "IPLD raw" codec (0x55) and identity multihash of predetermined strings following the convention...

raulk

Today, the account actor is a special-case actor in multiple ways: 1. It is created implicitly by the VM when a value transfer occurs to an inexistent key address. 2....

raulk

Not all bytecode is equal. - Some bytecode may be illegal to run; such bytecode must be rejected. - Some bytecode may be unsafe to run if it uses non-deterministic...

raulk