Functional registry-based RISC virtual machine
Functional registry-based RISC virtual machine
AluVM ISA extension for Galois fields
AluVM execution context for webylib wallet-rgb (WASM client-side RGB contract validation). Compiled natively for tests; compiled to WASM for webylib.
AluVM runtime environment
Transactional execution layer with capability-based memory access for zk-AluVM
Strict encoding schema library
Alu assembler
Formally-verifiable distributed software
Runtime environment for formally-verifiable distributed software
API for formally-verifiable distributed contracts
Structured calls to for SONIC distributed contracts