NotesNotes要点

• UltraGroth enhances Groth16 with lookup table support
• Maintains Groth16's efficient verification (3 points, 3 pairings), adds only 1 G1 point and 1 pairing
• Enables efficient non-native operations via secure randomness sampling
• Significantly reduces circuit constraints (e.g., ReLU from linear to sublinear)
• Proven in production with Bionetta, secure and reliable
• Provides efficient proving for complex ZK circuits

• UltraGroth是Groth16的改进版，支持查找表优化
• 保持Groth16验证高效性（3点3配对），仅增加1个G1点和1次配对
• 通过安全随机数采样实现高效非本地操作（如位运算、范围检查）
• 大幅降低电路约束（如ReLU从线性降至亚线性复杂度）
• 已在实际项目Bionetta中应用，安全可靠
• 为复杂ZK电路提供高效证明方案

• UltraGrothは、ルックアップテーブルサポートをGroth16に強化します
• Groth16の効率的な検証（3点、3つのペアリング）を維持しつつ、G1ポイントと1つのペアリングのみを追加します
• セキュアなランダムサンプリングを通じて、非ネイティブ操作の効率的な実行を可能にします
• サーキット制約を大幅に削減します（例：ReLUを線形から準線形へ）
• Bionettaでの実運用で証明されており、安全かつ信頼性が高いです
• 複雑なZKサーキットに対する効率的な証明を提供します