ZKM’s Proving Service: Breaking Down the Barriers for Proof Generation

Share on

ZKM is pleased to announce the release of its exclusive Proving Service, providing developers with access to high-performance servers that are equipped to efficiently handle the intensive computational requirements for generating zero-knowledge proofs. The service is optimized specifically for zkMIPS, ZKM's specialist zkVM software for facilitating integration of ZKP capabilities into various applications.

zkMIPS natively supports Golang, simplifying proof generation directly in existing Golang environments without complex code changes. Developers can compile Golang code into MIPS instructions using the vanilla Golang compiler and prove execution with ZKM’s proof service. Support for other high-level languages will be announced in future articles.

Developers are encouraged to experiment with zkMIPS and explore innovative ways of using ZKPs to enhance scalability, interoperability, or any other beneficial purpose within their projects. ZKPs can significantly increase a blockchain network’s scalability by enabling more efficient data processing without compromising security, and can also facilitate a more secure and friction-free means of interoperability than existing cross-chain solutions. zkMIPS can be used in the development of blockchains or applications to leverage these benefits, and potentially incorporated into existing networks or applications.

View the ‘WHITEPAPER’ tab at zkm.io for papers containing detailed information about zkMIPS and its potential utility.

It is important to note that the Proving Service is in a developmental phase. Before it can be fully integrated into production environments, thorough testing is necessary to ensure that it adheres to security and performance benchmarks. Despite these prerequisites, the service is available for creating proof-of-concept applications, which allows developers to explore and test the capabilities of zkMIPS in a controlled scenario.

How to Get Involved

Developers interested in accessing the Proving Service must apply for a spot on the whitelist, as availability for the initial testing phase is limited. This selective access is intended to ensure that the service remains efficient and reliable for all users. Applications can be submitted through ZKM’s application portal: zkm.io/apply 

The potential applications of ZKP’s are vast and transformative, and ZKM actively encourages developers to think creatively about how to integrate zkMIPS into their projects. With our tools and resources, developers can innovate freely and set new standards for what is possible with blockchain technology.

More articles
Cross-chain Asset Transfer Without a Bridge - Part One
To accomplish cross-chain asset transfer, most of the solutions currently available are based on a bridge, a separate, intermediate entity, which is typically trusted with holding these assets during some period of the transaction. This trust assumption is undesirable since it provides a large opportunity for attack. In this post I will explain that, assuming the existence of a zkRollup, one can implement cross-chain asset transfer without the need for additional trust assumptions (such as a bridge).
Getting to Know zkMIPS Proving Architecture
TL;DR: zkMIPS proves the correct execution of a MIPS program in five steps: it (1) divides the program in segments, (2) divides the instructions of each segment in four module tables, (3) proves instructions from each module table independently, (4) proves instructions from each segment is contained in one of its tables, and (5) recursively proves that the sequence of segment match the program execution. Step 3 is written as a STARK, step 4 is a logUp proof written as a STARK, and step 5 as a PLONK proof. All proof steps are implemented with the Plonky2 library. Optionally, one can generate a final Groth16 proof to verify the program execution on-chain.
ZKM’s Proving Service: Breaking Down the Barriers for Proof Generation

ZKM is pleased to announce the release of its exclusive Proving Service, providing developers with access to high-performance servers that are equipped to efficiently handle the intensive computational requirements for generating zero-knowledge proofs. The service is optimized specifically for zkMIPS, ZKM's specialist zkVM software for facilitating integration of ZKP capabilities into various applications.

zkMIPS natively supports Golang, simplifying proof generation directly in existing Golang environments without complex code changes. Developers can compile Golang code into MIPS instructions using the vanilla Golang compiler and prove execution with ZKM’s proof service. Support for other high-level languages will be announced in future articles.

Developers are encouraged to experiment with zkMIPS and explore innovative ways of using ZKPs to enhance scalability, interoperability, or any other beneficial purpose within their projects. ZKPs can significantly increase a blockchain network’s scalability by enabling more efficient data processing without compromising security, and can also facilitate a more secure and friction-free means of interoperability than existing cross-chain solutions. zkMIPS can be used in the development of blockchains or applications to leverage these benefits, and potentially incorporated into existing networks or applications.

View the ‘WHITEPAPER’ tab at zkm.io for papers containing detailed information about zkMIPS and its potential utility.

It is important to note that the Proving Service is in a developmental phase. Before it can be fully integrated into production environments, thorough testing is necessary to ensure that it adheres to security and performance benchmarks. Despite these prerequisites, the service is available for creating proof-of-concept applications, which allows developers to explore and test the capabilities of zkMIPS in a controlled scenario.

How to Get Involved

Developers interested in accessing the Proving Service must apply for a spot on the whitelist, as availability for the initial testing phase is limited. This selective access is intended to ensure that the service remains efficient and reliable for all users. Applications can be submitted through ZKM’s application portal: zkm.io/apply 

The potential applications of ZKP’s are vast and transformative, and ZKM actively encourages developers to think creatively about how to integrate zkMIPS into their projects. With our tools and resources, developers can innovate freely and set new standards for what is possible with blockchain technology.