Giáp Vũ's starred repositories
awesome-mpc
A curated list of multi party computation resources and links.
Awesome-ZKP-Security
A curated list of awesome security resources for ZK.
course-cryptanalysis
A Course in Cryptanalysis
sage_army_knife
A mutitool for cryptography CTF problems
zk-bug-tracker
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
ctf-blockchain
A summary of 100+ CTF blockchain challenges
python-random-playground
This repository contains code snippets and POCs associated to our article on breaking Python's PRNG with a few values and no bruteforce.
primesieve
🚀 Fast prime number generator
v8-randomness-predictor
Using z3 to predict `Math.random` in v8
randcracks
Cracking psuedorandom stuffs.
Cryptography-project
Our cryptography project about cryptanalysis on ECC-based algorithms
signatures
Cryptographic signature algorithms: DSA, ECDSA, Ed25519
HyperellipticCurves
Arithmetic on Hyperelliptic curves
my-ctf-challenges
my ctf chals
std-curves
Standard curve database.
des_symbolic
Representing DES in Z3
syndrome_decoding_estimator
A tool to estimate the difficulty of solving the syndrome decoding problem.