A toolbox for zkSNARKs on Ethereum
-
Updated
Aug 1, 2024 - Rust
#
verifiable-computation
Here are 46 public repositories matching this topic...
Monorepo for Boundless, the universal ZK protocol.
-
Updated
Jul 16, 2026 - Rust
A curated list of awesome projects and resources related to AVS development and EigenLayer.
saas avs open-innovation verifiable-computation permissionless eigenlayer restaking coordination-hub shared-security verifiable-saas
-
Updated
Apr 17, 2025
A lattice-based non-interactive folding scheme written in Rust
rust ethereum blockchain post-quantum-cryptography lattice-based-crypto zero-knowledge zk-snarks verifiable-computation
-
Updated
May 1, 2026 - Rust
Efficient Dynamic Proof of Retrievability
error-correction-codes bulletproof bulletproofs kzg verifiable-computation zero-knowledge-proof blockchain-storage kzg-commitment proof-of-retrievability secure-cloud-storage cloud-audit polynomial-commitment
-
Updated
Feb 12, 2024 - C
Privacy-Preserving Verifiable Neural Network Inference Service (ACSAC 2024)
python rust machine-learning neural-networks convolutional-neural-networks data-privacy homomorphic-encryption spartan commitment privacy-preserving snark privacy-preserving-machine-learning elliptic-curve verifiable-computation commit-and-prove privacy-preserving-verifiable-machine-learning
-
Updated
Sep 6, 2025 - Rust
Zero-Knowledge AI Inference with High Precision (ACM CCS 2025)
python go rust machine-learning artificial-intelligence zero lookup-table verifiable-computation zero-knowledge-proofs ieee-754-floating-point aiaas plonk zkml numerical-precision caulk high-precision-approximation high-precision-zero-knowledge-proofs zero-knowledge-machine-learning
-
Updated
Jan 22, 2026 - C
Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol
control-flow-graph zero-knowledge privacy-enhancing-technologies control-flow-integrity zk-snarks verifiable-computation
-
Updated
Dec 22, 2022 - Java
Celestia proxy service enabling Private Blockspace
privacy encryption celestia zero-knowledge data-availability functional-encryption verifiable-computation verifiable-encryption
-
Updated
May 21, 2026 - Rust
Verifiable Computations
-
Updated
Oct 20, 2025 - Python
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
cryptography wikipedia zero-knowledge zksnark nizk verifiable-computation zkp verifiable-computing plonk zero-knowledge-proof groth16 interactive-proofs
-
Updated
Feb 22, 2023
A simple and secure Verifiable Random Function (VRF) implementation for the Fuel Network.
fuel random-number-generators decentralised verifiable-computation verifiable-random-function vrf fuel-vrf
-
Updated
Aug 25, 2025 - TypeScript
STARK-style zero-knowledge virtual machine in Rust, featuring a toy DSL, VM execution, AIR constraints, Merkle commitments, Fiat-Shamir, FRI, and end-to-end proof verification.
-
Updated
May 4, 2026 - Rust
Αccountable and privacy preserving data processing via distributed ledgers
-
Updated
Nov 12, 2018 - JavaScript
-
Updated
Apr 4, 2024 - Sage
Verifiable private analytics: commit sensitive datasets, prove aggregate queries in zero-knowledge. Built on Glass.
python cryptography privacy analytics zero-knowledge glass zero-trust verifiable-computation zk-stark
-
Updated
Jun 2, 2026 - Python
zk-OPML: Using zero-knowledge proofs to optimize OPML
-
Updated
May 8, 2026 - Solidity
Agent Bazaar: an agent-native marketplace inspired by NARA. ed25519 identity, signed Aapp calls, hash-chained ledger, and a live explorer dashboard.
python marketplace cryptography ed25519 nara hash-chain verifiable-computation ai-agent web3-agents agentic-ai agent-identity agent-economy agent-infrastructure signed-receipts aapps
-
Updated
May 10, 2026 - Python
A Rust library providing verifiable aggregation ledgers in distributed spatial networks. It implements deterministic zero-knowledge proof (ZKP) and verification pipelines for local data processing—specifically validating location constraints and machine learning training updates—using a flexible API designed for seamless integration with Halo2
rust machine-learning cryptography privacy-preserving halo2 verifiable-computation zero-knowledge-proofs zkp spatial-networks arkworks
-
Updated
Jul 9, 2026 - Rust
Verifiable Operations on Outsourced Sets
-
Updated
Oct 8, 2018 - C++
Improve this page
Add a description, image, and links to the verifiable-computation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verifiable-computation topic, visit your repo's landing page and select "manage topics."