-
|
I would like to ask if it is possible to export the Miden VM Verifier to Solidity? Because I saw in Bobbin's presentation a gas cost of Solidity Verifier but I could not find information about such feature in GitHub. |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 1 reply
-
|
We don't have Solidity verifier implemented yet. To support this, we'd first need to build AirScript backend for Solidity - so, this may take some time. Having said that, verifying Miden VM proofs directly on chain would probably be pretty expensive (I believe the estimate I've mentioned in various places is around 3M gas per proof). A better approach is to wrap Miden VM STARK proofs in a SNARK proof - similar to how zkEVM team does it. Specifically, if a STARK proof is wrapped in FFLONK proof, I believe the on-chain verification costs goes down to something like 250K gas. |
Beta Was this translation helpful? Give feedback.
-
|
Thank you very much Bobbin for your detailed answer. |
Beta Was this translation helpful? Give feedback.
We don't have Solidity verifier implemented yet. To support this, we'd first need to build AirScript backend for Solidity - so, this may take some time.
Having said that, verifying Miden VM proofs directly on chain would probably be pretty expensive (I believe the estimate I've mentioned in various places is around 3M gas per proof). A better approach is to wrap Miden VM STARK proofs in a SNARK proof - similar to how zkEVM team does it. Specifically, if a STARK proof is wrapped in FFLONK proof, I believe the on-chain verification costs goes down to something like 250K gas.