crossclaim / btcrelay-solView external linksLinks
BTCRelay re-implementation in Solidity
☆26Oct 2, 2019Updated 6 years ago
Alternatives and similar repositories for btcrelay-sol
Users that are interested in btcrelay-sol are comparing it to the libraries listed below
Sorting:
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆22Mar 25, 2024Updated last year
- utilities for Bitcoin SPV proof verification on (many!) other chains☆172Jan 6, 2023Updated 3 years ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- Bitcoin Light Client on Ethereum☆42Jun 21, 2024Updated last year
- ☆12Sep 26, 2024Updated last year
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- notes for community call for ZKML Community☆11Jan 18, 2023Updated 3 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/go-ethereum (Statediffing-fork of the official Go implementation of the Ethereum protocol)☆14May 1, 2024Updated last year
- Cross-chain relays :)☆55Dec 12, 2022Updated 3 years ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Nov 21, 2021Updated 4 years ago
- AZTEC protocol specification☆31Feb 12, 2020Updated 6 years ago
- Solidity library to parse raw Bitcoin transaction bytes☆33May 7, 2017Updated 8 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- The smart contracts and client behind the Keep ECDSA client☆59May 22, 2023Updated 2 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 3 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Aug 27, 2024Updated last year
- Memory access with runtime typechecking in Solidity☆76Apr 19, 2023Updated 2 years ago
- Open-participation projects for Harmony☆16Aug 18, 2021Updated 4 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆186Jan 11, 2023Updated 3 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- ☆42Jul 8, 2024Updated last year
- Command line tool to send EIP-1559 transactions to Ethereum clients.☆19Jul 6, 2022Updated 3 years ago
- ☆23Mar 4, 2023Updated 2 years ago
- Simplified ed25519 BIP32 derivations☆27Aug 15, 2023Updated 2 years ago
- ☆50Mar 7, 2024Updated last year
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- A minimal reimplementation of Tendermint in Rust☆25Jun 9, 2025Updated 8 months ago
- ☆22Dec 19, 2024Updated last year
- Fully Homomorphic Encryption library☆25Mar 25, 2020Updated 5 years ago
- Refactor your solidity 0.4.X contracts to work with solidity 0.5.X☆25Jan 17, 2019Updated 7 years ago
- LazyLedger academic prototype☆50Jun 26, 2020Updated 5 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60May 19, 2023Updated 2 years ago
- Public working documents (e.g., Internet drafts)☆26Jun 8, 2018Updated 7 years ago
- Specification of the RenVM MPC algorithm☆19May 27, 2020Updated 5 years ago
- A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540☆22Mar 18, 2022Updated 3 years ago
- ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2☆21Oct 23, 2023Updated 2 years ago
- A Golang implementation of Bitcoin☆44Apr 7, 2022Updated 3 years ago