verifiable-computation

There are 0 repository under verifiable-computation topic.

Zokrates / ZoKrates
A toolbox for zkSNARKs on Ethereum
zksnarks ethereum zero-knowledge snark language verifiable-computation
Language:Rust 1759
vt-asaplab / porla
Efficient Dynamic Proof of Retrievability
bulletproofs proof-of-retrievability verifiable-computation zero-knowledge-proof blockchain-storage cloud-audit error-correction-codes secure-cloud-storage polynomial-commitment bulletproof kzg kzg-commitment
Language:C 10
HeiniDebes / ZEKRA
Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol
control-flow-graph control-flow-integrity verifiable-computation zero-knowledge privacy-enhancing-technologies zk-snarks
Language:Java 6
LBruyne / ZKPedia
An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.
verifiable-computation wikipedia zero-knowledge zero-knowledge-proof zksnark interactive-proofs groth16 plonk zkp cryptography nizk verifiable-computing
4
cnasikas / data-processing
Αccountable and privacy preserving data processing via distributed ledgers
data-processing blockchain distributed-ledger verifiable-computation zero-knowledge
Language:JavaScript 3
DavidTan0527 / Verifiable-Computation
pairing sagemath verifiable-computation
Language:Sage 3
JaniAnttonen / gradu
Proof of Latency Using a Verifiable Delay Function
vdf distributed-systems distributed-hash-table latency verifiable-computation
Language:TeX 2
mahzoun / SetOps
Verifiable Operations on Outsourced Sets
cloudsecurity outsourcing verifiable-computation
Language:C++ 2
HeiniDebes / RETRACT
Prototype code for Expressive Designated Verifier Anonymous Credentials
verifiable-computation verifiable-credentials zero-knowledge-proofs privacy-enhancing-technologies anonymous-credentials bbs-signatures
Language:JetBrains MPS 0
WholesumNet / client
Client agent for Wholesum network
fairos-dfs p2p-network risc0 swarm verifiable-computation
Language:Rust 0