A collection of libraries to prove Ethereum blocks with Polygon Zero Type 1 zkEVM, powered by starky and plonky2 proving systems.
This repository contains the following Rust crates:
-
mpt_trie: A collection of types and functions to work with Ethereum Merkle Patricie Tries.
-
trace_decoder: Flexible protocol designed to process Ethereum clients trace payloads into an IR format that can be understood by the zkEVM prover.
-
evm_arithmetization: Defines all the STARK constraints and recursive circuits to generate succinct proofs of EVM execution. It uses starky and plonky2 as proving backend: https://github.com/0xPolygonZero/plonky2.
-
proof_gen: A convenience library for generating proofs from inputs already in Intermediate Representation (IR) format.
Documentation is still incomplete and will be improved over time, a lot of useful material can be found in the docs section, including:
- sequence diagrams for the proof generation flow
- zkEVM specifications, detailing the underlying EVM proving statement
The zkEVM stack currently requires the nightly toolchain, although we may transition to stable in the future.
Note that the prover uses the Jemalloc memory allocator due to its superior performance.
Licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.