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:
- Low-level language for encoding AIR of computations☆38Updated 2 years ago
- Arithmetic and polynomial operations in finite fields.☆42Updated 3 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- ☆23Updated 3 years ago
- Diffie-Hellman key exchange using the Ristretto255 group, in Rust.☆23Updated 3 years ago
- Decentralized monetary trust network☆32Updated 8 years ago
- ☆21Updated 5 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- An experimental Substrate implementation of the Radicle Registry 📒☆33Updated 5 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- Moved discussion notes to https://github.com/libp2p/notes☆21Updated 5 years ago
- Argument systems for inner pairing products☆43Updated last year
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- This repository compiles the work that the BSC team does on Eth2.0.☆13Updated 3 years ago
- Codex durability engine research☆36Updated 3 months ago
- BLST-Verification☆23Updated 11 months ago
- U2f implementation with threshold signatures☆16Updated 5 years ago
- EVM Bytecode Super Optimizer☆36Updated 5 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- 6.858 final project.☆18Updated 9 years ago
- Cross-chain atomic swap protocol between Monero and Ethereum☆14Updated 4 years ago
- ☆60Updated 8 years ago
- Grin transaction data corresponding to research on transaction linkability☆53Updated 6 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- Hackathon project for Snarky workshop.☆11Updated 6 years ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- Efficient multi-asset confidential transactions☆34Updated 6 years ago