Update - Project was started on Jan 17, 2024.
Attached are the notes from the 2 week nark update.
Details are availabe at : MINA-Nav-Deliverables-Usecases.xlsx - Google Sheets
Please refer to the tab Feb 4, 2025.
Summary:
Summary - Most deep composition workflows and ACTUS financial framework connectivity and mapping to ZKPrograms are proceeding well. We have completed the first cut testcases with the node commands.
On the UI side, we are running in to an issue ( seems mostly on our side ), Our initial reachout in discord we got a link to Change wording of the error "Verification_failed (Invalid_proof "In progress")" to "Verification key is missing on account or does not match the verification key of the compiled contract" · Issue #1287 · o1-labs/o1js · GitHub. Looks like a similar issue, but not sure if it has to do something with how we are re-deploying the smartcontract in devnet, or some kind of a timing issue. We are tying to narrow it down just based on the plain vanilla code from MINA tutorials to isolate the issue. Will reach out in discord to figure this out. Help appreciated. Overall, we should be good for the first iteration by end of week 4. - Sathya Krishnasamy.