I frequently post about PQC and Q-day topics on my LinkedIn account. In response to one of my recent related postings, someone seemed to demean (see attachment) the current NIST PQC standards, stating they were not mathematically proven and that we do have other mathematically proven PQC ciphers...they just aren't selected by NIST, like "Pattern Devoid Cryptography". This was a totally new concept to me. I was wondering what the idea of mathematically proven versus non-mathematically proven crypto means? It sounds a bit conspiracy theory-like...or something not generally supported by most mainstream cryptographers (since I've never heard of this debate), but I was wondering what the quantum or cryptographic experts have to say before I forget about it? I could totally be wrong.
------------------------------
Roger Grimes
Data-Driven Defense Evangelist
KnowBe4, Inc.
------------------------------