Module engine

Structs

VerificationDataWithFriParams

All necessary data to verify a Stark proof.

Traits

StarkEngine

A helper trait to collect the different steps in multi-trace STARK keygen and proving. Currently this trait is CPU specific.

StarkEngineWithHashInstrumentation

StarkFriEngine

Stark engine using Fri.