zeth
Block validator
A system that uses ZK proof to validate Ethereum blocks without relying on validators or sync committees.
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
381 stars
19 watching
68 forks
Language: Rust
last commit: 8 days ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 succinctlabs/sp1-reth | A proof-of-concept that demonstrates how to build a performant zkEVM using SP1 in Rust | 125 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
 clearmatics/zeth | An integration of Zerocash on Ethereum to provide privacy and security features | 57 |
 zmap/zlint | A tool for validating and enforcing conformance to X.509 certificate standards and PKI requirements. | 360 |
 0xhackedlabs/zkprover | A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries. | 1 |
 zk-ml/linear-regression-demo | Verifies the accuracy of a private machine learning model on Ethereum using a zk-SNARK proof | 213 |
 krzysztofzablocki/kzasserts | 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. | 100 |
| risc0/risc0 | A platform for executing and verifying computations in a secure, programmable virtual machine. | 1,681 |
 lucasgleba/zkriscv | A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness | 47 |
 delendum-xyz/zk-benchmarking | A benchmarking framework for comparing the performance of different zero-knowledge proof libraries in a variety of use cases and environments. | 128 |
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,023 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 blockpane/tenderduty | A tool for monitoring Tendermint chains and alerting validators to potential issues | 157 |
 rileytomasek/zodix | Utilities for parsing and validating parameters and form data in Remix applications | 362 |