Issues

• Zip+ with polylogarithmic proofs and verifier (Basefold/WHIR version of Zip+)

  priority:high
  NethermindEth/zinc-plus#216 · Filter by author albert-garreta opened on Jun 11, 2026
  6

• Support for F_2[X] artithmetization and tricks around it

  priority:high
  NethermindEth/zinc-plus#215 · Filter by author albert-garreta opened on Jun 11, 2026

• Support for constraints on extension fields

  priority:high
  NethermindEth/zinc-plus#214 · Filter by author albert-garreta opened on Jun 11, 2026

• Add zk

  priority:high
  NethermindEth/zinc-plus#213 · Filter by author albert-garreta opened on Jun 11, 2026

• Support for F_q[X] typed constraints with q small (or just q=2)

  effort:highpriority:mid
  NethermindEth/zinc-plus#196 · Filter by author albert-garreta opened on May 20, 2026

• Virtual columns (bit operations and linear combinations)

  enhancementpriority:high
  NethermindEth/zinc-plus#185 · Filter by author albert-garreta opened on May 6, 2026
  4

• Batched Zip+ for all three types of trace columns

  enhancementpriority:mid
  NethermindEth/zinc-plus#184 · Filter by author albert-garreta opened on May 6, 2026
  2

• Fix some docs warnings

  good first issuehelp wanted
  NethermindEth/zinc-plus#180 · Filter by author maksimryndin opened on May 4, 2026

• Investigate batching multi-degree sumcheck groups

  optimisationpriority:low
  NethermindEth/zinc-plus#173 · Filter by author amit0365 opened on Apr 12, 2026

• Sumcheck optimization: eq-elimination for base-field claims

  optimisationpriority:low
  NethermindEth/zinc-plus#170 · Filter by author psivesely opened on Apr 10, 2026

• Sumcheck optimization: evaluation at infinity

  optimisationpriority:low
  NethermindEth/zinc-plus#169 · Filter by author psivesely opened on Apr 10, 2026
  2

• Variable Encoding: Per-Entry Range Coding

  NethermindEth/zinc-plus#168 · Filter by author psivesely opened on Apr 10, 2026

• Reduce passes over the trace

  optimisationpriority:low
  NethermindEth/zinc-plus#160 · Filter by author amit0365 opened on Mar 31, 2026

• Group shifts

  optimisationpriority:low
  NethermindEth/zinc-plus#155 · Filter by author amit0365 opened on Mar 21, 2026

• Add grinding

  optimisationpriority:mid
  NethermindEth/zinc-plus#149 · Filter by author agarreta opened on Mar 18, 2026

• Remove redundant info in field element types

  optimisationpriority:low
  NethermindEth/zinc-plus#145 · Filter by author agarreta opened on Mar 16, 2026

• AI approach to optimizations

  priority:mid
  NethermindEth/zinc-plus#144 · Filter by author agarreta opened on Mar 16, 2026
  

• End-to-end: Avoid sumcheck over F_q for linear constraints

  enhancementoptimisationpriority:low
  Feature

  NethermindEth/zinc-plus#138 · Filter by author frozenspider opened on Mar 9, 2026

• Perform dot products in integer space to avoid per-element Montgomery reductions

  optimisationpriority:low
  Feature

  NethermindEth/zinc-plus#134 · Filter by author amit0365 opened on Feb 28, 2026

• Add new types of trace polynomials - F_2[X] and F_p (p e.g. the ECDSA prime)

  enhancementpriority:mid
  Feature

  NethermindEth/zinc-plus#131 · Filter by author frozenspider opened on Feb 26, 2026
  1

• Some ideal check verifiers are way slower in parallel mode

  Bug

  NethermindEth/zinc-plus#127 · Filter by author frozenspider opened on Feb 17, 2026
  1

• Skip first round of sumcheck by reusing ideal check computations

  optimisationpriority:low
  NethermindEth/zinc-plus#112 · Filter by author albert-garreta opened on Feb 13, 2026

• Optimize get_prime

  optimisationpriority:low
  NethermindEth/zinc-plus#111 · Filter by author ElijahVlasov opened on Feb 13, 2026
  1

• General lookup argument

  enhancementpriority:low
  NethermindEth/zinc-plus#107 · Filter by author maksimryndin opened on Feb 13, 2026
  2

  

• Writing SHA-256 and ECDSA UAIRs (or porting from main-beta)

  priority:highuair
  NethermindEth/zinc-plus#91 · Filter by author maksimryndin opened on Feb 10, 2026
  1