Post-quantum encryption and distributed systems