Привет, я тут копался с последними квантовоустойчивыми протоколами, и всё ещё не уверен, что их формальная верификация учитывает все нюансы. Как думаешь, какие могут быть лазейки в этих системах?