starkware-libs/cairo-vm

cairo-vm es una implementación en Rust de la máquina virtual Cairo. Cairo (CPU Algebraic Intermediate Representation) es un lenguaje de programación para escribir programas demostrables, donde una parte puede probar a otra que un cálculo específico se ejecutó correctamente sin necesidad de que esta parte vuelva a ejecutar el mismo programa.