5 Repositories
Rust zkevm Libraries
A performant, type-1 zkEVM written in Rust & SP1.
SP1 Reth SP1 Reth is a 100% open-source POC that showcases how any rollup can use SP1 to build a performant (type-1, bytecode compatible) zkEVM with l
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
zeth NEW: Zeth now supports Optimism blocks! Just pass in --network=optimism! Zeth is an open-source ZK block prover for Ethereum built on the RISC Ze
Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
Plaf demo This is a demo of Plaf: Plonkish Arithmetiation Format on the zkevm-circuits Steps to run this: Clone these three repositories in the same f
🛠️ Uses zkevm-circuits and anvil mainnetfork to prove that a tx solves an EVM challenge
zk-proof-of-evm-execution This is a PoC developed at hackathon that enables a user to prove that they know some calldata that can solve a challenge on
The zkEVM Vyper compiler.
zkSync Era: Vyper Compiler zkSync Era is a layer 2 rollup that uses zero-knowledge proofs to scale Ethereum without compromising on security or decent