Published September 10, 2024 | Version September 10, 2024
Report Open

Compiling Juvix to Cairo Assembly

  • 1. Heliax AG

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