sp1-reth
zkEVM project
A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust
A performant, type-1 zkEVM written in Rust & SP1.
125 stars
21 watching
32 forks
Language: Rust
last commit: about 1 month ago
Linked from 1 awesome list
blockchaincontributor-friendlyethereummodularrustzero-knowledge
jmcph4/awesome-rethRelated projects:
| Repository | Description | Stars |
|---|---|---|
| succinctlabs/succinctx | A collaborative project that provides tools and libraries for building Zero-Knowledge applications using Rust. | 134 |
 risc0/zeth | A system that uses ZK proof to validate Ethereum blocks without relying on validators or sync committees. | 381 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
 zk-garage/plonk | A Rust implementation of PLONK proving system with optimized performance and genericity for curve types | 294 |
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,023 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 bluealloy/revm | Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity. | 1,652 |
 erickt/rust-zmq | A Rust wrapper around the libzmq ZeroMQ library providing a standardized interface for message passing between processes. | 907 |
 mrcjkb/rustaceanvim | A plugin that enhances Neovim's functionality for Rust development | 1,761 |
 rust-lang/rust | The Rust project provides tools and infrastructure to build efficient, reliable software | 98,564 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
 provablehq/sdk | A toolkit for building and executing zero-knowledge transactions in web applications. | 593 |
 lucasgleba/zkriscv | A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness | 47 |
 wintermi/zsh-rust | A zsh plugin for managing the Rust programming language toolchain | 8 |
 zk-ml/linear-regression-demo | Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof | 213 |