zkProver
by 0xHackedLabs
AI summary
zk verifier
A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries.
- stars
- 1
- forks
- 0
- watching
- 0
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Query Verifier
An engine for proving the correctness of SQL queries without trusting the data source
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
ZK benchmarker
A benchmarking framework for comparing the performance of different zero-knowledge proof libraries in a variety of use cases and environments.
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
ZKP DSL
A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance.
Zero-knowledge proof system
A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic.
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
risc0/zeth390
Block validator
A tool that proves Ethereum blocks are valid without relying on external validators or committees.
PLONK library
A Rust implementation of PLONK proving system with optimized performance and genericity for curve types
Haskell verifier
A tool for expressing and proving properties about Haskell programs using SMT solvers.
Bulletproof library
A high-performance Rust implementation of Bulletproofs, enabling efficient single-party and multi-party computations with programmable constraints.
ZK toolkit
A collaborative project that provides tools and libraries for building Zero-Knowledge applications using Rust.
ZK CPU emulator
A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness
Computational proof system
A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge.
ZK proof game
A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions zkProver.
