A STARK proof of Bitcoin's header chain
☆42Apr 29, 2024Updated 2 years ago
Alternatives and similar repositories for header_chain
Users that are interested in header_chain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Computes SHA256 of arbitrary length inputs.☆15Nov 2, 2022Updated 3 years ago
- Bitcoin-Powered Jukebox - An Ongoing Auction for the Next Song☆13Aug 11, 2026Updated 3 weeks ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 3 years ago
- ☆46Sep 20, 2024Updated last year
- A STARK proof to sync a Bitcoin full node in an instant.☆449Jul 13, 2026Updated last month
- 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.
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- Integrating Stone Prover's generated proofs with the Cairo0 verifier☆10Mar 8, 2024Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 3 years ago
- STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.☆53Sep 12, 2022Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- What are the limits of Bitcoin Script?☆50Jan 14, 2026Updated 7 months ago
- ☆15Feb 14, 2024Updated 2 years 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.
- ☆41Sep 23, 2022Updated 3 years ago
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Feb 8, 2023Updated 3 years ago
- Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo☆15Dec 8, 2023Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 4 years ago
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 4 years ago
- a spacechain on signet with anyprevout☆49Apr 27, 2023Updated 3 years ago
- Generate zero-knowledge proofs of valid RSA signatures from your browser.☆15Feb 23, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆30Feb 2, 2023Updated 3 years ago
- A STARK-based VM focused on code reuse, performance, and modularity☆345Apr 27, 2026Updated 4 months ago
- A lightweight documentation generator for Starknet Cairo smart contracts☆11Mar 12, 2024Updated 2 years ago
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆122Jan 29, 2025Updated last year
- Cashu Protocol ZK engine. Blind Diffie-Hellmann Key Exchange (BDHKE) implementation in Cairo.☆13Sep 18, 2024Updated last year
- ☆35Aug 4, 2023Updated 3 years ago
- ☆19Apr 1, 2024Updated 2 years ago
- A tool for increasing the off-by-one bug in ordinal explorers☆65May 5, 2023Updated 3 years ago
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆382Nov 19, 2024Updated last year
- 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.
- ☆11Oct 20, 2024Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆42Sep 7, 2024Updated last year
- Reddit's r/thebutton but with sats... Last one to pay when the timer hits zero wins. Paying resets the timer.☆11Apr 20, 2026Updated 4 months ago
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Jun 20, 2025Updated last year
- ☆10Sep 8, 2023Updated 2 years ago
- Base64 encode felts☆16Oct 8, 2022Updated 3 years ago
- Bitcoin Script interpreter implemented in Rust☆54Dec 11, 2025Updated 8 months ago