Pinned Loading

1. rust-aluvm rust-aluvm Public

   Rust implementation of AluVM (RISC functional machine)

   Rust 60 20

2. zk-aluvm zk-aluvm Public

   AluVM extensions for zero knowledge, STARKs and SNARKs

   Rust 3

3. sonare sonare Public

   Runtime environment for formally-verifiable distributed software

   Rust 1

4. sonic sonic Public

   Toolchain for formally-verifiable distributed contracts

   Rust 1 1

5. ultrasonic ultrasonic Public

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

   Rust 2 1

6. aluasm aluasm Public

   AluVM assembler

   Rust 6 4