Module types

Structs

MultiStarkVerificationAdvice

Constants determined by multiple AIRs.

StarkVerificationAdvice

Constants determined by AIRs.

VerifierSinglePreprocessedDataInProgram

Functions

new_from_inner_multi_vk

Create MultiStarkVerificationAdvice for an inner config.

Type Aliases

InnerConfig