=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
September 22 - November 22 2021
=nil; Foundation's Crypto3 team got to developing Mina Protocol's state proof in-EVM verification detailed solution description. Read the documentaton to find out about results.
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.
March 29 2022 - October 28 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.
Q2 2022 - Q4 2022
Does anyone think an independent audit of such a crucial thing is required to be done? We think that as well.
Q2 2022 - Q4 2022
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.