jheusser / satcoinLinks
SAT-based Bitcoin Mining
☆87Updated 3 years ago
Alternatives and similar repositories for satcoin
Users that are interested in satcoin are comparing it to the libraries listed below
Sorting:
- SAT instance generator for SHA-1☆49Updated 4 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…☆25Updated 2 years ago
- Equihash solver port from C++ to C for Zcash☆33Updated 7 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated 9 months ago
- Equihash: memory-hard PoW with fast verification☆133Updated 8 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- An Nvidia-based miner for the Protoshares (PTS) cryptocurrency☆38Updated 11 years ago
- The proof-of-work algorithm for Zcash☆83Updated 7 years ago
- A low-level bitcoin library written in standard C.☆118Updated 9 years ago
- Dimacs CNF utilities☆20Updated 14 years ago
- The probSAT SAT Solver☆22Updated 2 years ago
- SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions☆38Updated 2 years ago
- Frobenius Additive Fourier Transform☆13Updated 4 months ago
- Implements an encryptable machine (shapeCPU Java)☆11Updated 9 years ago
- Library for creation of SAT instances.☆21Updated 2 years ago
- Optimized implementations of Poly1305, a fast message-authentication-code☆45Updated 10 years ago
- a C++ embedded domain specific language for zero knowledge proofs☆59Updated 8 years ago
- SHA256-SAT-BITCOIN☆24Updated 9 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆71Updated 2 months ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Unison's source code☆107Updated last year
- Fast Riecoin mining, explanation, and analysis☆20Updated 7 years ago
- Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields☆43Updated 6 years ago
- Zerocoin: C++ lib for anonymous extension to bitcoin☆177Updated 5 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago
- metamath proof enumerators and other things☆93Updated 10 months ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 3 years ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago