sp1-reth
by succinctlabs
A performant, type-1 zkEVM written in Rust & SP1.
AI summary
zkEVM project
A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust
- stars
- 126
- forks
- 34
- watching
- 21
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
ZK toolkit
A collaborative project that provides tools and libraries for building Zero-Knowledge applications using Rust.
risc0/zeth390
Block validator
A tool that proves Ethereum blocks are valid without relying on external validators or committees.
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
PLONK library
A Rust implementation of PLONK proving system with optimized performance and genericity for curve types
Circuit builder
A crate for building and implementing zk-SNARK circuits
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
bluealloy/revm1.7K
EVM simulator
Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.
ZMQ library
A Rust wrapper around the libzmq ZeroMQ library providing a standardized interface for message passing between processes.
Rust IDE plugin
A plugin that enhances Neovim's functionality for Rust development
rust-lang/rust99.5K
Software development framework
Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling.
ZK proof game
A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves.
ZK SDK
A toolkit for building and executing zero-knowledge transactions in web applications.
ZK CPU emulator
A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness
Rust toolkit manager
A zsh plugin for managing the Rust programming language toolchain
Verification tool
Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof
Featured in 1 awesome list
Each link jumps to the spot where the list mentions sp1-reth.
