cryptohard
TinyBall
tamuctf
Task: TinyMT32 lottery with 17 censored draws (emoji showing (raw%m)%8) and 10 full draws. Solution: Exploit that output bit 0 is linear over GF(2), solve 108x127 linear system, enumerate 2^19 free variables to recover state and predict future draws.
$ ls tags/ techniques/
prng_state_recoverygf2_linear_algebraoutput_bit_linearity_analysisunit_vector_probingfree_variable_enumeration
🔒
Permission denied (requires tier.pro)
Sign in to access full writeups
Create a free account with GitHub, then upgrade to Pro.
$ssh [email protected]