capiman / sha256-sat-bitcoinLinks
SHA256-SAT-BITCOIN
☆24Updated 9 years ago
Alternatives and similar repositories for sha256-sat-bitcoin
Users that are interested in sha256-sat-bitcoin are comparing it to the libraries listed below
Sorting:
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Successor to PolyBoRi☆20Updated last month
- Implements an encryptable machine (shapeCPU Java)☆11Updated 9 years ago
- SAT-based Bitcoin Mining☆87Updated 3 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated this week
- A research platform and active library for generalised SAT solving☆32Updated 2 weeks ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- Bounds on divsteps iterations in safegcd☆54Updated 8 months ago
- Dimacs CNF utilities☆20Updated 14 years ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆14Updated 6 years ago
- Grain of Salt equation generator☆16Updated 3 years ago
- Tool to automatically search for linear characteristics☆39Updated 9 years ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- Introduction to Secure Multi-Party Computations☆16Updated 6 years ago
- Analysis and generation of substitutions☆23Updated 3 years ago
- ☆12Updated 4 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆28Updated 5 years ago
- GPL Number Field Sieve implementation☆35Updated 14 years ago
- BLISS: Bimodal Lattice Signature Schemes☆26Updated 4 years ago
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆32Updated 3 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆73Updated 2 months ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆28Updated 7 years ago
- library for implementing the server side of the mix network: mixes and providers☆26Updated 2 years ago
- An implementation for fair auditing and contingent payments in Bitcoin☆23Updated 7 years ago
- SRI Sally: A model checker for infinite-state systems.☆74Updated this week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- CNF minimizer and minimal independent set minimizer☆19Updated last week
- Fault attack agaisnt EdDSA demonstrated on an Arduino Nano board, allowing for partial key recovery and fake signatures.☆72Updated 7 years ago
- CADO-NFS is a complete implementation in C/C++ of the Number Field Sieve (NFS) algorithm for factoring integers. For official releases, p…☆26Updated 5 years ago