From d98305b3211b1e129cd6a11c906a03da9044a99d Mon Sep 17 00:00:00 2001 From: Paul Gebheim Date: Mon, 20 Nov 2023 08:55:02 -0800 Subject: [PATCH 1/2] Create README.md --- evm/README.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 evm/README.md diff --git a/evm/README.md b/evm/README.md new file mode 100644 index 00000000..51a8c826 --- /dev/null +++ b/evm/README.md @@ -0,0 +1,18 @@ +# Recursive Stateless ZK-EVM + +Included here is an implementation of a stateless, recursive ZK-EVM client implemented using Plonky2. It currently supports the full Merkle-Patricia Tree and has all Shanghai opcodes implemented. + +## Ethereum Compatibility + +The aim of this module is to initially provide full ethereum compatibility. Today, all EVM tests for the Shanghai hardfork are implemented. Work is progressing on supporting the upcoming [Cancun](https://github.com/0xPolygonZero/plonky2/labels/cancun) EVM changes. Furthermore, this prover uses the full ethereum state tree and hashing modes. + +## Audits + +Audits for the ZK-EVM will begin on November 27th, 2023. See the [Audit RC1 Milestone](https://github.com/0xPolygonZero/plonky2/milestone/2?closed=1). This README will be updated with the proper branches and hashes when the audit has commenced. + +## Documentation / Specification + +The current specification is located in the [/spec](/spec) directory, with the most currently up-to-date PDF [availabe here](https://github.com/0xPolygonZero/plonky2/blob/main/evm/spec/zkevm.pdf). Further documentation will be made over the coming months. + +--- +Copyright (C) 2023 PT Services DMCC From 29762c856f1730a31eba6a0ea94cc093d47f96d9 Mon Sep 17 00:00:00 2001 From: Paul Gebheim Date: Mon, 20 Nov 2023 09:02:58 -0800 Subject: [PATCH 2/2] Update README.md --- evm/README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/evm/README.md b/evm/README.md index 51a8c826..6011c3f4 100644 --- a/evm/README.md +++ b/evm/README.md @@ -1,6 +1,9 @@ # Recursive Stateless ZK-EVM -Included here is an implementation of a stateless, recursive ZK-EVM client implemented using Plonky2. It currently supports the full Merkle-Patricia Tree and has all Shanghai opcodes implemented. +Included here is an implementation of a stateless, recursive ZK-EVM client implemented using Plonky2. It currently supports the full Merkle-Patricia Tree and has all Shanghai opcodes implemented. This implementation is able to provide transaction level proofs which are then recursively aggregated into a block proof. This means that proofs for a block can be efficiently distributed across a cluster of computers. As these proofs use Plonky2 they are CPU and Memory bound. The ability to scale horizontally across transactions increases the total performance of the system dramatically. + +End-to-end workflows are currently in progress to suport this proving mode against live evm networks. + ## Ethereum Compatibility