plonkit
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
159 stars
11 watching
24 forks
Language: Rust
last commit: about 2 years ago circomplonkzksnarkzksnarks
Related projects:
| Repository | Description | Stars |
|---|---|---|
 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-garage/plonk | A Rust implementation of PLONK proving system with optimized performance and genericity for curve types | 295 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
 dusk-network/plonk | A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs | 554 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 andrewmilson/sandstorm | A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs. | 158 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 whitenois3/huff-snark-verifier | Generates optimized smart contract code for verifying proofs in blockchain applications | 126 |
 scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,846 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,836 |
 leventerkok/sbv | A tool for expressing and proving properties about Haskell programs using SMT solvers. | 245 |
 lyronctk/zator | This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity. | 160 |
 ucsd-progsys/liquidhaskell | A tool for verifying and validating Haskell programs using refinement types and SMT logic | 1,204 |
 formal-land/coq-of-rust | Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist | 437 |