openvm_stark_backend::interaction

Module rap

Source
Expand description

An AIR with specified interactions can be augmented into a RAP. This module auto-converts any Air implemented on an InteractionBuilder into a Rap.