feat: add halo2 verifier with custom algorithm

[guha-rahul]

addresses #11 ,
I have added the halo2 verifier in this repo using https://github.com/axiom-crypto/halo2-scaffold as a reference.

[wraitii]

Hey @guha-rahul , can you clarify how to use this ?

[guha-rahul]

Hey @guha-rahul , can you clarify how to use this ?
Sorry for the late reply
Assuming we have all the artifacts, it is supposed to cargo run main -- --name some_algorithm_in_zk -k <DEGREE> verify

[guha-rahul]

@wraitii hey there, would love to hear further directions on this.

[wraitii]

@wraitii hey there, would love to hear further directions on this.

I guess my question extends to "what do you mean by 'assuming we have all the artifacts' ?
Regardless, I'll proceed with validating your contribution on OD

[guha-rahul]

I guess my question extends to "what do you mean by 'assuming we have all the artifacts' ?

Afai understand we need the proof, the circuit, and the vkey for the proof verification as artifacts.
Also even if i may not be eligible for rewards on this issue , i am looking forward to learn from this and hopefully get it merged .

[wraitii]

Gonna approve this to get you paid on OD, we'll need to restart some work on the main repo after our protocol upgrades

[guha-rahul]

@wraitii by the main repo do you mean https://github.com/Hyle-org/hyle ?