starkware-libs/cairo-vm

cairo-vm é uma implementação em Rust da Cairo VM. Cairo (CPU Algebraic Intermediate Representation) é uma linguagem de programação para escrever programas prováveis, onde uma parte pode provar a outra que um determinado cálculo foi executado corretamente sem a necessidade de essa parte reexecutar o mesmo programa.