Issues

• 論文対応: ElGamal の実際の復号関数と暗号化・復号の正しさを証明する

  CryptoVerification/Foundation#5 · Filter by author quantumshiro opened on Oct 1, 2026

• 論文対応: 全 adversary class に対する DDH 前提と計算量制限付き定理の位置づけを明示する

  CryptoVerification/Foundation#4 · Filter by author quantumshiro opened on Oct 1, 2026

• Q21/Q24/Q26: ElGamal の具体的な群表現・算術コード・正規化の証明を構成する

  CryptoVerification/Foundation#3 · Filter by author quantumshiro opened on Oct 1, 2026

• Q22: 公平な乱択ビット・全分岐停止・厳密一様 sampling の両立範囲を確定する

  CryptoVerification/Foundation#2 · Filter by author quantumshiro opened on Oct 1, 2026

• Q14: 機械 PPT と旧 polynomialExecutionClass の精緻化関係を明示する

  CryptoVerification/Foundation#1 · Filter by author quantumshiro opened on Oct 1, 2026