Alu Virtual Machine

Transactional execution layer with capability-based memory access for zk-AluVM

Rust 2Apache-2.0 2 0 0 Updated Jul 30, 2025

aluvm Public

AluVM: RISC functional machine base implementation

Rust 62Apache-2.0 21 1 0 Updated Jul 27, 2025

sonic Public

Libraries for formally-verifiable distributed contracts

Rust 1Apache-2.0 4 0 0 Updated Jul 10, 2025

AluVM extensions for zero knowledge, STARKs and SNARKs

Rust 2Apache-2.0 1 0 0 Updated Jul 10, 2025

sonare Public

Runtime environment for formally-verifiable distributed software

Rust 0Apache-2.0 2 0 0 Updated Nov 20, 2024

aluasm Public

AluVM assembler

Rust 5AGPL-3.0 3 4 (1 issue needs help) 0 Updated Mar 28, 2024

Specification of AluVM (algorithmic logic unit VM), its bytecode and assembly language

13CC0-1.0 2 4 0 Updated Feb 20, 2024

alure Public

AluVM runtime with I/O extensions (like JRE)

Rust 2AGPL-3.0 2 1 0 Updated Jun 8, 2023

Documentation website about AluVM

1 0 0 0 Updated May 17, 2023

Navigation Menu