61 releases (26 stable)

new 2.7.0-dev.0 May 22, 2024
2.6.3 Mar 12, 2024
2.6.0-rc.1 Feb 14, 2024
2.5.0-dev.0 Dec 26, 2023
0.1.0 Jan 3, 2023

#1041 in Magic Beans

Download history 8008/week @ 2024-01-31 8132/week @ 2024-02-07 7483/week @ 2024-02-14 6174/week @ 2024-02-21 6252/week @ 2024-02-28 6458/week @ 2024-03-06 7497/week @ 2024-03-13 7192/week @ 2024-03-20 6298/week @ 2024-03-27 6311/week @ 2024-04-03 8476/week @ 2024-04-10 6397/week @ 2024-04-17 7865/week @ 2024-04-24 9079/week @ 2024-05-01 4933/week @ 2024-05-08 4120/week @ 2024-05-15

26,970 downloads per month
Used in 40 crates (18 directly)

Custom license

620KB
14K SLoC

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.

Dependencies

~11–15MB
~223K SLoC