{"id":21789391,"url":"https://github.com/ProjectZKM/zkm","last_synced_at":"2025-07-19T22:32:05.462Z","repository":{"id":223515725,"uuid":"701633620","full_name":"zkMIPS/zkm","owner":"zkMIPS","description":"The universal zkVM empowering Ethereum as the Global Settlement Layer","archived":false,"fork":false,"pushed_at":"2024-11-02T02:54:16.000Z","size":33312,"stargazers_count":101,"open_issues_count":5,"forks_count":50,"subscribers_count":4,"default_branch":"main","last_synced_at":"2024-11-10T09:06:21.891Z","etag":null,"topics":["mips","verifiable-computing","zkp","zkvm"],"latest_commit_sha":null,"homepage":"https://zkm.io","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/zkMIPS.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-10-07T05:45:34.000Z","updated_at":"2024-11-02T18:30:59.000Z","dependencies_parsed_at":"2024-02-25T11:30:50.181Z","dependency_job_id":"65e25e45-3fbc-493f-831e-4ce14d26ec8e","html_url":"https://github.com/zkMIPS/zkm","commit_stats":null,"previous_names":["zkmips/zkm"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zkMIPS%2Fzkm","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zkMIPS%2Fzkm/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zkMIPS%2Fzkm/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zkMIPS%2Fzkm/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/zkMIPS","download_url":"https://codeload.github.com/zkMIPS/zkm/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":226687727,"owners_count":17666934,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["mips","verifiable-computing","zkp","zkvm"],"created_at":"2024-11-27T05:00:41.161Z","updated_at":"2025-07-19T22:32:05.455Z","avatar_url":"https://github.com/zkMIPS.png","language":"Rust","funding_links":[],"categories":["Uncategorized","Technical details"],"sub_categories":["Uncategorized"],"readme":"\u003cp align=\"center\"\u003e\n    \u003cimg alt=\"zkmreadme\" width=\"1412\" src=\"https://i.ibb.co/xDTXTgH/zkmreadme.gif\"\u003e\n\u003c/p\u003e\n\u003cp align=\"center\"\u003e\n    \u003ca href=\"https://discord.gg/zkm\"\u003e\u003cimg src=\"https://img.shields.io/discord/700454073459015690?logo=discord\"/\u003e\u003c/a\u003e\n    \u003ca href=\"https://twitter.com/ProjectZKM\"\u003e\u003cimg src=\"https://img.shields.io/twitter/follow/ProjectZKM?style=social\"/\u003e\u003c/a\u003e\n    \u003ca href=\"https://github.com/zkMIPS/zkm/graphs/contributors\"\u003e\u003cimg src=\"https://img.shields.io/badge/contributors-17-ee8449\"/\u003e\u003c/a\u003e\n\u003c/p\u003e\n\n# Table of Contents\n- [Table of Contents](#table-of-contents)\n- [1. Overview](#1-overview)\n- [2. Build Guide](#2-build-guide)\n  - [2.1  Local Proving](#21--local-proving)\n    - [Requirements:](#requirements)\n    - [2.1.1 Local Proving Guide](#211-local-proving-guide)\n  - [2.2 Network Proving](#22-network-proving)\n    - [Requirements](#requirements-1)\n    - [2.2.1 Network Proving Guide](#221-network-proving-guide)\n- [3. ZKM Project Template](#3-zkm-project-template)\n- [4. FAQs](#4-faqs)\n    - [1. My node is unable to compile.](#1-my-node-is-unable-to-compile)\n- [5. Contributors](#5-contributors)\n  - [General guidance for your PR](#general-guidance-for-your-pr)\n- [6. Licenses](#6-licenses)\n- [7. Security](#7-security)\n# 1. Overview\nZKM is a general verifiable computing infrastructure based on [Plonky2](https://github.com/0xPolygonZero/plonky2) and the [MIPS microarchitecture](https://en.wikipedia.org/wiki/MIPS_architecture), empowering Ethereum as the Global Settlement Layer. The proof generation and verification guide can be found in the [docs](https://docs.zkm.io/introduction).\n# 2. Build Guide\n**ZKM can generate proofs for Go and Rust (guest) Programs.**\n\nThere are two ways to prove the program:\n- Use your local machine\n- Use ZKM Proving network\n\n## 2.1 Local Proving Guide\nAn end-to-end example has been presented in [examples](https://github.com/zkMIPS/zkm/tree/main/prover/examples#examples).\n## 2.2 Network Proving\n\u003e [!NOTE]\n\u003e The proving network is a demo at present. The production version is coming soon.\n### Requirements\n* CA certificate:  ca.pem, ca.key\n* Register at https://www.zkm.io/apply (Let your public key be in the whitelist)\n* Set up a local node for some blockchain(eg, sepolia)\n### 2.2.1 Network Proving Guide\nAn end-to-end example has been presented in [examples](https://github.com/zkMIPS/zkm/blob/main/prover/examples).\n# 3. ZKM Project Template\nA project template to facilitate creating an end-to-end ZKM project that can generate the EVM-Compatible proof and the on chain verification contract.\n[ZKM Project Template](https://github.com/zkMIPS/zkm-project-template/tree/main)\n# 4. FAQs\n### 1. My node is unable to compile.\n- Ensure your machine has `Rust v1.66+` installed. Instructions to [install Rust can be found here.](https://www.rust-lang.org/tools/install)\n- If large errors appear during compilation, try running `cargo clean`.\n- Ensure `zkMIPS` is started using `./run-client.sh` or `./run-prover.sh`.\n# 5. Contributors\nThis project follows the [all-contributors](https://github.com/all-contributors/all-contributors) specification. Any kind of external contributions are encouraged and welcomed!\n\n\u003c!-- ALL-CONTRIBUTORS-LIST:START - Do not remove or modify this section --\u003e\n\n\u003c!-- markdownlint-restore --\u003e\n\u003c!-- prettier-ignore-end --\u003e\n\n\u003c!-- ALL-CONTRIBUTORS-LIST:END --\u003e\n\n## General guidance for your PR\n- The PR fixes a bug In the PR description, please clearly but briefly describe the bug, including how to reproduce it, and the error/exception you got, and how your PR fixes the bugs.\n- The PR implements a new feature\n\nIn the PR description, please clearly but briefly describe\n1. what the feature does\n2. the approach taken to implement it\n3. All PRs for new features must include a suitable test suite.\n4. The PR improves performance\n\nTo help filter out false positives, the PR description for a performance improvement must clearly identify\n 1. the target bottleneck (only one per PR to avoid confusing things!)\n 2. how performance is measured\n 3. characteristics of the machine used (CPU, OS, #threads if appropriate) performance before and after the PR\n# 6. Licenses\nZKM is distributed under the terms of MIT license.\n# 7. Security\nThis code has not yet been audited, and should not be used in any production systems.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FProjectZKM%2Fzkm","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FProjectZKM%2Fzkm","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FProjectZKM%2Fzkm/lists"}