A bytecode format for zero-knowledge proof generation
☆49Jul 19, 2026Updated 3 months ago
Alternatives and similar repositories for open-zkvm
Users that are interested in open-zkvm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof…☆18Dec 30, 2025Updated 10 months ago
- High-performance TLS/DTLS/QUIC library in 100% safe Rust☆77Nov 19, 2025Updated 11 months ago
- Gausian - Rust-based local video editor for AI video production☆1,017Jul 1, 2026Updated 3 months ago
- DOI: https://doi.org/10.24294/fsj.v6i2.2931☆30Feb 26, 2026Updated 8 months ago
- ☆22May 6, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- High-performance Ethereum vanity address generator☆52Nov 26, 2025Updated 11 months ago
- AI dev that actually gets things done☆30Jul 23, 2026Updated 3 months ago
- Scam intelligence, phishing attribution, drainer mapping. Legal OSINT only. Public data. Real cases. For researchers and victims.☆285Updated this week
- ☆156Dec 3, 2025Updated 10 months ago
- Go SDK for Invoice Ninja API - payments, invoices, clients, webhooks with retry & rate limiting☆50Sep 14, 2026Updated last month
- 4D World Model for Autonomous Driving☆62Nov 29, 2025Updated 11 months ago
- Open-source Solana dApp template with Anchor program, TypeScript client, and Next.js UI.☆286Nov 6, 2025Updated 11 months ago
- The Cryspen HACL Distribution☆18Apr 20, 2025Updated last year
- Native, fast AI usage tracking in the macOS menu bar — every provider, with multiple accounts per provider.☆22Oct 9, 2026Updated 3 weeks 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.
- Go bindings for llama.cpp: run GGUF LLMs in-process via cgo. Maintained fork of go-skynet/go-llama.cpp; real-model CI.☆49Oct 22, 2026Updated last week
- An IR lifting backend for Luau: for emitting semantically accurate readable Luau☆34Updated this week
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Serve an open model with vLLM and a Streamlit chat UI. An Azure VM runs the Kubernetes control plane, and a JarvisLabs GPU VM runs the mo…☆27Oct 20, 2026Updated last week
- A Comprehensive Event Sourcing & CQRS Toolkit for Go☆29Updated this week
- A self-hosted file sharing service, focused on privacy and ease of use.☆29Updated this week
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- ☆13Jan 23, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Sep 10, 2024Updated 2 years ago
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 6 months ago
- Zero Knowledge LANGuage in OCaml☆12Jul 15, 2024Updated 2 years ago
- INTMAX2 is a stateless Layer 2 protocol on Ethereum, combining privacy, speed, and true self-custody.☆12Jan 21, 2026Updated 9 months ago
- R1CS to Plonk transpiler☆11Jun 12, 2025Updated last year
- Formal verification tool for Noir programs using the Rocq system☆12May 28, 2025Updated last year
- ☆50Jul 8, 2026Updated 3 months ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 6 months ago
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 3 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- Wheel fitment visualizer for the Mazda Miata☆47Oct 21, 2026Updated last week
- ☆10May 14, 2026Updated 5 months ago
- ☆12Dec 4, 2021Updated 4 years ago
- OCaml ctypes bindings to llama.cpp☆16Jan 23, 2024Updated 2 years ago