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
- A low-level bitcoin library written in standard C.☆118Updated 9 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Updated 7 years ago
- Equihash solver port from C++ to C for Zcash☆33Updated 7 years ago
- SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions☆38Updated 2 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated 10 months ago
- An Nvidia-based miner for the Protoshares (PTS) cryptocurrency☆38Updated 11 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Nayuki's implementation of cryptographic primitives used in Bitcoin.☆144Updated 3 years ago
- The proof-of-work algorithm for Zcash☆83Updated 7 years ago
- Equihash: memory-hard PoW with fast verification☆133Updated 8 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Deterministic execution virtual machine sandbox for Moxie arch☆74Updated 5 years ago
- A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 ca…☆36Updated 7 years ago
- A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren☆58Updated 3 years ago
- Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields☆43Updated 6 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆73Updated 2 months ago
- Revectorization passes integrated into the LLVM compiler infrastructure☆31Updated 6 years ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- General number field sieve for python☆18Updated 9 years ago
- Program for finding low gate count implementations of S-boxes.☆40Updated 8 months ago
- The probSAT SAT Solver☆23Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"☆99Updated 8 years ago
- A tiny implementation of SHA-3, SHAKE, Keccak, and sha3sum☆103Updated 4 years ago
- A Free World Class High Performance SAT Solver☆20Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago