Notes Notes 要点

• The proximity conjecture has been refuted, affecting the parameter settings of hash-based SNARKs
• Unsafe parameter regions have been identified, requiring adjustment of δ values to avoid security risks
• From speculative security to proven security, proof size and verification time double, prover time remains
• From speculative security to new speculative security, performance decreases by 2-3%, prover time impact is small
• The problem is related to list decoding, and the remaining unknown regions' security remains unresolved
• It is recommended to prioritize parameter security in audits and development to avoid performance and security trade-offs

• 邻近间隙猜想被证伪，影响基于哈希的SNARKs参数设置
• 不安全参数区域被识别，需调整δ值以避免安全风险
• 从推测安全到证明安全，证明大小和验证时间翻倍，证明者时间基本不变
• 从推测安全到新推测安全，性能下降2-3%，证明者时间影响小
• 问题与列表解码问题相关，剩余未知区域安全性未解
• 建议在审计和开发中优先考虑参数安全，避免性能与安全权衡失误

• 近接性仮説が反証され、ハッシュベースSNARKのパラメータ設定に影響を与えています
• 安全でないパラメータ領域が特定されたため、セキュリティリスクを回避するためにδ値の調整が必要です
• 推測的なセキュリティから証明されたセキュリティへの移行に伴い、証明サイズと検証時間が倍増し、プロバー時間は維持されています
• 推測的なセキュリティから新たな推測的セキュリティへの移行に伴い、パフォーマンスが2〜3%低下し、プロバー時間への影響は小さいです
• この問題はリストデコーディングに関連しており、残りの未知領域のセキュリティは未解決のままです
• パフォーマンスとセキュリティのトレードオフを避けるため、監査および開発においてパラメータセキュリティを優先することを推奨します