The project is being implemented as planned. We are currently starting the research phase in SNARKs and STARKs

Review of multiple zk-rollup solutions and decided on doing deeper implementation research on zk-sync. Reviewed infrastructure, devops and smart contracts.

We worked with a different implementation of zk-rollup so we could validate a different set of tradeoffs between their implementation (Mina) and the one from zkSync

• The research was done around Mina’s kimchi elliptic curve and its programming language. One of the most important use cases is that Mina will enable the creation of trustless Oracles using any website that has a TLS (https). This will open up a lot of new use cases currently not possible in other virtual machines.
• Another of the main advantages of Mina is that its entire blockchain can fit in 22 kb using zk-snarks. This could eventually be a Cardano smart contract. Cardano would need a small increase in tx limit and also the implementation of a new elliptic curve which it may not be as big deal as you could expect — recently secp256k1 was implemented. The information to recreate the state of the chain would be stored on C1 as a data availability solution. The current plan would be do an analysis on how to deploy Mina on top of C1 but with a plan to eventually port it to be directly on top of Cardano mainnet. Evidence: We are working on three smart contracts that will be created for Mina in order to test capabilities. A signing webserver using Mina crypto primitives, a smart contract Oracle, and a game. We successfully deployed a game sc and in next report we will be able to make all contracts public and show as a next evidence of proposal progress.