=nil; Foundation's in-EVM Mina Protocol state verification enables every state transition, every transaction made within Mina state to be proved on Ethereum directly, in a completely trustless way.
Such a full state verification, thanks to fixed Mina Protocol state proof size (~22Kb), allows to bring provable computations of various complexity made possible by Mina to Ethereum (aka bridge) without any requirements for intermediate relays.
April 2 - September 22 2021
=nil; Foundation, Mina Foundation and Ethereum Foundation initiated the collaborative research on making in-EVM verification of Mina Protocol's state proof - a core of every Mina-Ethereum bridge application - possible. Read some details on that in related blog post
November 22 2021 - March 29 2022
Mina Protocol's state proof is too expensive to be verified on Ethereum directly. So it requires some preprocessing. In particular, a part of Pickles proof requires to be wrapped with one more proof, proof of successful verification of which could be considered as succesful verification of initial proof on Ethereum. To make this possible, =nil; Foundation got to such an auxiliary proof generator development. Try what was accomplished by walking through the in-browser demo.
Q4 2021 - Q2 2022
Mina Protocol's state proof should be verified on Ethereum's side to make sure it proves the actual valid Mina's data. That is why in-EVM Mina's state proof verification mechanism is required to be implemented.
Does anyone think an independent audit of such a crucial thing is required to be done? We think that as well.
At this stage Mina Protocol's state in-EVM verification can be considered ready for the usage. Applications (wallets, websites, games, etc) willing to integrate such a bridge are welcomed.
Your project using Mina-Ethereum bridge core is welcomed to be here!