@ZamDimon discussed the UltraGroth protocol in the blog, explaining how to modify Groth16 to support lookup checks, optimizing non-local operations and reducing constraint numbers. @ZamDimon 在博客中讨论了UltraGroth协议,包括如何通过修改Groth16来支持查找检查,从而优化非本地操作和减少约束数量。
Notes
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