A toolbox for zkSNARKs on Ethereum
-
Updated
Aug 1, 2024 - Rust
#
verifiable-computation
Here are 16 public repositories matching this topic...
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
Feb 1, 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
Mar 10, 2025 - Rust
Privacy-Preserving Verifiable Neural Network Inference Service
python rust machine-learning neural-networks convolutional-neural-networks data-privacy homomorphic-encryption spartan commitment privacy-preserving privacy-preserving-machine-learning verifiable-computation commit-and-prove
-
Updated
Mar 12, 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
Monorepo for Boundless, the verifiable compute layer
-
Updated
Mar 13, 2025 - 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
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
Verifiable Computations
-
Updated
Mar 2, 2025 - Python
-
Updated
Apr 4, 2024 - Sage
Αccountable and privacy preserving data processing via distributed ledgers
-
Updated
Nov 12, 2018 - JavaScript
Proof of Latency Using a Verifiable Delay Function
-
Updated
Jun 16, 2022 - TeX
Verifiable Operations on Outsourced Sets
-
Updated
Oct 8, 2018 - C++
An IoT Management System for registering IoT devices, communicating via the MQTT protocol, managing users, and more.
blockchain iot-platform did verifiable-credentials verifiable-computation depin verifiable-computing depin-alliance
-
Updated
Mar 11, 2025 - TypeScript
Reference implementation of the Pinccohio zk proof system
-
Updated
Nov 26, 2024 - Shell
Prototype code for Expressive Designated Verifier Anonymous Credentials
privacy-enhancing-technologies verifiable-credentials verifiable-computation zero-knowledge-proofs anonymous-credentials bbs-signatures
-
Updated
Dec 22, 2022 - JetBrains MPS
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."