search

0xEigenLabs / eigen-prover

Eigen zkVM's Proving Service
33 stars 9 forks source link

Support proving pipeline #4

Closed eigmax closed 11 months ago

eigmax commented 1 year ago

We have a simple proving pipeline written by shell, https://github.com/0xEigenLabs/eigen-zkvm/blob/main/test/stark_aggregation.sh. We need to translate it to Rust and expose an HTTP endpoint to the end-user or zkevm-node as proving service.

In the above script, it depends pilcom::compile to transpile Circom/R1CS to PIL in plonkSetup and the pilcom is written by JS. there are two options: 1. write a rust pilcom referring to / importing from https://github.com/powdr-labs/powdr, and 2. Call the JS in Rust via wasm engine.

For me, I prefer to option 1.

Tasks:

eigmax commented 1 year ago

Another point, the google/protobuf will be the communication message format between node and eigen-prover.

eigmax commented 11 months ago

Done by #26