Issues
Search results
Add support for having Z[X] and F_q[X] typed constraints simultaneously, with two "branching proofs"
Status: Open.#186 In NethermindEth/zinc-plus;- Status: Open.#185 In NethermindEth/zinc-plus;
- Status: Open.#184 In NethermindEth/zinc-plus;
- Status: Open.#183 In NethermindEth/zinc-plus;
- Status: Open.#180 In NethermindEth/zinc-plus;
- Status: Open.#179 In NethermindEth/zinc-plus;
- Status: Open.#173 In NethermindEth/zinc-plus;
- Status: Open.#170 In NethermindEth/zinc-plus;
- Status: Open.#169 In NethermindEth/zinc-plus;
- Status: Open.#168 In NethermindEth/zinc-plus;
- Status: Open.#160 In NethermindEth/zinc-plus;
- Status: Open.#155 In NethermindEth/zinc-plus;