Skip to content

[WIP] Introduce snarkos developer solve#3882

Draft
vicsn wants to merge 2 commits intostagingfrom
snarkos_developer_solve
Draft

[WIP] Introduce snarkos developer solve#3882
vicsn wants to merge 2 commits intostagingfrom
snarkos_developer_solve

Conversation

@vicsn
Copy link
Collaborator

@vicsn vicsn commented Sep 23, 2025

Motivation

Used for testing https://github.com/ProvableHQ/snarkOS/pull/3880/files

The imports to the appropriate snarkVM crates needs to be fleshed out beter, see the second commit.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant