jheusser / satcoin
SAT-based Bitcoin Mining
☆81Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for satcoin
- SAT instance generator for SHA-1☆47Updated 3 years ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Updated 6 years ago
- A low-level bitcoin library written in standard C.☆118Updated 8 years ago
- An Nvidia-based miner for the Protoshares (PTS) cryptocurrency☆38Updated 10 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆23Updated last year
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆26Updated 2 months ago
- Equihash solver port from C++ to C for Zcash☆32Updated 7 years ago
- Haraka is a secure and efficient short-input hash function.☆51Updated 7 years ago
- Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"☆99Updated 7 years ago
- Optimized implementations of Poly1305, a fast message-authentication-code☆44Updated 9 years ago
- Optimized block functions for the ChaCha stream cipher☆47Updated 4 years ago
- SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions☆36Updated last year
- C++11 library for many-sorted logics☆39Updated 7 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 5 years ago
- Zerocoin: C++ lib for anonymous extension to bitcoin☆177Updated 4 years ago
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆21Updated 7 years ago
- Library for creation of SAT instances.☆17Updated 2 years ago
- Deterministic execution virtual machine sandbox for Moxie arch☆74Updated 4 years ago
- The proof-of-work algorithm for Zcash☆82Updated 6 years ago
- Xoocycle, a C90 implementation of the Xoodyak hash and AEAD construction☆10Updated 5 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆57Updated 2 years ago
- Equihash: memory-hard PoW with fast verification☆127Updated 8 years ago
- ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling …☆74Updated 6 years ago
- SHA256-SAT-BITCOIN☆24Updated 8 years ago
- A modified version of Robert G. Brown's "dieharder" tests for random number generators.☆48Updated 4 years ago
- SHA-3 finalist (reference code)☆39Updated 10 years ago
- The BERI and CHERI processor and hardware platform☆46Updated 7 years ago
- C library to compute the Hamming weight of arrays☆44Updated 5 years ago