Pinned Loading

1. aluvm aluvm Public

   AluVM: RISC functional machine base implementation

   Rust 61 23

2. zk-aluvm zk-aluvm Public

   AluVM extensions for zero knowledge, STARKs and SNARKs

   Rust 4 1

3. ultrasonic ultrasonic Public

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

   Rust 3 2

4. sonic sonic Public

   Toolchain for formally-verifiable distributed contracts

   Rust 1 4

5. sonare sonare Public

   Runtime environment for formally-verifiable distributed software

   Rust 1 3

6. aluasm aluasm Public

   AluVM assembler

   Rust 6 4