Feature: Stone Prover RPC server

Moonsong-Labs / madara-prover-api

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

10 stars 5 forks source link

Closed odesenfans closed 11 months ago

odesenfans commented 11 months ago

Implement the Stone Prover RPC server as designed in the Prover API design document.

Definition of Done:

An automated test uses the output of a simple Cairo program (ex: Fibonacci) to the RPC server and generates the corresponding execution proof. Note that this may be achieved on the client-side directly.