32 vcpus 248 GB RAM
Actual usage is 190/248, in "real-time" mode <100GB
proof size: ~1MB
on-demand hourly cost is $2.085424 USD
total cost: 2.085424*6.5 = $13.55
and this is not even the final form! (this is WITHOUT SHA256 builtin, Cairo M31, GPU acceleration, Proving parallelization)
https://github.com/starkware-bitcoin/raito
