search

Hyle-org / verifiers-for-hyle

Apache License 2.0
10 stars 9 forks source link

feat: add halo2 verifier with custom algorithm #23

Closed guha-rahul closed 1 month ago

guha-rahul commented 2 months ago

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

wraitii commented 2 months ago

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

guha-rahul commented 2 months ago

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 commented 1 month ago

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

wraitii commented 1 month ago

@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 commented 1 month ago

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 .

guha-rahul commented 3 weeks ago

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