cryptoProhard

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/
gf2modular_arithmeticprngmersenne_twistertinymt32lottery
prng_state_recoverygf2_linear_algebraoutput_bit_linearity_analysisunit_vector_probingfree_variable_enumeration
🔒

Permission denied (requires tier.pro)

Sign in to access full writeups

Sign in with GitHub to continue. No email required.

$sign in

$ grep --similar

Similar writeups