ZKM

May 9, 2025

With the release of zkMIPS 1.0, ZKM has opened up a new paradigm. After months of intensive engineering, zkMIPS is now production-ready, performance-optimized, and actively proving Ethereum mainnet blocks and powering Bitcoin-native applications like GOAT Network. But this milestone isn’t the end - it’s the beginning. And we want YOU to be a part of it.

The ZKM Early Contributor Program now enters its third and final phase, focused entirely on builders. While previous phases invited users to generate proofs and contribute to the growing ZK ecosystem through community content, Phase 3 is aimed squarely at developers who want to explore and implement the benefits of verifiable computation into their applications.

Why Contribute Now?

Phase 3 coincides with the most technically mature point in ZKM’s journey to date. zkMIPS 1.0 delivers 6x to 19x improvements over the previous version across benchmarks, and for the first time, developers have access to a full SDK, patched libraries, and a working toolchain designed for real-world use.

But more importantly, ZKM is not just another zkVM. It’s the only production-ready VM based on MIPS - a fixed, stable instruction set chosen for its alignment with efficient proof generation, trace compactness, and long-term compatibility. This makes zkMIPS uniquely suited to developers who want to go beyond experimentation and build applications meant to last.

What Can Developers Do in Phase 3?

ZKM is calling on developers to engage in three core ways:

Build a Real zkMIPS App
- Use the provided ZKM SDK, compiler toolchain, and template to build a verifiable application (zkApp) running on zkMIPS.
- Focus areas include identity, AI-verification, Bitcoin L2s, or novel trust-minimized systems.
  ‍
Improve the Tooling
- Contribute to ZKM’s open-source repos by improving tooling, documentation, or templates.
- Star and fork the GitHub repo to show support and help raise visibility.
  ‍
Run and Optimize Proofs
- Deploy the ZKM Prover locally or via the Proof Network and experiment with custom circuits or verification logic.
- Submit benchmarks or optimization PRs to help shape the next proving iteration.

Why It Matters

This is more than just another ZK program. ZKM is building verifiable compute infrastructure that already works - on Ethereum, on Bitcoin, and soon across chains. By contributing now, developers get a chance to work with what is arguably the most performant zkVM stack currently available.

If you believe in the long-term impact of zero-knowledge infrastructure, and if you want to work with a team that’s been prioritizing the building of superior tech over hollow marketing campaigns, now is the time.

Ready to build? View our ECP task board here: Tasks & Submissions

Try it. Fork it. Prove it.

H1

h2

‍

h3

‍

H4

H5

What’s a Rich Text element?

The rich text element allows you to create and format headings, paragraphs, blockquotes, images, and video all in one place instead of having to add and format them individually. Just double-click and easily create content.

Static and dynamic content editing

A rich text element can be used with static or dynamic content. For static content, just drop it into any page and begin editing. For dynamic content, add a rich text field to any collection and then connect a rich text element to that field in the settings panel. Voila!

How to customize formatting for each rich text

Headings, paragraphs, blockquotes, figures, images, and figure captions can all be styled after a class is added to the rich text element using the "When inside of" nested selector system.

aasdasd

Experience in the fast-paced and dynamic work culture of an international team
Excellent growth opportunity as your role expands in direct relation to the growth of your region’s participation/involvement/adoption
Learn about the Metis ecosystem and its products

1. Metis Technical Advocate
2. Metis Community Advocate

// Get all <p> elements in the document
const paragraphs = document.querySelectorAll('p');

// Loop through each paragraph to check if it's preceded by an <h1> or <h2>
paragraphs.forEach(paragraph => {
    // Get the previous sibling element of the current paragraph
    const previousElement = paragraph.previousElementSibling;
    
    // Check if the previous element is an <h1> or <h2>
    if (previousElement && (previousElement.tagName === 'H1' || previousElement.tagName === 'H2')) {
        // Change the margin of the current paragraph
        paragraph.style.marginTop = '20px'; // Adjust the margin value as needed
    }
});

‍

Headings, paragraphs,

‍

Headings, paragraphs,

Why ZKM? Choosing the Right zkVM for Your Application

As the number of zkVMs continues to grow, the choice facing developers is no longer whether to use one - but rather which to use. With an ever-growing number of zkVMs offering different tradeoffs, it’s becoming increasingly difficult to tell which zkVM actually delivers what matters.

zkMIPS: A High-Level Specification

Here, we announce the publication of the latest paper from ZKM Research: ‘zkMIPS: A High-Level Specification’. This substantial update of the previous version corrects the discrepancies between the original documentation and the present state of the zkMIPS codebase, providing a more accurate foundation of information to aid the ZKM developer community with their contributions.