bmancini55 / bitcoin-ecc
Bitcoin ECC. Playing with ECDSA and Schnorr
☆10Updated 2 years ago
Related projects: ⓘ
- A Cairo VM prover implemented using Winterfell☆17Updated last year
- ☆12Updated this week
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 weeks ago
- A repository for the Leela VS the World project for On-Chain machine learning☆17Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- ☆18Updated 5 months ago
- ☆28Updated 9 months ago
- ☆21Updated 2 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆57Updated last year
- ☆19Updated 2 years ago
- An example Metamask Snap that manages user passwords☆33Updated last year
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆18Updated 2 months ago
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆14Updated last week
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆12Updated 2 years ago
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️☆39Updated 10 months ago
- ☆38Updated last year
- ☆11Updated last year
- Ethereum contracts supporting TACo applications on the Threshold Network.☆16Updated last week
- Curdleproofs is a zero-knowledge shuffle argument☆68Updated 11 months ago
- ☆21Updated last year
- zkSNARK circuits for the Telepathy protocol☆49Updated last year
- Arithmetic over the M31 or BabyBear field in Bitcoin Script☆25Updated last month
- Experimental draft implementation of BitVM☆36Updated 6 months ago
- CLI utility that broadcasts BTC, ETH, SOL, ZEC & XMR transactions through TOR using public block explorers☆68Updated 8 months ago
- ☆13Updated 2 years ago
- Solidity verifier for Plonk☆41Updated last month
- Delve into low-level RISC Zero machine☆27Updated 8 months ago
- Assembly implementation of EIP-4788 system contract.☆21Updated last month
- Remote Attestation VErification☆22Updated last month
- Bitcoin as a Data Availability layer☆59Updated this week