feat: dummy zk circuits

[ninabarbakadze]

Overview

Partially fixes - #40

[rootulp]

Code LGTM.

When I run celestia-prover in Docker then I can't generate a proof:

$     grpcurl -plaintext -d '{"client_id": "0x25cdbd2bf399341f8fee22ecdb06682ac81fdc37"}' localhost:50051 celestia.prover.v1.Prover/ProveStateTransition
ERROR:
  Code: Unavailable
  Message: error reading from server: EOF

When I run it locally it eventually panicked:

Prover Server listening on [::]:50051
thread 'main' panicked at provers/celestia-prover/src/main.rs:194:10:
PROTO_DESCRIPTOR_PATH environment variable not set: NotPresent
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

looks like that isn't in the .env file

[rootulp]

[nit] this is kinda repeated below:

Prover network

To use the SP1 Prover Network you should also populate the SP1_PROVER and SP1_PRIVATE_KEY environment variables. You can also use a .env file for all environment variables

In a FLUP we can consolidate these two lines

[ninabarbakadze]

I was still trying to see if local worked for you and then i would've removed prover network step from the required steps and would've just left this section untouched

[ninabarbakadze]

9324a82

[rootulp]

Does setting the SP1_PROVER=network in local .env actually impact the celestia prover running in Docker?

[rootulp]

Question: why is trying to prove from block height 7 to 7? That seems like a no-op.

proving from height block::Height(7) to height Height { revision: 0, height: 7 }

[rootulp]

I was able to generate a proof using the prover network and it took 30 secs to 3 minutes 👍 Some of that time was downloading artifacts so maybe it goes faster the second time (?)

[ninabarbakadze]

I was able to generate a proof using the prover network and it took 30 secs to 3 minutes 👍 Some of that time was downloading artifacts so maybe it goes faster the second time (?)

yes, it will go faster the following times

[ninabarbakadze]

note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

Code LGTM.

When I run celestia-prover in Docker then I can't generate a proof:

$     grpcurl -plaintext -d '{"client_id": "0x25cdbd2bf399341f8fee22ecdb06682ac81fdc37"}' localhost:50051 celestia.prover.v1.Prover/ProveStateTransition
ERROR:
  Code: Unavailable
  Message: error reading from server: EOF

When I run it locally it eventually panicked:

Prover Server listening on [::]:50051
thread 'main' panicked at provers/celestia-prover/src/main.rs:194:10:
PROTO_DESCRIPTOR_PATH environment variable not set: NotPresent
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

looks like that isn't in the .env file

I think you need to build in order to generate the file

[rootulp]

Thanks for pushing this through! There are FLUPs for:

1. Consolidate .env files #75
2. Switch between simple circuits and real circuits #68

but please create new issues if there are other FLUPs

[rootulp]

Does setting the SP1_PROVER=network in local .env actually impact the celestia prover running in Docker?