Trace generation
Trace generation costs 1 credit ~ (0.01$) per started minute of execution time.Proof generation
Proof generation costs depends on the number of steps in the program.| Number of steps [millions] | Size | Cost |
|---|---|---|
| 0 - 13 | S | 70 ~ (0.7$) |
| 13 - 30 | M | 120 ~ (1.2$) |
| >30 | L | 220 ~ (2.2$) |

