Witamy w dziwnym świecie formalizacji kryptografii prowadzonej przez maszyny