Implement Kimchi (o1js) proof verifier

[wraitii]

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 → Hyle-org/verifiers-for-hyle#10

[fabrobles92]

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]

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]

@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]

No problem, thanks for the transparency.

[JuanPabloRodriguezC]

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]

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

[brewedBorrows]

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

[JuanPabloRodriguezC]

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 <#26 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ALGTWF26R3CILKEU2LZSIBLZI7UHHAVCNFSM6AAAAABIEB6IE6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCOBWGA4TGMZSGQ> . You are receiving this because you were mentioned.Message ID: ***@***.***>