ZKM is a general verifiable computing infrastructure based on Plonky2 and the MIPS microarchitecture, empowering Ethereum as the Global Settlement Layer. The proof generation and verification guide can be found in the docs.
In order to build the application, zkm requires a latest nightly toolchain. Just run cargo build --release in zkm directory.
An end-to-end example has been presented in examples.
Any kind of external contributions are encouraged and welcomed!
-
The PR fixes a bug In the PR description, please clearly but briefly describe the bug, including how to reproduce, and the error/exception you got, and how your PR fixes the bugs.
-
The PR implements a new feature
In the PR description, please clearly but briefly describe
- what the feature does
- the approach taken to implement it
- All PRs for new features must include a suitable test suite.
- The PR improves performance
To help filter out false positives, the PR description for a performance improvement must clearly identify
- the target bottleneck (only one per PR to avoid confusing things!)
- how performance is measured
- characteristics of the machine used (CPU, OS, #threads if appropriate) performance before and after the PR
The ZKM is distributed under the terms of MIT license.
This code has not yet been audited, and should not be used in any production systems.