search

Hyle-org / hyle

Verification layer for all zero knowledge proofs
Apache License 2.0
26 stars 13 forks source link

Implement Kimchi (o1js) proof verifier #26

Open wraitii opened 3 months ago

wraitii commented 3 months ago

Implement verification of O1JS proofs using the Kimchi proving system. This should be done using a subprocess call a rust verifier, similar to our risczero implementation. Kimchi repository lives here: https://github.com/o1-labs/proof-systems

An example program should be given as well.

Additionally, the matching verifier must be implemented in the verifier repository → https://github.com/Hyle-org/verifiers-for-hyle/issues/10

fabrobles92 commented 3 months ago

Hello I am Fabricio Robles, I have contributed to other open source web3 projects such as Dojo Engine and I'd like to work on this one. :D

wraitii commented 3 months ago

Hey @fabrobles92 , awesome ! Not sure how hard this issue would be for you, but feel free to try it out.

We have a public TG at https://t.me/+daA5zWOJGEQ3NGE0 if you have questions

fabrobles92 commented 3 months ago

@wraitii Hello, after taking a look at this issue. I think it is beyond my technical level. I prefer to step out and give a more advanced developer a chance to work on this one.

wraitii commented 3 months ago

No problem, thanks for the transparency.

JuanPabloRodriguezC commented 2 months ago

Hello @wraitii! I’m Juan and I’m new to OSS, I have been wanting to work on zkp projects. I’d love to have a go at this issue .

wraitii commented 2 months ago

Hey @JuanPabloRodriguezC , this is an advanced issue, do you have prior knowledge of Kimchi?

brewedBorrows commented 2 months ago

Hi @wraitii @s0lness Can I work on this issue along with adding the verifier here?

JuanPabloRodriguezC commented 2 months ago

Hi, I do not. I think its best to assign someone else.

El lun, 24 jun 2024 a las 3:55, Lancelot de Ferrière (< @.***>) escribió:

Hey @JuanPabloRodriguezC https://github.com/JuanPabloRodriguezC , this is an advanced issue, do you have prior knowledge of Kimchi?

— Reply to this email directly, view it on GitHub https://github.com/Hyle-org/hyle/issues/26#issuecomment-2186093324, or unsubscribe https://github.com/notifications/unsubscribe-auth/ALGTWF26R3CILKEU2LZSIBLZI7UHHAVCNFSM6AAAAABIEB6IE6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCOBWGA4TGMZSGQ . You are receiving this because you were mentioned.Message ID: @.***>