capiman / sha256-sat-bitcoin

Related projects ⓘ

Alternatives and complementary repositories for sha256-sat-bitcoin

• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 2 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆83Updated 2 years ago
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago
• czielinski / secmultipartycomp
  Introduction to Secure Multi-Party Computations
  ☆16Updated 6 years ago
• johndoe31415 / toyecc
  Elliptic Curve Cryptography playground/toolkit written in pure Python
  ☆66Updated last year
• inmcm / kravatte
  Implementation of Kravatte Encryption Suite
  ☆15Updated 5 years ago
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆41Updated 4 years ago
• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆60Updated 5 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆40Updated last year
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆17Updated 8 months ago
• KeccakTeam / Xoodoo
  ☆32Updated 2 years ago
• henrycg / balloon
  A memory-hard password hashing function.
  ☆68Updated last year
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 6 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated last month
• defeo / ss-isogeny-software
  Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"
  ☆90Updated 5 years ago
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆44Updated 9 years ago
• crocs-muni / classifyRSAkey
  ☆12Updated 4 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• shadow / shadow-plugin-bitcoin
  A Shadow plug-in that runs the Bitcoin Satoshi reference software
  ☆25Updated 4 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆22Updated 2 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 8 years ago
• Pythia3431 / Delphinium
  ☆11Updated 4 years ago
• Electric-Coin-Company / jubjub-prototype
  ☆58Updated 7 years ago
• hannob / pgpecosystem
  Scripts to parse and analyze pgp key server data
  ☆32Updated 4 years ago
• Yawning / kyber
  Mirror of my Go Kyber implementation.
  ☆15Updated 6 years ago
• claimchain / claimchain-core
  A core and experimental implementation of ClaimChain
  ☆34Updated 6 years ago
• uvasrg / FastGC
  ☆9Updated 11 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• cpeikert / CollimationSieve
  Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.
  ☆14Updated 5 years ago