starkware-libs/cairo-vm

cairo-vm est une implémentation en Rust de la machine virtuelle Cairo. Cairo (CPU Algebraic Intermediate Representation) est un langage de programmation permettant d'écrire des programmes prouvables, où une partie peut prouver à une autre qu'un certain calcul a été exécuté correctement sans avoir besoin de réexécuter le même programme.