Awesome things around client-side GPU ecosystems.
☆18Mar 23, 2026Updated 5 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 browser-focused Tor client written in Rust and compiled to WebAssembly (WASM)☆25Jul 8, 2026Updated last month
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 7 months ago
- ☆14Oct 19, 2024Updated last year
- STARK-based signature aggregation for Falcon and SPHINCS+☆16Mar 23, 2026Updated 5 months ago
- ☆37Jul 3, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A monorepo of reusable crates for zero-knowledge technologies.☆23Feb 8, 2026Updated 6 months ago
- Smart contract language with formal verification. Built with Zig for safety and performance☆29Updated this week
- AI memory hosted on the Internet Computer blockchain.☆18May 20, 2026Updated 3 months ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated 11 months ago
- A monorepo for vOPRF-based secure nullifiers☆23Apr 13, 2025Updated last year
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆38Jun 24, 2026Updated 2 months ago
- A Rust implmentation of draft-google-cfrg-libzk☆20Aug 7, 2026Updated 2 weeks ago
- Experiments in visualizing Ethereum network upgrades☆61Updated this week
- A monorepo of reusable Noir circuits.☆53Aug 8, 2026Updated 2 weeks ago
- 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.
- A high performance and modular implementation of the Akita polynomial commitment scheme☆18Updated this week
- Tells you what anyone did this week on GitHub.☆18May 23, 2025Updated last year
- Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡☆76Updated this week
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated 11 months ago
- ☆13Nov 10, 2023Updated 2 years ago
- Post-quantum cryptography in Rust☆66Jun 4, 2026Updated 2 months ago
- A monorepo of reusable Circom circuits.☆31Jul 20, 2026Updated last month
- Groth16 zkSNARK implementation in Julia - modular zero-knowledge proof system built from scratch for learning and research. Prove everyth…☆17May 12, 2026Updated 3 months ago
- Client side zero-knowledge proving.☆112Updated 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.
- Audit reports can be found at https://docs.lighter.xyz/security/security-audits☆65Aug 12, 2026Updated 2 weeks ago
- zkSafe allows Safe owners to collectively sign transactions, without revealing who exactly signed it.☆30Dec 11, 2025Updated 8 months ago
- ☆12Oct 4, 2023Updated 2 years ago
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆94Dec 11, 2025Updated 8 months ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Jul 18, 2026Updated last month
- Private Attestations for Mina wallets☆16Sep 24, 2025Updated 11 months ago
- ☆15Jun 15, 2026Updated 2 months 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 6 months ago
- Venus: Cysic's efforts on zkVM based on ZisK with customized hardware optimizations☆16Aug 12, 2026Updated 2 weeks 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.
- A Lean library for machine-checked cryptographic proofs.☆139Updated this week
- The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.☆21Updated this week
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆14Sep 28, 2025Updated 10 months ago
- Noir support for Zed☆11Mar 23, 2026Updated 5 months ago
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆24Updated this week
- A Zig implementation of Poseidon2 hash function.☆19Nov 11, 2025Updated 9 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆53Updated this week