hellman

hellman

'''
Turns out that the output.txt contains images of the 8-byte chunks of the flag under a fixed affine map.
We can interpolate the map from a bunch of samples and then simply invert the real flag's output.
'''
from sage.all import *
import re
from binteger import Bin  # pip install binteger

# need to use script log, since the program requires a console
'''

hellman

#include <stdio.h>
#include <stdint.h>
#include <assert.h>

int main() {
    uint64_t a = 0x6dc06dabb8fb11a7ull;
    uint64_t b = 0x661f975dc51abe17ull;
    // uint64_t a = 1ull << 63;
    // uint64_t b = 1ull << 63;

hellman

hellman

hellman

hellman

from sage.all import *
from rejected import LFSR, taps
from binteger import Bin
from sock import Sock

n = 64
N = 2**30 + 2**29

f = Sock("mc.ax 31669")
f.send_line(str(N))

hellman

from sage.all import ZZ, GF, EllipticCurve, proof
from hashlib import scrypt

from sock import Sock
from psych import sidh, xor, G, H

proof.all(False)


def ser(*args):

hellman

hellman