In this repo I implement a stark prover for learning purposes
☆14May 22, 2025Updated last year
Alternatives and similar repositories for mini-stark
Users that are interested in mini-stark are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Apr 22, 2025Updated last year
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- Groth16 zkSNARK implementation in Julia - modular zero-knowledge proof system built from scratch for learning and research. Prove everyth…☆17May 12, 2026Updated 5 months ago
- bottom text☆16Jan 26, 2024Updated 2 years ago
- Fast UltraGroth prover written in C++ based on rapidsnark, that generates proofs for circuits created with circom and snarkjs.☆10Nov 25, 2025Updated 11 months 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.
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆15Aug 13, 2025Updated last year
- Zero-Knowledge Proof of Exploit☆45Jan 6, 2026Updated 10 months ago
- WebGPU MSM implementation☆15Oct 28, 2025Updated last year
- ☆20Updated this week
- ☆12Sep 8, 2025Updated last year
- ☆15Oct 19, 2024Updated 2 years ago
- gnark is a fast, open-source library for zero-knowledge proof protocols written in Go.☆12Updated this week
- Noir circuit that verifies Openbanking payments☆12Jun 7, 2025Updated last year
- A zero-knowledge protocol for anonymous interactions.☆13Aug 27, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Redirect Infura requests to your own node☆15Nov 29, 2022Updated 3 years ago
- stone-cli is a CLI for proving and verifying Cairo programs.☆27Aug 7, 2025Updated last year
- Introductory lecture notes on programmable cryptography☆137Sep 24, 2025Updated last year
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆34Dec 19, 2024Updated last year
- Noir, Circom, and Halo2 exercises for DSL workshop at ZKSummit10☆13Sep 21, 2023Updated 3 years ago
- Circom to Gnark Groth16 parser and recursion example☆18Aug 28, 2026Updated 2 months ago
- A Language Server Protocol Implementation for Circom☆34Jun 3, 2023Updated 3 years ago
- Performant post-quantum client-side ZK-SNARK☆17Oct 22, 2026Updated 2 weeks ago
- Tor in JS. Powered by Arti.☆22Oct 29, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆57Apr 7, 2025Updated last year
- Client-side proving benchmarks☆23Oct 31, 2026Updated last week
- Arena-based memory allocator with per-thread caches and fixed size classes.☆12Aug 4, 2026Updated 3 months ago
- a zig sdk that allows your code to run in a zkvm☆16Sep 11, 2026Updated last month
- A monorepo for vOPRF-based secure nullifiers☆24Apr 13, 2025Updated last year
- ☆22Aug 23, 2024Updated 2 years ago
- ☆14Apr 14, 2025Updated last year
- ☆34Mar 27, 2024Updated 2 years ago
- ☆35Sep 11, 2023Updated 3 years 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.
- ☆52Oct 10, 2023Updated 3 years ago
- A browser-focused Tor client written in Rust and compiled to WebAssembly (WASM)☆26Updated this week
- Workbook for Introduction to Programmable Cryptography☆34May 3, 2025Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆94Mar 3, 2025Updated last year
- ☆26Apr 15, 2025Updated last year
- 🪩 verify plonky3 proofs in plonky2☆20Mar 28, 2024Updated 2 years ago