Camilo-Mora / BitcoinLinks
Code used for the yearly calculations of CO2e from Bitcoin mining
☆19Updated 7 years ago
Alternatives and similar repositories for Bitcoin
Users that are interested in Bitcoin are comparing it to the libraries listed below
Sorting:
- ☆23Updated 2 years ago
- Bounds on divsteps iterations in safegcd☆54Updated last year
- Arithmetic and polynomial operations in finite fields.☆42Updated 2 years ago
- Decentralized monetary trust network☆32Updated 8 years ago
- Low-level language for encoding AIR of computations☆38Updated 2 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆33Updated 5 years ago
- Cryptographically provable database (i.e. an urkel tree)☆127Updated 2 years ago
- Grin transaction data corresponding to research on transaction linkability☆53Updated 5 years ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Updated 3 years ago
- Relay service for interactive transaction building for Grin / Mimblewimble☆50Updated last year
- Anonymous RSA signatures☆67Updated 3 months ago
- ☆21Updated 5 years ago
- A Formal Semantics of WebAssembly in K☆83Updated last week
- Moved discussion notes to https://github.com/libp2p/notes☆21Updated 5 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 8 years ago
- This repository compiles the work that the BSC team does on Eth2.0.☆13Updated 2 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- List of available reputation systems and aggregation algorithms☆22Updated 7 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- Fast additive accumulators☆14Updated 4 years ago
- A consensus-compatible Zcash node client written in Rust. 🦓☆81Updated 3 years ago
- Bamboo: a morphing smart contract language☆37Updated 6 years ago
- Proof-of-Reserves tool for Bitcoin☆50Updated last year
- Zero-knowledge layer-2 payment channels☆23Updated 2 years ago
- The code has been moved to a new repository:☆30Updated 6 years ago
- A minimal RedJubjub implementation for use in Zebra.☆29Updated last month
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- Fully Homomorphic Encryption library☆25Updated 5 years ago
- Sputnik is an assembly language and interpreter for Fully Homomorphic Encryption☆27Updated 7 years ago