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.
126 stars
21 watching
34 forks
Language: Rust
last commit: 4 months 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. | 135 |
 risc0/zeth | A tool that proves Ethereum blocks are valid without relying on external validators or committees. | 390 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
 zk-garage/plonk | A Rust implementation of PLONK proving system with optimized performance and genericity for curve types | 295 |
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,031 |
 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,685 |
 erickt/rust-zmq | A Rust wrapper around the libzmq ZeroMQ library providing a standardized interface for message passing between processes. | 909 |
 mrcjkb/rustaceanvim | A plugin that enhances Neovim's functionality for Rust development | 1,864 |
 rust-lang/rust | Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling. | 99,490 |
 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 | 214 |