References

The following works are cited in this litepaper.

1. Brian Anderson

Writing an LLVM backend for the Move language in Rust. https://brson.github.io/2023/03/12/move-on-llvm

2. David Wong

Cairo’s Public Memory. https://www.cryptologie.net/article/603/cairos-public-memory

3. Yibin Yang and David Heath

Two Shuffles Make a RAM: Improved Constant Overhead Zero-Knowledge RAM. 2023. https://eprint.iacr.org/2023/1115

4. RISC Zero

RISC Zero zkVM: Scalable, Transparent Arguments of RISC-V Integrity. 2023. https://dev.risczero.com/proof-system/proof-system-sequence-diagram

5. Succinct SP1

SP1: A high-performance zkVM for RISC-V programs. 2024. https://github.com/succinctlabs/sp1