Atlantic Prover Suite
Pricing
Pricing for different services.
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$) |
⚠️ Job sizes are only estimates, the true job sizes are determined by SHARP.
Proof verification
For Mainnet, the proof verification costs 25 credits (0.25$) per proof.
For Testnet, the proof verification is free.