Przyszłość wolności zależy od dowodów z wiedzą zerową.