plonkit
by fluidex
A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
AI summary
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
- stars
- 159
- forks
- 24
- watching
- 11
Similar projects
Found by comparing what the projects do, not just their names.
zk verifier
A Rust-based implementation of a zk proof system, enabling secure and private data verification without the need for trusted intermediaries.
PLONK library
A Rust implementation of PLONK proving system with optimized performance and genericity for curve types
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Proof system
A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
Proof generator
A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs.
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Verifier generator
Generates optimized smart contract code for verifying proofs in blockchain applications
Computational proof system
A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge.
zkSNARK prover
A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
Haskell verifier
A tool for expressing and proving properties about Haskell programs using SMT solvers.
Network verifier
This project verifies the inference of a deep neural network using recursive SNARKs and leverages a folding scheme to reduce computation complexity.
Haskell Verifier
A tool for verifying and validating Haskell programs using refinement types and SMT logic
Code verifier
Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist
