hurchalla / modular_arithmeticLinks
Clockwork: A Modular Arithmetic library for C++
☆11Updated last week
Alternatives and similar repositories for modular_arithmetic
Users that are interested in modular_arithmetic are comparing it to the libraries listed below
Sorting:
- C++ STL for speed and cryptanalytic application☆11Updated 2 weeks ago
- A programming language to write bitsliced ciphers☆58Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 3 years ago
- Assembly super-optimization via constraint solving☆223Updated this week
- Performance Evaluation of SHA-256 using SHA New Instructions.☆42Updated 5 months ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Updated last year
- Optimized Binary GCD for Modular Inversion☆45Updated 5 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆48Updated 7 months ago
- Trying to get perfect codegen for big-integer math.☆31Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆77Updated last week
- Structured BVA☆41Updated last year
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- ☆13Updated 7 years ago
- ☆24Updated 10 months ago
- ☆12Updated 4 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆23Updated this week
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years ago
- An AES-based 384 bit permutation.☆21Updated 5 months ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆76Updated 6 months ago
- Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
- ☆16Updated 6 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆31Updated this week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- AVX implementation of the Skinny block cipher☆11Updated 3 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 8 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- immintrin_dbg.h is an include file, a wrapper around immintrin.h. It implements most of AVX, AVX2, AVX-512 vector intrinsics to enable so…☆58Updated 2 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago