jheusser / satcoin

Related projects ⓘ

Alternatives and complementary repositories for satcoin

• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆52Updated 7 years ago
• aabc / equihash-zcash-c
  Equihash solver port from C++ to C for Zcash
  ☆32Updated 7 years ago
• khovratovich / equihash
  Equihash: memory-hard PoW with fast verification
  ☆127Updated 8 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…
  ☆23Updated last year
• jgarzik / moxiebox
  Deterministic execution virtual machine sandbox for Moxie arch
  ☆74Updated 4 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 6 years ago
• dave-andersen / cudapts
  An Nvidia-based miner for the Protoshares (PTS) cryptocurrency
  ☆38Updated 10 years ago
• fast-crypto-lab / Frobenius_AFFT
  Frobenius Additive Fourier Transform
  ☆12Updated 6 years ago
• floodyberry / poly1305-opt
  Optimized implementations of Poly1305, a fast message-authentication-code
  ☆44Updated 9 years ago
• tromp / equihash
  multi-parameter Equihash proof-of-work multi-threaded C solvers
  ☆151Updated 4 years ago
• xenoncat / equihash-xenon
  ☆84Updated 7 years ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆27Updated 3 months ago
• floodyberry / supercop
  Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"
  ☆99Updated 7 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• floodyberry / chacha-opt
  Optimized block functions for the ChaCha stream cipher
  ☆47Updated 4 years ago
• jancarlsson / snarkfront
  a C++ embedded domain specific language for zero knowledge proofs
  ☆58Updated 7 years ago
• MatthewLM / cbitcoin
  A low-level bitcoin library written in standard C.
  ☆118Updated 8 years ago
• mjosaarinen / blzzrd
  Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme
  ☆15Updated 8 years ago
• morpav / zceq_solver
  CPU solver for Zcash's variant of Equihash problem
  ☆22Updated 7 years ago
• vegard / cnf-utils
  Dimacs CNF utilities
  ☆20Updated 13 years ago
• veorq / BLAKE
  SHA-3 finalist (reference code)
  ☆39Updated 10 years ago
• davidjaenson / equihash
  ☆24Updated 7 years ago
• ZcashFoundation / GrantProposals-2017Q4
  Submission site for Zcash Foundation grant proposals
  ☆25Updated 6 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆57Updated 2 years ago
• nayuki / Bitcoin-Cryptography-Library
  Nayuki's implementation of cryptographic primitives used in Bitcoin.
  ☆136Updated 3 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 9 years ago
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆90Updated 5 years ago