Find the secret key for this function

		Exetools > General > General Discussion
Find the secret key for this function

#14

06-05-2016, 18:43

mr.exodia

Retired Moderator

Join Date: Nov 2011

Posts: 783

Rept. Given: 490

Rept. Rcvd 1,123 Times in 305 Posts

Thanks Given: 89

Thanks Rcvd at 716 Times in 333 Posts

My code for solving (see here on how to install z3py):

Code:

from z3 import *

key = BitVec('key', 64)
solve((key * key * key * key * key * key * key) == 0x90de757572b51cd3)

Output:

Code:

[key = 16721472531635646971]
0xE80E9AAC619831FB

The Following User Gave Reputation+1 to mr.exodia For This Useful Post:
niculaita (06-05-2016)

The Following 3 Users Say Thank You to mr.exodia For This Useful Post:
dila (06-05-2016), Git (06-05-2016), niculaita (06-05-2016)

Posting Rules
You may not post new threads You may not post replies You may not post attachments You may not edit your posts BB code is On Smilies are On [IMG] code is Off HTML code is Off Forum Rules

All times are GMT +8. The time now is 09:03.