GeezerVison

Pinned Loading

1. aluvm aluvm Public

   AluVM: RISC functional machine base implementation

   Rust 63 21

2. zk-aluvm zk-aluvm Public

   AluVM extensions for zero knowledge, STARKs and SNARKs

   Rust 2 1

3. ultrasonic ultrasonic Public

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

   Rust 2 2

4. sonic sonic Public

   Libraries for formally-verifiable distributed contracts

   Rust 1 4

5. sonare sonare Public

   Runtime environment for formally-verifiable distributed software

   Rust 2

6. aluasm aluasm Public

   AluVM assembler

   Rust 5 3