Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Cost Estimation

ProverBuilder::estimate_cost(stdin) (also on Prover) runs the program without proving and returns a CostEstimate: how much proving the run would take, and its cycle count. It covers the RISC-V phase only.