Skip to main content

Module stacked_reduction

openvm_stark_backend::verifier

Module stacked_reduction 

Source

Enums§

StackedReductionError

Functions§

verify_stacked_reduction
has_preprocessed must be per present trace in sorted AIR order.