Athena is a prototype deterministic smart contract engine that serves as the Spacemesh network VM, and Athena is being designed and built by the Spacemesh team. However, Athena is designed to be modular and largely protocol-agnostic so it will run on other chains. Contributions and integrations are welcome.
Athena includes a virtual machine (VM) based on the RISC-V ISA, including support for RV32IM and RV32EM, an interpreter/compiler for running smart contract code, and related tooling. The VM is modular and features a mature FFI that can be integrated into any language that supports CFFI. For more information on the Athena project and its goals see Introducing Athena and the Athena project updates.
- Developer Experience: Provide a robust environment with extensive tooling support.
- Simplicity: VMs tend to be extraordinarily complex. The Athena codebase is clean and contains an order of magnitude less code than most VMs.
- Modularity: Athena is totally self-contained and agnostic to the environment where it runs. It has a well-defined Host<>VM CFFI API and ABI that can be used to swap hosts or VMs, and Athena can talk to a host written in Go or another compatible language.
- Performance: Ensure fast execution of smart contracts. (Note that this is a long-term goal and is not a goal at this prototype phase.)
- Small On-Chain Footprint: Deployed Athena code should be as compact as possible.
- Security: Implement strong isolation and safety measures.
- ZK Provability: Ensure provability in zero-knowledge (ZK) environments; aim to natively target RISC-V-based ZK circuits.
- Mainline Rust Support: Allow writing Athena code using ordinary Rust and compiling with the standard Rust/LLVM pipeline. Aim to provide as much stdlib support as possible.
- Floating Point Support: No support for floating-point operations.
- SIMD: No support for Single Instruction, Multiple Data operations.
- Additional RISC-V Extensions: No RISC-V extensions beyond the M extension.
- Interoperability: At this time Athena is not intended to interoperate with, or target, other blockchain VMs.
- Full System Emulation: Athena is not intended to run an operating system or standard application binaries. Try https://github.com/d0iasm/rvemu.
Athena is currently in a prototype stage. The goal of this stage of the project is to create a working, end to end proof of concept VM that successfully and securely executes transactions on a testnet. We also intend to test proving these transactions in ZK. Here's a map of the immediate goals and progress. See the Project boards for more up to date progress.
| Phase | Description | Status | Report |
|---|---|---|---|
| 0. Initial R&D | Study the status quo, finalize prototype design | ✅ | read |
| 1. Prototype VM | Build a VM that can compile and run RISC-V code | ✅ | read |
| 2. Blockchain integration | Add FFI and support for host functions, gas metering, etc. | ✅ | read |
| 3. go-spacemesh integration | Prototype integration into the go-spacemesh full node | 🚧 | |
| 4. Testnet launch | Launch a testnet where Athena smart contracts can be tested | ⛔ | |
| 5. Mechanism/rollup design | Turn Athena into an optimistic rollup with incentives, punishments, etc. | ⛔ | |
| 6. Succintness/ZK proving | Prototype ZK rollup | ⛔ |
The overall project structure and a large portion of the core code was copied from SP1 under the MIT license with gratitude. Other projects that have been influential on the Athena design include RiscZero and PolkaVM. See ATTRIBUTIONS.md for others.
This project is dual-licensed under both the Apache and MIT Licenses, at your option. Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions. See Rationale of Apache dual licensing.
Warning: This code is not production quality and should not be used in production systems.