Module types

Structs

• MultiStarkVerificationAdvice
  Constants determined by multiple AIRs.
• StarkVerificationAdvice
  Constants determined by AIRs.
• VerifierInput
• VerifierSinglePreprocessedDataInProgram

Functions

• new_from_inner_multi_vk
  Create MultiStarkVerificationAdvice for an inner config.

Type Aliases

• InnerConfig