BKZ Subset Sum Problem from json import dump from random import SystemRandom random = SystemRandom() k, n, d = 160, 180, 0.8 B = 2**(n/d) A = [random.randint(1, B) for _ in range(n)] s = sum(A[index] for index in random.sample(range(n), k)…

BKZ WMCTF 2020 | Sum こちらはmitsuくんが解いてくれた from json import load def chk(sol, A, s): return sum(x * a for x, a in zip(sol, A)) == s def solve(A, n, k, s, BS=22): N = ceil(sqrt(n)) lat = [] for i, a in enumerate(A): lat.append([(j…