cairo-vm
cairo-vm copied to clipboard
lambdaclass
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...
**Describe the bug** When casting a felt to a felt pointer in Cairo0 (such as `cast(0, felt*)`), `cairo-vm` writes an Integer to memory instead of a Relocatable. The OS code...
# Implement TestLessThanOrEqual y EvalCircuit Hints ## Description This PR adds the implementations for `EvalCircuit` and `TestLessThanOrEqual`. It also changes a little the bytecode that is executed. Before, the it...
Context: port of the Starknet OS to Rust. We need an implementation of the hints used by the Starknet OS in the SECP syscalls. These hints rely on private primitives...
# Support ByteArray in DebugPrint hint ## Description Currently DebugPrint (Cairo1 hint) prints every felt separately, either in its raw form or reinterprets it as a Cairo short string. If...
**Describe the bug** A clear and concise description of what the bug is. When I include `core::internal::require_implicit::();` into any program, the `cairo1run` binary crashes with the error below. ``` Error:...
# TITLE Sort_ecdsa_and_mod_builtins_private_inputs_by_idx ## Description Making sure to sort the resulted list of those builtins in the air_private_input_file by index, so it is aligned with the python vm's outputs. Description...
**Describe the bug** I get `Error: VirtualMachine(FailedToComputeOperands(("op1", Relocatable { segment_index: 0, offset: 5271 })))` when executing a Cairo1 program using `cairo1-run`. **To Reproduce** Steps to reproduce the behavior: 1. Download...
This is just a typo (not farming, but well, still it's here) # TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked...
(Note that this is basically a clone of https://github.com/Moonsong-Labs/cairo-vm/pull/45. We'd love to get this accepted upstream if possible.) Problem: Starknet OS expects SegmentArena segments to all be temporary except the...
Add a little documentation on how to use the --run_from_cairo_pie flag. Both in Cairo 0 and Cairo 1
Metadata
Owner
Metadata
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...