A toolbox for zkSNARKs on Ethereum
-
Updated
Aug 1, 2024 - Rust
#
verifiable-computation
Here are 27 public repositories matching this topic...
Monorepo for Boundless, the universal ZK protocol.
-
Updated
Feb 20, 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
Dec 17, 2025 - 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
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
Celestia proxy service enabling Private Blockspace
privacy encryption celestia zero-knowledge data-availability functional-encryption verifiable-computation verifiable-encryption
-
Updated
Jan 7, 2026 - Rust
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
Zero-Knowledge AI Inference with High Precision
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
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
Αccountable and privacy preserving data processing via distributed ledgers
-
Updated
Nov 12, 2018 - JavaScript
-
Updated
Apr 4, 2024 - Sage
Proof of Latency Using a Verifiable Delay Function
-
Updated
Jun 16, 2022 - TeX
Verifiable Operations on Outsourced Sets
-
Updated
Oct 8, 2018 - C++
Rust-based distributed ML inference with zero-knowledge proofs for privacy-preserving and verifiable computation.
rust privacy-preserving heterogeneous-computing verifiable-computation zero-knowledge-proofs distributed-ml zkml federated-inference
-
Updated
Jan 22, 2026 - Rust
Experimenting with lightweight verifiable encryption with RISC Zero
-
Updated
Apr 8, 2025 - Rust
Experimenting with lightweight verifiable encryption with Succinct SP1
-
Updated
Apr 17, 2025 - Rust
Ambient AI VCP is a production‑ready system for running distributed AI workloads across diverse machines. It uses secure WASM sandboxing, supports federated learning, and verifies results with zero‑knowledge proofs to ensure correctness without exposing raw data.
rust distributed-systems wasm edge-computing federated-learning verifiable-computation zero-knowledge-proofs ambient-ai decentralized-ai cryptographic-verification
-
Updated
Feb 21, 2026 - Rust
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."