miden-air (cargo): Algebraic intermediate representation of Miden VM processor
Keywords: crypto|air|arithmetization|miden|cryptography|stark|virtual-machine|zero-knowledge