Add support for having Z[X] and F_q[X] typed constraints simultaneously, with two "branching proofs"
May 6, 2026 · #186
Rust
Difficulty: Medium
Labels
enhancement priority:mid
Parent Repository
NethermindEth/zinc-plus
Rust repository
29 2