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☆53Updated 10 months ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Arithmetic and polynomial operations in finite fields.☆40Updated 2 years ago
- Low-level language for encoding AIR of computations☆37Updated 2 years ago
- A Formal Semantics of WebAssembly in K☆82Updated last week
- An experimental Substrate implementation of the Radicle Registry 📒☆34Updated 5 years ago
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Updated 3 years ago
- ☆25Updated 2 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Diffie-Hellman key exchange using the Ristretto255 group, in Rust.☆21Updated 2 years ago
- A minimal RedJubjub implementation for use in Zebra.☆28Updated 3 months ago
- Codex durability engine research☆35Updated 3 months ago
- Argument systems for inner pairing products☆42Updated last year
- 6.858 final project.☆18Updated 9 years ago
- A BibTeX collection on Zero-Knowledge Proofs☆16Updated 6 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- Zerocaf: A library built for EC operations in Zero Knowledge.☆53Updated 3 years ago
- Zero-knowledge layer-2 payment channels☆23Updated 2 years ago
- A consensus-compatible Zcash node client written in Rust. 🦓☆81Updated 3 years ago
- ☆20Updated 4 years ago
- This repository compiles the work that the BSC team does on Eth2.0.☆13Updated 2 years ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Client for the TLSNotary protocol (Chromium extension).☆5Updated 2 years ago
- ECDSA based construction for Anonymous Multi-Hop Locks (https://eprint.iacr.org/2018/472.pdf)☆44Updated 2 years ago
- The modular protocol framework based on Universal Composability☆19Updated 5 years ago
- EVM Bytecode Super Optimizer☆36Updated 4 years ago
- The code has been moved to a new repository:☆30Updated 6 years ago
- ☆20Updated 7 years ago