LC3 ZKVM, aka LC3-Instructions-based Zero-Knowledge Virtual Machine

Introduction

LC3 ZKVM is a virtual machine implementation based on the Little Computer 3 (LC3) architecture, enhanced with zero-knowledge proof capabilities. This project aims to provide a secure and efficient environment for executing LC3 programs with privacy-preserving features.

Build

cargo build --release

Usage

cargo run --release --bin lc3-zkvm -- <path_to_obj_file>

Example:

cargo run --release --bin lc3-zkvm -- ./assets/hello.obj

License

This project is licensed under the MIT License. See the LICENSE file for more details.

Reference

• 📚 Little Computer 3 - Wikipedia
• 📚 Write your Own Virtual Machine By Justin Meiners and Ryan Pendleton