Crate cairo_lang_sierra

Sierra is an intermediate representation between high level Cairo and compilation targets, such as CASM. Sierra code is guaranteed to be “safe”* by construction. Sierra has a primitive, yet rich typing system to express all high level code while guaranteeing safety and allowing for efficient compilation down to the target.

Safety - this means a few things:

1. There are no “panics” / “runtime errors”. Every function is guaranteed to return.
2. There are no infinite loops. Moreover, every program “counts” its own steps, and returns when the limit is reached.
3. Builtin library functions are always used correctly.

Modules

algorithm

debug_info

edit_state

extensions

fmt

ids

program

program_registry

simulation

Macros

define_concrete_libfunc_hierarchy

Forms a concrete library function type from an enum of library calls. The new enum implements ConcreteLibfunc. All the variant types must also implement ConcreteLibfunc. Usage example:

define_libfunc_hierarchy

Forms a libfunc type from an enum of libfuncs. The new enum implements GenericLibfunc. All the variant types must also implement GenericLibfunc. Usage example:

define_type_hierarchy

Forms a Sierra type used by extensions type from an enum of such types. The new enum implements GenericType. All the variant types must also implement GenericType. Usage example:

Type Aliases

ConcreteLibfuncLongIdParser

ConcreteTypeLongIdParser

ProgramParser