Feature: the prover RPC client/server can run any Cairo program using the Rust Cairo VM

Moonsong-Labs / madara-prover-api

RPC server and client to run the Stone Prover on the Madara sequencer.

10 stars 5 forks source link

Feature: the prover RPC client/server can run any Cairo program using the Rust Cairo VM #7

Closed odesenfans closed 11 months ago

odesenfans commented 11 months ago

As the StarkNet OS is a regular Cairo program, we wish to demonstrate the ability to use the prover RPC client (+ server) to generate the execution trace of any Cairo program.

Definition of Done:

The client library provides an API to run and retrieve the execution trace of a generic Cairo program.