ZKSM83

ZKSM83 is an experimental proof system that produces cryptographic receipts verifying execution of the SM83 CPU core used in the original Nintendo Game Boy. It allows provers to demonstrate correct hardware-model execution given a cartridge and inputs, while verifiers can confirm results without replaying the entire emulation. This project focuses on CPU-visible behaviors, memory states, and system logs, providing a native Rust implementation leveraging Akita lattice commitments for zero-knowledge proofs without witness hiding.