SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
☆39Dec 8, 2022Updated 3 years ago
Alternatives and similar repositories for cryptosym
Users that are interested in cryptosym are comparing it to the libraries listed below
Sorting:
- A Codespace repo for ECON 235 & LB 235☆27Jan 30, 2025Updated last year
- deepracer-for-codespaces is a starter repository from AI Castle School that lets you train AWS DeepRacer models right inside GitHub Codes…☆23Apr 26, 2025Updated 10 months ago
- Este projeto é fruto de um estudo pessoal sobre o algoritmo Secp256k1. O objetivo dele é conseguir obter, usando apenas os valores da cha…☆12Dec 7, 2022Updated 3 years ago
- Bitcoin and Altcoins Publickey subtracter☆54Jun 26, 2024Updated last year
- Brute-force the private key of a Bitcoin address☆55Apr 17, 2023Updated 2 years ago
- SAT-based Bitcoin Mining☆89Jan 20, 2022Updated 4 years ago
- Base58 to Ripemd160 converter☆12Mar 20, 2021Updated 4 years ago
- Pollard, kangaroo method, solving discrete logarithm problem (DLP) using pseudorandom walks, C99☆24Oct 10, 2019Updated 6 years ago
- Generate the address of many coins from the given private key☆27Apr 16, 2022Updated 3 years ago
- Shor's algorithm simulation using CUDA☆19Nov 10, 2019Updated 6 years ago
- ☆12Mar 31, 2024Updated last year
- 32 BTC Puzzle | BTC BruteForce Contest☆94Sep 13, 2024Updated last year
- Related address generator.☆30May 1, 2015Updated 10 years ago
- Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…☆16Dec 16, 2019Updated 6 years ago
- Vanitygen for ETH☆17Nov 16, 2023Updated 2 years ago
- This tool is able to construct the MILP model for some bit-oriented block ciphers. once you describe the block-cipher on it, you can do d…☆17Jul 18, 2019Updated 6 years ago
- var config = { name: 'KTN Bot', userid: function () { return toId(this.name); }, group: '@', join: true, …☆13Sep 29, 2015Updated 10 years ago
- ☆34May 20, 2021Updated 4 years ago
- Generate Bitcoin private key and Bitcoin address☆43Feb 17, 2026Updated last week
- ☆48Apr 16, 2022Updated 3 years ago
- Generate BTC address pair that share the same prefix☆84Jan 30, 2020Updated 6 years ago
- Run a desktop enviornment in GitHub codespaces☆10Jan 7, 2025Updated last year
- ☆16Apr 20, 2024Updated last year
- Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms☆32Jan 17, 2022Updated 4 years ago
- Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers☆24Dec 13, 2016Updated 9 years ago
- Bitcoin addresses bruteforce tool via GPU OpenCL☆62Jan 25, 2018Updated 8 years ago
- ☆17Jun 10, 2025Updated 8 months ago
- A fast and unsafe version of an optimized C library for EC operations on curve secp256k1☆26Sep 18, 2023Updated 2 years ago
- ☆28Jul 10, 2024Updated last year
- Entry to model counting competition 2021.☆24Jun 25, 2024Updated last year
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Jul 13, 2017Updated 8 years ago
- ☆10Nov 3, 2024Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- GitHub codespacesで体験するFIWARE学習コンテンツ☆10Sep 25, 2024Updated last year
- Parallel cryptanalysis☆35May 27, 2022Updated 3 years ago
- Interactive examples explaining the details of how bitcoin calculations work.☆30May 25, 2025Updated 9 months ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆33May 7, 2023Updated 2 years ago
- Unnoficial solutions (still under construction) to Nielsen and Chuang's "Quantum Computation and Quantum Information" - 10th anniversary …☆19Feb 11, 2026Updated 2 weeks ago
- HDLBits-Solutions☆10May 27, 2022Updated 3 years ago