Thread: Find the secret key for this function
View Single Post
  #14  
Old 06-05-2016, 18:43
mr.exodia mr.exodia is offline
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
mr.exodia Reputation: 1100-1299 mr.exodia Reputation: 1100-1299 mr.exodia Reputation: 1100-1299 mr.exodia Reputation: 1100-1299 mr.exodia Reputation: 1100-1299 mr.exodia Reputation: 1100-1299 mr.exodia Reputation: 1100-1299 mr.exodia Reputation: 1100-1299 mr.exodia Reputation: 1100-1299
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
Reply With Quote
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)