zeth
by risc0
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
AI summary
Block validator
A tool that proves Ethereum blocks are valid without relying on external validators or committees.
- stars
- 390
- forks
- 73
- watching
- 21
Similar projects
Found by comparing what the projects do, not just their names.
zkEVM project
A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
Zerocash implementation
An integration of Zerocash on Ethereum to provide privacy and security features
zmap/zlint370
Certificate validator
A tool for validating and enforcing conformance to X.509 certificate standards and PKI requirements.
zk verifier
A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries.
Verification tool
Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof
Error validator
A tool to help developers ensure code correctness and handle errors in their apps by providing a way to validate assumptions about data types and API responses.
Virtual Machine
A platform for executing and verifying computations in a secure, programmable virtual machine.
ZK CPU emulator
A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness
ZK benchmarker
A benchmarking framework for comparing the performance of different zero-knowledge proof libraries in a variety of use cases and environments.
Circuit builder
A crate for building and implementing zk-SNARK circuits
zkSNARK prover
A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Validator monitor
A tool for monitoring Tendermint chains and alerting validators to potential issues
Param validator
Utilities for parsing and validating parameters and form data in Remix applications
