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 3 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆33Updated 5 years ago
- Moved discussion notes to https://github.com/libp2p/notes☆21Updated 5 years ago
- Arithmetic and polynomial operations in finite fields.☆42Updated 2 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Low-level language for encoding AIR of computations☆38Updated 2 years ago
- Bounds on divsteps iterations in safegcd☆54Updated last year
- Decentralized monetary trust network☆32Updated 8 years ago
- A Formal Semantics of WebAssembly in K☆83Updated 2 weeks ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Diffie-Hellman key exchange using the Ristretto255 group, in Rust.☆23Updated 2 years ago
- Cryptographically provable database (i.e. an urkel tree)☆126Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- A collection about all things Diem (formerly Libra), Move & Facebook Zuckerbucks - Let's reinvent money with fast and cheap world-wide tr…☆62Updated 4 years ago
- A consensus-compatible Zcash node client written in Rust. 🦓☆81Updated 3 years ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- Relay service for interactive transaction building for Grin / Mimblewimble☆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
- Anonymous RSA signatures☆67Updated 3 months ago
- Compiler for BitML☆27Updated 3 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- ☆64Updated 6 years ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Bamboo: a morphing smart contract language☆37Updated 6 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- ☆25Updated 2 years ago