Implement a boojum verifier

[wraitii]

See Hyle-org/hyle#28

This issue will be closed alongside that one.

[g4titanx]

is this still open or can I hop on it?

[wraitii]

Still open @g4titanx

[g4titanx]

okay, assign me

[g4titanx]

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]

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

[g4titanx]

yeah, they can have it