Coder Social home page Coder Social logo

jxs / ref-fvm Goto Github PK

View Code? Open in Web Editor NEW

This project forked from filecoin-project/ref-fvm

0.0 1.0 0.0 6.72 MB

Reference implementation of the Filecoin Virtual Machine

License: Other

Shell 0.58% Scheme 0.13% Rust 93.47% Gnuplot 0.13% Makefile 0.37% Dockerfile 0.05% Solidity 5.27%

ref-fvm's Introduction

Reference Filecoin VM implementation (v2; dev)

Continuous integration

This repository contains the reference implementation of the Filecoin VM (specs). It is written in Rust, and intended to be integrated via FFI into non-Rust clients (e.g. Lotus, Fuhon), or directly into Rust clients (e.g. Forest). FFI bindings for Go are provided in-repo, and developers are encouraged to contribute bindings for other languages.

Build requirements

  • The current MSRV (Minimum Supported Rust Version) is 1.58.1 (stable). A working version is tracked in rust-toolchain (this is picked up by rustup automatically).
  • Install rustup.

Build instructions

$ git clone https://github.com/filecoin-project/ref-fvm.git
$ cd fvm
$ rustup target add wasm32-unknown-unknown
$ make

Code structure

Here's what you'll find in each directory:

  • /fvm
    • The core of the Filecoin Virtual Machine. The key concepts are:
      • Machine: an instantiation of the machine, anchored at a specific state root and epoch, ready to intake messages to be applied.
      • Executor: an object to execute messages on a Machine.
      • CallManager: tracks and manages the call stack for a given message.
      • Invocation container (conceptual layer, not explicitly appearing in code): the WASM instance + sandbox under which a given actor in the call stack runs.
      • Kernel: the environment attached to an invocation container for external interactions.
    • There are two API boundaries in the system:
      1. the boundary between the actor code and the Kernel, which is traversed by invoking Syscalls.
      2. the boundary between the FVM and the host node, represented by Externs.
    • Some parts of the FVM are based on the Forest implementation.
  • /sdk
    • Reference SDK implementation to write Filecoin native actors, used by the canonical built-in actors through the Actors FVM Runtime shim.
    • User-defined FVM actors written in Rust can also use this SDK, although it is currently quite rough around the edges. In the next weeks, we expect to sweeten it for improved developer experience.
    • Alternative SDKs will emerge in the community. We also expect community teams to develop SDKs in other WASM-compilable languages such as Swift, Kotlin (using Kotlin Native), and even Go (via the TinyGo compiler).
  • /shared
    • A crate of core types and primitives shared between the FVM and the SDK.
  • /ipld
    • IPLD libraries. Some of which are based on, and adapted from, the Forest implementation.
  • /testing/conformance
    • Contains the test vector runner, as well as benchmarking utilities on top of it.
    • The conformance test runner feeds the test vector corpus located at https://github.com/filecoin-project/fvm-test-vectors into ref-fvm, in order to validate spec conformance.
    • The benchmarking utilities use the criterion Rust library to measure the performance and overhead of ref-fvm across various facets.
    • See the instructions about how to run the tests and the benchmarks.
    • Disclaimers
      • Benchmarks are currently very slow to run, setup and teardown. This is due to using default WASM cache, and will be fixed soon.

Maturity roadmap

v1: FVM running built-in actors (Milestone 1 of the FVM development roadmap)

  • Alpha:
    • Declared when: all test vectors passing, integrated into Lotus via FFI.
    • Focus: theoretical correctness.
  • Beta:
    • Declared when: all the above + syncing mainnet consistently, keeping up with chain consistently, i.e. when Phase 0 from the FVM milestone roadmap is reached.
    • Focus: production-readiness, performance, live consensus correctness.
  • RC:
    • Declared when: all the above + integrated into a second client (likely Forest), successfully syncing mainnet on all.
    • Focus: pre-mainnet preparations.
  • Final:

v2: Fully-programmable FVM (Milestone 2 of the FVM development roadmap)

  • Alpha:
    • Declared when: all functionality implemented, 70%+ test coverage, integrated into Lotus via FFI.
    • Focus: feature completeness.
  • Beta:
    • Declared when: testnets deployed (user and automatic), running successfully for 1 week.
    • Focus: testing and hardening.
  • RC:
    • Declared when: code audited; network-upgrade releases ready for all Filecoin clients.
    • Focus: pre-mainnet preparations.
  • Final:

License

Dual-licensed: MIT, Apache Software License v2, by way of the Permissive License Stack.


actors and vm forked from ChainSafe/forest commit: 73e8f95a108902c6bef44ee359a8478663844e5b

ref-fvm's People

Contributors

stebalien avatar raulk avatar arajasek avatar laudiacay avatar dignifiedquire avatar mriise avatar vyzo avatar galargh avatar aakoshh avatar magik6k avatar anorth avatar vmx avatar jxs avatar cryptonemo avatar tyshko5 avatar jennijuju avatar rllola avatar tchataigner avatar hanabi1224 avatar hunjixin avatar alexytsu avatar connormullett avatar geoff-vball avatar jimpick avatar jdjaustin avatar maciejwitowski avatar momack2 avatar lyswifter avatar creativcoder avatar elmattic avatar

Watchers

 avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.