Projects in Awesome Lists tagged with verifiable-computation

https://github.com/ZoKrates/ZoKrates

A toolbox for zkSNARKs on Ethereum

ethereum language snark verifiable-computation zero-knowledge zksnarks

Last synced: 11 May 2025

https://github.com/Zokrates/ZoKrates

A toolbox for zkSNARKs on Ethereum

ethereum language snark verifiable-computation zero-knowledge zksnarks

Last synced: 01 Apr 2025

https://github.com/zokrates/zokrates

A toolbox for zkSNARKs on Ethereum

ethereum language snark verifiable-computation zero-knowledge zksnarks

Last synced: 15 May 2025

https://github.com/boundless-xyz/boundless

Monorepo for Boundless, the universal ZK protocol.

blockchain cryptography ethereum rust verifiable-computation web3 zero-knowledge

Last synced: 11 May 2026

https://github.com/nethermindeth/latticefold

A lattice-based non-interactive folding scheme written in Rust

blockchain ethereum lattice-based-crypto post-quantum-cryptography rust verifiable-computation zero-knowledge zk-snarks

Last synced: 07 May 2025

https://github.com/cnasikas/data-processing

Αccountable and privacy preserving data processing via distributed ledgers

blockchain data-processing distributed-ledger verifiable-computation zero-knowledge

Last synced: 01 Jul 2025

https://github.com/wickra-lib/wickra-zk

Prove your backtest — zero-knowledge, on-chain-verifiable performance without revealing your data or strategy.

backtesting blockchain cryptography privacy risc0 rust trading-strategies verifiable-computation zero-knowledge-proofs zkvm

Last synced: 29 Jul 2026

https://github.com/janianttonen/gradu

Proof of Latency Using a Verifiable Delay Function

distributed-hash-table distributed-systems latency vdf verifiable-computation

Last synced: 18 Mar 2026

https://github.com/rwilliamspbg-ops/smp-zk-proofs

A Rust library providing verifiable aggregation ledgers in distributed spatial networks. It implements deterministic zero-knowledge proof (ZKP) and verification pipelines for local data processing—specifically validating location constraints and machine learning training updates—using a flexible API designed for seamless integration with Halo2

arkworks cryptography halo2 machine-learning privacy-preserving rust spatial-networks verifiable-computation zero-knowledge-proofs zkp

Last synced: 22 Jun 2026

https://github.com/isaac-defrain/pinocchio

Reference implementation of the Pinccohio zk proof system

pinocchio verifiable-computation zero-knowledge zk zksnark

Last synced: 02 May 2026

https://github.com/intent-solutions-io/irsb-solver

Reference off-chain solver/executor for the IRSB accountability protocol. Deterministic evidence + receipts for intent-based workflows.

accountability auditability blockchain ethereum evm intent-based protocol receipts verifiable-computation web3

Last synced: 09 Feb 2026

https://github.com/name970/Protocol

A Proof-of-Useful-Work consensus where the "work" is verifiable matrix multiplication: exact INT8 arithmetic for bit-reproducible results, plus a cheap probabilistic audit that certifies a product without recomputing it.

consensus cryptography rust verifiable-computation zero-knowledge

Last synced: 31 Jul 2026