Module engine

Structs

• ProofInputForTest
  stark-backend::prover::types::ProofInput without specifying AIR IDs.
• VerificationDataWithFriParams
  All necessary data to verify a Stark proof.

Traits

• StarkEngine
  Testing engine
• StarkEngineWithHashInstrumentation
• StarkFriEngine
  Stark engine using Fri.