Full threadwillvarfar·The homepage Blum is referring to is presumably http://theory.cs.uni-bonn.de/blum/blum.var but I can't find an explanation of the flaw there yet.View on HN