Proving MNIST 2 Layer NN using STARK prover

In this repository you can find an example on how to prove the inference of a NN built with Orion using LambdaClass STARK Prover.

Setup

1. Clone the repository.
2. Install Cairo and Scarb.
3. Build the Orion NN contract using Scarb:

scarb build

3. Convert the Sierra file into CASM:

starknet-sierra-compile -- target/dev/orion_runner_OrionRunner.sierra.json target/dev/orion_runner.casm.json

Proving the inference

1. Clone the STARK prover repository.

git clone https://github.com/lambdaclass/lambdaworks_starknet_stack_prover.git

2. Go the repo directory:

cd lambdaworks_starknet_stack_prover

2. Prove the CASM file:

make prove PROGRAM_PATH=../target/dev/orion_runner.casm.json PROOF_PATH=zk.proof

3. Verify the proof:

make verify PROOF_PATH=./zk.proof