geppetri
by meilof
Pinocchio-based adaptive zk-SNARK and distributed computation
AI summary
zk-SNARK system
An implementation of a Pinocchio-based adaptive zk-SNARK system for distributed computation
- stars
- 16
- forks
- 3
- watching
- 4
Similar projects
Found by comparing what the projects do, not just their names.
Zk-SNARK generator
A multi-party computation protocol for generating secure parameters using zk-SNARKs
consensys/gnark1.5K
SNARK library
A fast zk-SNARK library with a high-level API to design circuits.
CNN snark
An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations.
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
zk-SNARK library
A tutorial and example code project for creating zk-SNARKs using the libsnark software library
ZK CPU emulator
A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness
o1-labs/o1js540
Zk framework library
An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript.
zk proof library
Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain
Circuit builder
A crate for building and implementing zk-SNARK circuits
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.
Optimization solver
A compiler and solver for optimization problems using zkSNARKs
IO toolkit
A Haskell toolkit providing standardized input/output functions powered by libuv
MPC software
Enables secure multi-party computation in cryptocurrency networks using zk-SNARK public parameters
