Implement a boojum verifier

wraitii commented 3 months ago

See https://github.com/Hyle-org/hyle/issues/28

This issue will be closed alongside that one.

g4titanx commented 2 months ago

is this still open or can I hop on it?

wraitii commented 2 months ago

Still open @g4titanx

g4titanx commented 2 months ago

okay, assign me

g4titanx commented 2 months ago

hi @wraitii , i am getting this error during the compilation of verifiers-for-hyle

error: failed to get `sp1-core` as a dependency of package `sp1-verifier v0.1.0 (/home/g4titan/verifiers-for-hyle/sp1-verifier)`

Caused by:
  failed to load source for dependency `sp1-core`

Caused by:
  Unable to update https://github.com/succinctlabs/sp1.git?rev=df9a346#df9a3466

Caused by:
  failed to fetch into: /home/g4titan/.cargo/git/db/sp1-20c98843a1ffc860

Caused by:
  network failure seems to have happened
  if a proxy or similar is necessary `net.git-fetch-with-cli` may help here
  https://doc.rust-lang.org/cargo/reference/config.html#netgit-fetch-with-cli

Caused by:
  SSL error: unknown error; class=Ssl (16)

wraitii commented 2 months ago

Hey @g4titanx , are you still working on this? I have another person that would like to tackle it otherwise

g4titanx commented 2 months ago

yeah, they can have it

Hyle-org / verifiers-for-hyle

Implement a boojum verifier #12