Please note all zkApps are curently WIP or POC's.
Please note all zkApps are currently WIP or POC's.

ETHSeoul 2024: Web-based o1js prover interface

ETHSeoul 2024: Web-based o1js prover interface

Developers often encounter challenges when implementing O1js, or any proof system, particularly on the client side. While previous solutions have allowed for the creation of zk proofs within browser environments, they lacked integration with distributed ledgers, limiting on-chain functionalities.

The Web-based O1js prover interface addresses this issue by amalgamating features from various solutions. Powered by O1js, the interface offers seamless web-based on-chain proof capabilities adaptable to any web application.

Upon user input, the interface initiates the O1js proof generation pipeline offline, submitting the execution receipt to Mina for verification.

Challenges encountered
The project faced two primary challenges:

1. Interacting with the Mina ledger, particularly the test network, proved less smooth than anticipated. Transaction finalization delays occurred frequently, especially when dealing with the zkApp contract, necessitating repeated deployments for error debugging.

– The team mitigated this challenge by conducting most work and testing on the local blockchain.

2. Unexpected difficulties arose when transmitting data in and out of web workers. Data serialization had to adhere to web worker requirements.

– To address this, the team systematically tested each data property for proper serialization/deserialization to ensure end-to-end functionality.

Team Members – Taiga Labs
Elden Park

Github Link > / Github Link 2 >
Info Page >

Featured zkApps
Social Cap

Mina Navigators is poised to establish a groundbreaking standard for ZK developer engagement, urging innovators to embark on the journey of creating, refining, and contributing to the Mina ecosystem.


There are three distinct phases within the Navigator program:

  1. Hackathon: October 9 through November 10
  2. Learn-to-earn challenges: November 2023 through April 2024
  3. Final contribution grant: April 30, 2024
Phase One

In Phase One, known as The Navigators Hackathon, commencing on October 9th, a five-week hackathon unfolds. Outstanding submissions during this period stand a chance to receive MINA token grants and a coveted 'Navigator' badge—a symbol of acceptance into the Navigators program. Those adorned with the badge qualify for Phase Two, engaging in monthly challenges to accrue grants.

Developers are tasked with constructing functional and efficient proof-of-concept applications and tooling for Mina. This endeavor aims to spotlight their ingenuity and technical prowess across diverse use cases on the Mina platform.

Judging involves a panel of seven individuals from the Mina ecosystem. For more comprehensive information regarding grants, submission criteria, and the judging process, the Navigators hub offers detailed insights.

Phase Two

In Phase Two, the Navigators embark on the Build and Learn-to-Earn journey (or, as they humorously term it, Navigate-to-Earn). This marks the initiation of the enjoyable phase. Post-hackathon, Navigators engage in collaborative efforts, either on their personal projects or those of their peers from the hackathon. Their active participation in a 6-month series of challenges positions them to earn monthly grants, facilitating an accelerated learning experience on ZK, Mina, and o1js.

Phase Three

As Phase Three unfolds, the Navigators, having invested six months of unwavering dedication and hard work, seize the opportunity to present their contributions. A panel of community electors becomes the discerning audience, evaluating these endeavors for the coveted grand prizes of MINA grants. Notably, these prizes distinguish themselves by being non-project-specific, emphasizing individual contributions spread across various projects and GitHub repositories.

Scroll to Top