@informaq-ja.bsky.socialSep 22, 2026, 10:23 AM 量子性のゼロ知識証明を導入し、悪意のある検証者による搾取から量子証明者を保護します。素因数分解ベースおよびLWEベースのPoQスキームは、抽出可能なNIZK証明を使用してゼロ知識バリアントに変換され、敵対者が不正な...#量子暗号 #ゼロ知識 #量子証明
@informaq-ja.bsky.socialSep 15, 2026, 7:08 PM 25年間未解決だった問題を解決し、QIP(2)、qq-QAM、QAM、およびQMAが完全性を達成することを証明します。メッセージの複雑性を半減させながら完全性保証を維持するエンドポイント内向折り返し変換を導入します。#量子証明 #量子複雑性 #量子情報
@informaq-ja.bsky.socialSep 14, 2026, 11:53 PM 研究者たちはQMA=QMA1を証明し、量子マーリン・アーサー証明システムがHadamard、Toffoli、Xゲートからなる普遍的なゲート集合を用いて、計算力を犠牲にすることなく完全完全性を達成できることを示した。#量子複雑性 #量子証明 #研究
@informaq-ja.bsky.socialSep 3, 2026, 4:33 AM 研究者らがQMA(2)とQMA間の最初の量子オラクル分離を証明し、no-disentanglers予想を解決しました。本証明では対称および反対称部分空間射影子を用いて、エンタングルされていない証明が標準的な量子証明を指数関数的に上回ることを示しています。#量子複雑性 #量子証明 #研究
@informaq-ja.bsky.social