Alternatives and similar repositories for satcoin

Users that are interested in satcoin are comparing it to the libraries listed below

• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• vsklad / cgen
  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
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆59Updated 8 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆31Updated last year
• MatthewLM / cbitcoin
  A low-level bitcoin library written in standard C.
  ☆119Updated 9 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• pdinges / python-schoof
  Python implementation of Schoof's algorithm for counting the points on elliptic curves over finite fields
  ☆43Updated 6 years ago
• jgarzik / moxiebox
  Deterministic execution virtual machine sandbox for Moxie arch
  ☆78Updated 5 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆89Updated 6 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆29Updated 6 years ago
• floodyberry / supercop
  Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"
  ☆103Updated 8 years ago
• mjosaarinen / tiny_sha3
  Very small, readable implementation of the SHA3 hash function.
  ☆224Updated 9 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 9 years ago
• trevphil / cryptosym
  SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
  ☆39Updated 3 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• NVlabs / xmp
  CUDA accelerated(X) Multi-Precision library
  ☆92Updated 9 years ago
• vscrypto / ringlwe
  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
• Zerocoin / libzerocoin
  Zerocoin: C++ lib for anonymous extension to bitcoin
  ☆177Updated 5 years ago
• mjosaarinen / hila5
  HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents
  ☆18Updated 7 years ago
• nayuki / Bitcoin-Cryptography-Library
  Nayuki's implementation of cryptographic primitives used in Bitcoin.
  ☆147Updated 4 years ago
• veorq / BLAKE
  SHA-3 finalist (reference code)
  ☆41Updated 11 years ago
• khovratovich / equihash
  Equihash: memory-hard PoW with fast verification
  ☆136Updated 9 years ago
• dave-andersen / cudapts
  An Nvidia-based miner for the Protoshares (PTS) cryptocurrency
  ☆38Updated 11 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 10 years ago
• str4d / zcash-pow
  The proof-of-work algorithm for Zcash
  ☆83Updated 8 years ago
• tbuktu / libntru
  C Implementation of NTRUEncrypt
  ☆216Updated 4 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• aabc / equihash-zcash-c
  Equihash solver port from C++ to C for Zcash
  ☆33Updated 8 years ago
• armfazh / flo-shani-aesni
  Performance Evaluation of SHA-256 using SHA New Instructions.
  ☆42Updated 7 months ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 6 months ago