A toolbox for zkSNARKs on Ethereum
-
Updated
Aug 1, 2024 - Rust
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
verifiable-computationHere are 84 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Next-generation decentralized data lakehouse and a multi-party stream processing network
data-science sql spark jupyter open-data data-management flink data-as-code verifiable-computation datafusion kamu open-data-fabric
Open protocol for AI agent work contracts and verifiable execution — authorization, evidence, and acceptance for multi-agent systems
python mcp audit authorization ed25519 multi-agent-systems ai-agents open-protocol verifiable-computation llm-agents agent-protocol agent-governance agent-infrastructure verifiable-execution proof-carrying-work
Monorepo for Boundless, the universal ZK protocol.
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
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
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
Efficient Dynamic Proof of Retrievability (NDSS 2023)
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
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
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
Celestia proxy service enabling Private Blockspace
privacy encryption celestia zero-knowledge data-availability functional-encryption verifiable-computation verifiable-encryption
A library for Zero-Knowledge Proofs, (verifiable) Fully Homomorphic Encryption, and related techniques
python c cryptography avx512 homomorphic-encryption zero-knowledge fhe snark verifiable-computation zkp ckks
Independent open-source implementation of Magnetar: a hash-based, post-quantum RV64I zkVM over binary fields (Setty, ePrint 2026/2423). Not affiliated with Microsoft.
python rust cryptography riscv post-quantum verifiable-computation magnetar polynomial-commitments rv64i sumcheck zkvm hash-based binary-fields
Verifiable Computations
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
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
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.
Native 4D reality construction from portable, verifiable World Cells
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
Αccountable and privacy preserving data processing via distributed ledgers
Add this topic to your repoTo associate your repository with the verifiable-computation topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |