☆10Aug 12, 2026Updated 2 months ago
Alternatives and similar repositories for proving-utils
Users that are interested in proving-utils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nostr x STARKs exploration project.☆12Apr 17, 2025Updated last year
- Groth16 wrapper for STWO proof-system☆12Jan 19, 2026Updated 9 months ago
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆26Nov 24, 2025Updated 11 months ago
- FRI Extended for Data Availability: a FRI-based Data Availability Sampling library, written in Rust.☆16May 12, 2025Updated last year
- A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.☆13Apr 7, 2026Updated 6 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.
- ☆13Mar 6, 2023Updated 3 years ago
- A curated list of awesome projects using STWO.☆38Jun 27, 2025Updated last year
- Tutorial: deploy privacy preserving application on Ztarknet☆19Nov 20, 2025Updated 11 months ago
- Integration of IBC with Starknet☆20Sep 16, 2025Updated last year
- ☆15May 27, 2025Updated last year
- Powering Verifiable Computation for Nostr Data Vending Machines.☆26Jul 28, 2026Updated 3 months ago
- Starknet SDK for seamless wallet integration☆108Sep 23, 2026Updated last month
- Starknet contract storage dumper☆13Aug 22, 2023Updated 3 years ago
- Starknet-based L2 on ZCash☆22Dec 15, 2025Updated 10 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.
- Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.☆13Sep 18, 2024Updated 2 years ago
- ☆11May 17, 2025Updated last year
- ☆73Updated this week
- JsonWebToken implementation for cairo-lang http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html☆13May 30, 2022Updated 4 years ago
- ☆30Oct 8, 2024Updated 2 years ago
- A developer oriented and stateless explorer for Starknet.☆14Apr 22, 2026Updated 6 months ago
- Proving System For VEX☆14Nov 17, 2025Updated 11 months ago
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆19Apr 24, 2026Updated 6 months ago
- RISC-V ELF interpreter in cairo☆37Oct 18, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆286Oct 1, 2026Updated last month
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 3 years ago
- A comprehensive transaction MPT proofs handler for Ethereum / Starknet☆12Oct 14, 2025Updated last year
- ☆16Jan 10, 2025Updated last year
- STARK-based signature aggregation for Falcon and SPHINCS+☆16Mar 23, 2026Updated 7 months ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 3 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 4 years 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.
- Adapt your STARK stone proofs for verifications on Ethereum☆18Oct 2, 2024Updated 2 years ago
- STARK book☆21Sep 25, 2024Updated 2 years ago
- ☆20Updated this week
- Falcon signature and its ZKP extensions☆23Jul 5, 2022Updated 4 years ago
- STARK verifier written in SimplicityHL language☆19Sep 25, 2025Updated last year
- Curated list of projects using Starkzap☆51Mar 24, 2026Updated 7 months ago
- A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.☆38Oct 9, 2025Updated last year