Awesome things around client-side GPU ecosystems.
☆18Mar 23, 2026Updated 7 months ago
Alternatives and similar repositories for awesome-client-side-gpu
Users that are interested in awesome-client-side-gpu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆19Jan 21, 2026Updated 9 months ago
- A browser-focused Tor client written in Rust and compiled to WebAssembly (WASM)☆27Updated this week
- STARK-based signature aggregation for Falcon and SPHINCS+☆16Mar 23, 2026Updated 7 months ago
- ☆15Oct 19, 2024Updated 2 years ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Horizontally-scalable zkSNARKs for any iterated computation☆12Feb 19, 2025Updated last year
- ☆15Updated this week
- SpeakUp zkVM Website☆15Jul 3, 2026Updated 4 months ago
- A monorepo of reusable Circom circuits.☆31Jul 20, 2026Updated 3 months ago
- ☆37Oct 29, 2026Updated 2 weeks ago
- Tor in JS. Powered by Arti.☆23Oct 29, 2026Updated 2 weeks ago
- Smart contract language with formal verification. Built with Zig for safety and performance☆29Updated this week
- A monorepo of reusable crates for zero-knowledge technologies.☆23Feb 8, 2026Updated 9 months ago
- AI memory hosted on the Internet Computer blockchain.☆19May 20, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A monorepo of reusable Noir circuits.☆55Oct 30, 2026Updated 2 weeks ago
- Tells you what anyone did this week on GitHub.☆19May 23, 2025Updated last year
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆39Jun 24, 2026Updated 4 months ago
- A Rust implmentation of draft-google-cfrg-libzk☆20Aug 27, 2026Updated 2 months ago
- A monorepo for vOPRF-based secure nullifiers☆24Apr 13, 2025Updated last year
- Performant post-quantum client-side ZK-SNARK☆18Oct 22, 2026Updated 3 weeks ago
- Experiments in visualizing Ethereum network upgrades☆65Updated this week
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated last year
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆83Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Post-quantum cryptography in Rust☆68Oct 27, 2026Updated 2 weeks ago
- Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions☆14Jul 15, 2026Updated 4 months ago
- A fast, modular, optimized ZKEVM core written in C++☆15Oct 30, 2026Updated 2 weeks ago
- ☆14Mar 19, 2025Updated last year
- ☆13Nov 10, 2023Updated 3 years ago
- Groth16 zkSNARK implementation in Julia - modular zero-knowledge proof system built from scratch for learning and research. Prove everyth…☆17May 12, 2026Updated 6 months ago
- Learn cryptography with formal proofs☆13Jul 25, 2026Updated 3 months ago
- Rust language proof-carrying data framework☆61Updated this week
- Verifiable FHE with GKR☆27Oct 5, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Jul 18, 2026Updated 3 months ago
- zkSafe allows Safe owners to collectively sign transactions, without revealing who exactly signed it.☆31Dec 11, 2025Updated 11 months ago
- Private Attestations for Mina wallets☆16Oct 29, 2026Updated 2 weeks ago
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆96Dec 11, 2025Updated 11 months ago
- Mathematical foundations for rapid prototyping of lattice-based cryptography☆31Oct 20, 2026Updated 3 weeks ago
- [DEPRECATED] The GPU code of the latest version of SP1 is in the main sp1 repo https://github.com/succinctlabs/sp1☆33Feb 19, 2026Updated 8 months ago
- Venus: Cysic's efforts on zkVM based on ZisK with customized hardware optimizations☆15Updated this week
Are these results useful?