Bitcoin protocol implementation in Zig.
β69Oct 7, 2024Updated last year
Alternatives and similar repositories for btczee
Users that are interested in btczee are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Libraries and primitives for Bitcoin, written in Zig.β19Sep 18, 2024Updated last year
- π₯₯ Cashu wallet and mint implementation in Zigβ31Oct 7, 2024Updated last year
- Adapt your STARK stone proofs for verifications on Ethereumβ17Oct 2, 2024Updated last year
- β71Updated this week
- Nostr x STARKs exploration project.β11Apr 17, 2025Updated last year
- 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.
- Cairo-VM STONE STARK Verifier Rust implementationβ44Feb 4, 2025Updated last year
- A library to generate bindings from Cairo ABI.β52Feb 17, 2026Updated 3 months ago
- β10Oct 24, 2022Updated 3 years ago
- An API compatible port of the Stone prover.β20Nov 4, 2024Updated last year
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1β23May 4, 2023Updated 3 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.β60Aug 5, 2024Updated last year
- Signet ecosystem cratesβ25Updated this week
- Cryptography for Ethereum Verkle Treesβ42Jun 14, 2024Updated last year
- β‘ Cairo VM in Zig β‘β86Aug 20, 2024Updated last year
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- NFT Dynamic Traitsβ10May 23, 2024Updated 2 years ago
- A EVM block proving backend in Cairoβ90Mar 30, 2026Updated last month
- RISC-V ELF interpreter in cairoβ37Oct 18, 2024Updated last year
- A Codespace repo for ECON 235 & LB 235β27Jan 30, 2025Updated last year
- Web app for experimenting with Cairo, Sierra and CASM, with step-by-step debugging.β32May 6, 2025Updated last year
- A Bitcoin light client with minimal dependencies written in Zigβ18Mar 11, 2026Updated 2 months ago
- A robust regtest environment with electrum, esplora, CBF, a block explorer and more using Podman containers.β14Mar 2, 2026Updated 2 months ago
- An observatory fork of SP1β77Feb 11, 2025Updated last year
- β14Jan 16, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available β’ AdRun AI, ML, and HPC workloads on powerful cloud GPUsβwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Starknet sequencer built with Tendermint Coreβ52Apr 3, 2023Updated 3 years ago
- Bitcoin ZK client written in Cairo.β115Dec 1, 2025Updated 5 months ago
- β11Apr 2, 2026Updated last month
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.β278Updated this week
- β20Nov 3, 2025Updated 6 months ago
- Mozak RISC-V Virtual Machineβ24Mar 24, 2025Updated last year
- β13Feb 16, 2025Updated last year
- Building blocks of a Circle STARK verifier in Bitcoin scriptβ160Dec 3, 2025Updated 5 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereumβ97Nov 6, 2025Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Powering Verifiable Computation for Nostr Data Vending Machines.β25Dec 4, 2024Updated last year
- Blocktime estimator in Rustβ34Aug 10, 2023Updated 2 years ago
- miden zkCLOBβ31Jan 21, 2026Updated 4 months ago
- Cashu Mint, written in Elixir.β17Nov 12, 2024Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.β13Jul 2, 2025Updated 10 months ago
- β13Mar 6, 2023Updated 3 years ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.β135Updated this week