Alternatives and similar repositories for sha256-sat-bitcoin

Users that are interested in sha256-sat-bitcoin are comparing it to the libraries listed below

• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 years ago
• sipa / safegcd-bounds
  Bounds on divsteps iterations in safegcd
  ☆54Updated last year
• kudelskisecurity / EdDSA-fault-attack
  Fault attack agaisnt EdDSA demonstrated on an Arduino Nano board, allowing for partial key recovery and fake signatures.
  ☆73Updated 8 years ago
• Chair-for-Security-Engineering / ecmongpu
  ECM Factorization on CUDA-GPUs
  ☆13Updated 5 years ago
• czielinski / secmultipartycomp
  Introduction to Secure Multi-Party Computations
  ☆16Updated 6 years ago
• shadow / shadow-plugin-bitcoin
  A Shadow plug-in that runs the Bitcoin Satoshi reference software
  ☆25Updated 5 years ago
• crocs-muni / classifyRSAkey
  ☆12Updated 5 years ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 9 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆58Updated 8 years ago
• okazymyrov / sbox
  Analysis and generation of substitutions
  ☆25Updated 3 weeks ago
• aceat64 / bitcoin_aprs
  Proof of concept for sending a bitcoin transaction via the APRS network
  ☆13Updated 8 years ago
• hbhdytf / PinSketch
  Implementation of algorithms from the paper Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data
  ☆14Updated 11 years ago
• onechip / dlog-nfs
  Solve discrete logarithm problems by the number field sieve method.
  ☆19Updated 8 years ago
• catid / snowshoe
  Snowshoe - Portable, Secure, Fast Elliptic Curve Math Library in C
  ☆63Updated 7 years ago
• FiloSottile / blockchainr
  Exploiting ECDSA Failures in the Bitcoin Blockchain
  ☆63Updated 11 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• LaurenDM / AttackAESCTR
  ☆20Updated 5 years ago
• bogdan-kulynych / libshe
  Symmetric somewhat homomorphic encryption library based on DGHV
  ☆27Updated 8 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 4 months ago
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 3 years ago
• radii / ggnfs
  GPL Number Field Sieve implementation
  ☆36Updated 14 years ago
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆44Updated 10 years ago
• grondilu / libbitcoin-perl
  bitcoin perl library
  ☆20Updated last year
• crocs-muni / minerva
  Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020
  ☆31Updated 3 years ago
• mmeh / simon-speck-cryptanalysis
  Cryptanalysis code for the SIMON and SPECK families of block ciphers
  ☆20Updated 9 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
• 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
• floodyberry / supercop
  Mirror of SUPERCOP, the "System for Unified Performance Evaluation Related to Cryptographic Operations and Primitives"
  ☆102Updated 8 years ago
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆61Updated 3 years ago