Repositories list

• ultrasonic

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

  Rust

  •

  Apache License 2.0

  •2•2•0•0•Updated Jul 30, 2025Jul 30, 2025

• aluvm

  Public
  AluVM: RISC functional machine base implementation

  rustmicrocontrollersfunctional-programming+ 7virtual-machinesmart-contractsblockchainembedded-systemsriscinstruction-set-architectureedge-computing

  Rust

  •

  Apache License 2.0

  •22•63•1•0•Updated Jul 27, 2025Jul 27, 2025

• sonic

  Public
  Libraries for formally-verifiable distributed contracts

  distributed-systemscapabilitieszk-starks+ 1zkvm

  Rust

  •

  Apache License 2.0

  •4•1•0•0•Updated Jul 10, 2025Jul 10, 2025

• zk-aluvm

  Public
  AluVM extensions for zero knowledge, STARKs and SNARKs

  Rust

  •

  Apache License 2.0

  •2•3•0•0•Updated Jul 10, 2025Jul 10, 2025

• sonare

  Public
  Runtime environment for formally-verifiable distributed software

  Rust

  •

  Apache License 2.0

  •3•0•0•0•Updated Nov 20, 2024Nov 20, 2024

• aluasm

  Public
  AluVM assembler

  Rust

  •

  GNU Affero General Public License v3.0

  •3•5•4•0•Updated Mar 28, 2024Mar 28, 2024

• aluvm-spec

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

  smart-contractsblockchainrgb+ 1client-side-validation

  Creative Commons Zero v1.0 Universal

  •2•13•4•0•Updated Feb 20, 2024Feb 20, 2024

• alure

  Public
  AluVM runtime with I/O extensions (like JRE)

  Rust

  •

  GNU Affero General Public License v3.0

  •2•2•1•0•Updated Jun 8, 2023Jun 8, 2023

• aluvm-docs

  Public
  Documentation website about AluVM

  0•1•0•0•Updated May 17, 2023May 17, 2023