Integrating Cairo Assembly (CASM) for AIR

[agnxsh]

Feature: Need to integrate Cairo Assembly (CASM), this is supposed to run low-level designated AIR arithmetization schemes in a STARK environment, Starkware calls it a built-in feature inside its stone-prover. Dependencies: Find the crate here Material: This video is a good explainer describing the arch of Stone-Prover and how it uses CASM https://youtu.be/Rpz5iQTWbaA?si=iSqVlyHy2fikEgJM

[Cevedale]

What about CASM's low-level AIR arithmetization schemes and compatibility?

[agnxsh]

hey thanks for reaching out, currently we're at an investigation phase, also AIR building for pebble-stark is in it's early stages as of yet, could you please rephrase/elaborate your question? I think what I meant is integrating CASM and Cairo AIR (or rather adding modules/ reusing the crate)such that it can execute the designated AIR constraints, without changing them. also, feel free to correct me :)