search

Hyle-org / hyle

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

Implement MidenVM proof verifier #25

Open wraitii opened 1 month ago

wraitii commented 1 month ago

Miden VM is a zero-knowledge virtual machine written in Rust built by the Polygon team.

The purpose of this issue is to implement verification of MidenVM proofs using the provided backend https://crates.io/crates/miden-verifier.

This should be done using a subprocess call similar to our risczero implementation (https://github.com/Hyle-org/hyle-risc-zero-verifier) to a rust Miden verifier.

The Miden rust crate documents exactly how it works. You can also check https://github.com/0xPolygonMiden/miden-vm for further documentation about how it works.

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

dragan2234 commented 1 month ago

Hi @wraitii I'm interested in this issue, let me know if I can take it

wraitii commented 1 month ago

Hi @wraitii I'm interested in this issue, let me know if I can take it

Hey @dragan2234 ! Assigned you, go ahead !