Skip to content

Conversation

@glyh
Copy link
Member

@glyh glyh commented May 24, 2025

This would conflict with #17275, but conflicts are not terribly hard to resolve.

This type is just Snark_work_lib.Spec.Single(or Snark_work_lib.Selector.Single.Spec). Redundant.

A general question: Is there any point supporting both yojson & sexp as debugging dump format? Could we get rid of sexp?

@glyh glyh requested a review from a team as a code owner May 24, 2025 05:31
@glyh glyh force-pushed the corvo/remove-snark-worker-prod-single-spec branch from a06d138 to 3bda605 Compare May 24, 2025 05:36
@glyh
Copy link
Member Author

glyh commented May 24, 2025

!ci-build-me

@georgeee
Copy link
Member

A general question: Is there any point supporting both yojson & sexp as debugging dump format? Could we get rid of sexp?

I'd support that. I considered doing it as well. It will affect some internal tooling, but unlikely to impede anyone's workflow.

@glyh glyh added the snark-worker-optim Snark worker optimization: make workers operate on the level of individual proofs instead of whole t label May 28, 2025
@georgeee
Copy link
Member

!ci-bypass-changelog

@glyh glyh merged commit fdacfe2 into compatible May 29, 2025
49 checks passed
@glyh glyh deleted the corvo/remove-snark-worker-prod-single-spec branch May 29, 2025 11:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

snark-worker-optim Snark worker optimization: make workers operate on the level of individual proofs instead of whole t

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants