search

thor314 / pebble-stark

A community-developed re-implementation of the Starkware Stone Prover
70 stars 6 forks source link

Integrating Cairo Assembly (CASM) for AIR #7

Open agnxsh opened 1 year ago

agnxsh commented 1 year ago

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 commented 11 months ago

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

agnxsh commented 11 months ago

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 :)