jheusser / satcoinLinks
SAT-based Bitcoin Mining
☆89Updated 4 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
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆31Updated last year
- 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
- Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C☆63Updated 7 years ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated 2 years ago
- Haraka is a secure and efficient short-input hash function.☆59Updated 8 years ago
- SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions☆39Updated 3 years ago
- Equihash solver port from C++ to C for Zcash☆33Updated 8 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- Zerocoin: C++ lib for anonymous extension to bitcoin☆177Updated 5 years ago
- C++11 library for many-sorted logics☆39Updated 9 years ago
- Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields☆43Updated 6 years ago
- Equihash: memory-hard PoW with fast verification☆137Updated 9 years ago
- Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"☆104Updated 8 years ago
- A low-level bitcoin library written in standard C.☆120Updated 9 years ago
- Dimacs CNF utilities☆20Updated 15 years ago
- Nayuki's implementation of cryptographic primitives used in Bitcoin.☆147Updated 4 years ago
- ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for compiling …☆75Updated 8 years ago
- How fast can we brute force a 64-bit comparison?☆54Updated 6 years ago
- Optimized block functions for the ChaCha stream cipher☆52Updated 6 years ago
- C Implementation of NTRUEncrypt☆216Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- The proof-of-work algorithm for Zcash☆83Updated 8 years ago
- Optimized implementations of Poly1305, a fast message-authentication-code☆47Updated 10 years ago
- s-expression → internal IR → LLVM IR☆47Updated 10 years ago
- Refu language☆21Updated 4 years ago
- CPU solver for Zcash's variant of Equihash problem☆22Updated 9 years ago
- SHA256-SAT-BITCOIN☆24Updated 9 years ago
- HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents☆18Updated 7 years ago