-
Notifications
You must be signed in to change notification settings - Fork 6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat: dockerized proving server + cli #20
Conversation
c805f74
to
f797fcb
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Small naming nits but otherwise LGTM.
Requesting @nyunyunyunyu to look at the main proving loop to double-check.
sdk/src/server/mod.rs
Outdated
job_id | ||
} | ||
|
||
pub fn prover_loop<A: AxiomCircuitScaffold<Http, Fr>, I: Into<A::InputValue> + DeserializeOwned>( |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@nyunyunyunyu can you take a look at this function specifically? It's for the proving server of client circuit.
fn after_prove(ctx: Self::Context, output: AxiomV2CircuitOutput) {} | ||
} | ||
|
||
impl<A: AxiomComputeFn> AxiomClientProvingServer for AxiomCompute<A> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This means you can't override it for AxiomCompute
? Can we just leave it unimplemented? or else do A: AxiomComputeFn + AxiomCompute
, so it can be implemented there
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We can address this later
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM!
No description provided.