Published September 10, 2024
| Version September 10, 2024
Report
Open
Compiling Juvix to Cairo Assembly
Description
We describe a pipeline for compiling the functional programming language Juvix to the bytecode of the Cairo~VM, which enables zero-knowledge proofs of Juvix program execution. The read-only memory model of Cairo fits well with the purely functional nature of Juvix, but also presents some unique challenges.
Files
2024-Czajka-Compiling-Juvix-to-Cairo-Assembly.pdf
Files
(196.2 kB)
Name | Size | Download all |
---|---|---|
md5:b0ddeaa9a8bd9da379cb525404b41a6b
|
196.2 kB | Preview Download |