A toolbox for zkSNARKs on Ethereum
-
Updated
Aug 1, 2024 - Rust
#
verifiable-computation
Here are 12 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
Dec 4, 2024
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
privacy-preserving-machine-learning
verifiable-computation
commit-and-prove
-
Updated
Nov 5, 2024 - 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
-
Updated
Apr 4, 2024 - Sage
Αccountable and privacy preserving data processing via distributed ledgers
-
Updated
Nov 12, 2018 - JavaScript
Verifiable Operations on Outsourced Sets
-
Updated
Oct 8, 2018 - C++
Proof of Latency Using a Verifiable Delay Function
-
Updated
Jun 16, 2022 - TeX
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."