ref-fvm

ref-fvm copied to clipboard

Fix gas accounting for seal proof verification

9

Upcoming changes to built-in actors to implement [direct data onboarding](https://github.com/filecoin-project/FIPs/discussions/730) will invoke the `batch_verify_seals` syscall directly from the miner actor. In the past, this syscall has been invoked only from...

anorth

Rethink `invoke` signature

4

Currently, `invoke`'s signature is: ```rust fn invoke(params_id: i32) -> i32 /* ret_id */; ``` However: 1. It would be nice to take the method number in the parameters. 2. It...

Stebalien

Currently, calling a native method requires delegate-calling the "call actor" precompile. This: 1. Is annoying for smart contract developers: requires delegate call, doesn't work with the normal calling convention. 2....

Stebalien

Investigate using a wasm interpreter for M2.2

3

E.g., https://github.com/paritytech/wasmi. AOT compilation can be a bit problematic for untrusted smart contracts: 1. The runtime of wasm "blocks" will depend on how they compile to native code. There are...

Stebalien

Macos integration tests are taking a long time

1

It may just be bad caching, may be something else. We should consider reducing them to the bare minimum.

Stebalien

Usage of float operators in the future WASM Actors implementation

6

Context: Good future question to resolve as we move closer to Wasm Acorst being on Mainnet - Will custom actors targeting Wasm be allowed to use float operators? We need...

BlocksOnAChain

Wasm Validation Rules

15

- Can only export an `invoke(i32) -> i32` function. This will likely change to allow a `validate` and/or `constructor` function in the near future, but we're not allowing arbitrary functions....

Stebalien

Replace verify_signature with verify_bls_aggregate

4

We currently have: - `verify_signature` for verifying arbitrary signatures. - `recover_secp_public_key` for recovering a secp public key from a secp signature. Unfortunately, the first one is a bit limited: -...

Stebalien

IPLD codecs in receipts

1

We currently include return values in receipts but not their codecs. The last part of https://github.com/filecoin-project/ref-fvm/issues/987.

Stebalien

Generics and transmutation make replacing Kernel very difficult

7

@alexytsu and I are improving tooling for benchmarking and profiling native actors on the FVM (see https://github.com/anorth/fvm-workbench and https://github.com/filecoin-project/builtin-actors/issues/1236). We've run into great difficulty attempting to fake out expensive VM...

anorth