bitlayer-org / BitVM-Research
Opensource code to replicate the whole process of BitVM white paper
☆29Updated last year
Alternatives and similar repositories for BitVM-Research:
Users that are interested in BitVM-Research are comparing it to the libraries listed below
- Experimental draft implementation of BitVM☆42Updated last year
- Citrea's BitVM Based Trust-Minimized Two-Way Peg Program☆77Updated this week
- Bitcoin as a Data Availability layer☆60Updated 2 months ago
- CosmWasm smart contracts for Babylon integration☆17Updated last week
- A curated list of resources around BitVM☆107Updated last week
- BitVM Groth16 Verifier Toolkit - WIP☆76Updated 9 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆98Updated this week
- EIP-4844 dev usage☆53Updated last week
- BitLayer layer 2 EVM client☆36Updated last week
- Building blocks of a Circle STARK verifier in Bitcoin script☆153Updated this week
- zkEVM proof generator reference written in Javascript☆81Updated last week
- Smart contracts for Greenfield and BSC Cross-Chain communication.☆27Updated 9 months ago
- A discussion forum where you can answer questions about bitcoin☆26Updated last year
- ☆21Updated 8 months ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆94Updated 2 weeks ago
- ☆68Updated 11 months ago
- BOB is a hybrid L2 that combines the security of Bitcoin with the versatility of Ethereum.☆103Updated this week
- Rust implementation of the Agglayer.☆98Updated this week
- The pioneer blockchain explorer dedicated to navigate and visualize shard blob transactions.☆90Updated last week
- Succinct's Production-Grade Proving Engine for the OP Stack☆154Updated this week
- ☆92Updated 4 months ago
- NEAR as data availability!☆51Updated last week
- Collecting the best learning materials for Stark, StarkNet, and Cairo to provide convenience for Chinese users so that they can participa…☆27Updated last year
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆74Updated this week
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆21Updated 9 months ago
- ☆21Updated last year
- ☆42Updated last year
- Template for zkGraph.☆19Updated last year
- The Optimism monorepo☆44Updated last week
- Solve the fully decentralized cross-chain between any chain.☆36Updated 2 years ago