chainwayxyz / bitcoin-da
Bitcoin DA Adapter for Sovereign SDK
β46Updated last year
Alternatives and similar repositories for bitcoin-da
Users that are interested in bitcoin-da are comparing it to the libraries listed below
Sorting:
- BitVM Groth16 Verifier Toolkit - WIPβ77Updated 10 months ago
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. π¦π§ββοΈβ39Updated last year
- Citrea's BitVM Based Trust-Minimized Two-Way Peg Programβ79Updated this week
- Experimental draft implementation of BitVMβ42Updated last year
- Bitcoin as a Data Availability layerβ60Updated 3 months ago
- A Cryptographic Library for Smooth Blockchain usesβ73Updated 4 months ago
- β21Updated 9 months ago
- zkLocus is an application, a framework, and protocol that enables private and programmable geolocation sharing both off-chain and on-chaiβ¦β43Updated 11 months ago
- β58Updated 6 months ago
- β30Updated this week
- β17Updated 10 months ago
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.β45Updated 2 months ago
- β23Updated last year
- A template for creating a UniRep attester.β23Updated last year
- β42Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.β81Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.β59Updated 9 months ago
- Smart contracts for onchain verification of SP1.β89Updated last week
- ZKM Development Template/Frameworkβ25Updated last week
- Cosmos SDK Module for Celestia DAβ52Updated 8 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereumβ91Updated last month
- Validity rollup resourcesβ102Updated 9 months ago
- Documentation for Rollkit - a modular framework for rollups.β37Updated last week
- π¦ UniswapV3 fork that computes swaps off-chain via a zkVMβ84Updated last year
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiersβ42Updated last year
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier πΊ-πΊβ21Updated 10 months ago
- Llama is an onchain governance and access control framework for smart contracts.β48Updated 8 months ago
- β20Updated 4 months ago
- Consensus nodes performing in unison!β32Updated 10 months ago
- Public releases for the Valida toolchainβ19Updated 2 months ago