Module extension 

Functions

get_deferral_state

get_raw_deferral_results

DEFERRAL STATE GENERATION

verify_stark_deferral_fn

DEFERRAL FN IMPLEMENTATION