cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Benchmark Results for unmodified programs :rocket:
base big_factorial
head big_factorial
base big_fibonacci
head big_fibonacci
base blake2s_integration_benchmark
head blake2s_integration_benchmark
base compare_arrays_200000
head compare_arrays_200000
base dict_integration_benchmark
head dict_integration_benchmark
base field_arithmetic_get_square_benchmark
head field_arithmetic_get_square_benchmark
base integration_builtins
head integration_builtins
base keccak_integration_benchmark
head keccak_integration_benchmark
base linear_search
head linear_search
base math_cmp_and_pow_integration_benchmark
head math_cmp_and_pow_integration_benchmark
base math_integration_benchmark
head math_integration_benchmark
base memory_integration_benchmark
head memory_integration_benchmark
base operations_with_data_structures_benchmarks
head operations_with_data_structures_benchmarks
base pedersen
head pedersen
base poseidon_integration_benchmark
head poseidon_integration_benchmark
base secp_integration_benchmark
head secp_integration_benchmark
base set_integration_benchmark
head set_integration_benchmark
base uint256_integration_benchmark
head uint256_integration_benchmark