Issues

• Make the static analyses field-generic and remove Backend::Analysis

  eniac/zippel#260 · Filter by author yuxqiu opened on Oct 23, 2026

• A one-variable MLE from partial application is evaluated as a line

  eniac/zippel#258 · Filter by author yuxqiu opened on Oct 22, 2026

• fmt: consider iterative formatting in place of #[stack_guard] recursion

  eniac/zippel#257 · Filter by author yuxqiu opened on Oct 22, 2026

• fun picks the alphabetically first field type variable, so it mistypes when several are in scope

  eniac/zippel#256 · Filter by author yuxqiu opened on Oct 22, 2026

• Make the backend independent of arkworks (Zippel-owned field/group/pairing traits)

  eniac/zippel#255 · Filter by author yuxqiu opened on Oct 21, 2026

• Deeply nested types overflow the stack, and inference is quadratic in type depth

  eniac/zippel#254 · Filter by author yuxqiu opened on Oct 17, 2026

• Introduce an as Operator for Explicit Casting Between Literals, Field Elements, and Group Elements (G1, G2, GT)

  eniac/zippel#247 · Filter by author yuxqiu opened on Oct 14, 2026

• Verifier accepts proofs whose transcript encoding is ambiguous, or whose points are off the curve

  bug
  eniac/zippel#246 · Filter by author yuxqiu opened on Oct 13, 2026

• Deal with non-contiguous ranges.

  bug
  eniac/zippel#237 · Filter by author sga001 opened on Oct 10, 2026

• Bugs found during audit

  bug
  eniac/zippel#235 · Filter by author sga001 opened on Oct 9, 2026

• Issues with type soundness

  bug
  eniac/zippel#234 · Filter by author sga001 opened on Oct 9, 2026

• Pass proving and verifying keys as single Record arguments instead of flat argument lists

  eniac/zippel#233 · Filter by author yuxqiu opened on Oct 8, 2026

• Special soundness analysis for cds generates unit ideal

  bug
  eniac/zippel#226 · Filter by author yuxqiu opened on Oct 6, 2026

• Improve diagnostics for lang and graph crates

  documentationenhancement
  eniac/zippel#209 · Filter by author yuxqiu opened on Sep 27, 2026

• Future directions for the lang crate

  eniac/zippel#202 · Filter by author yuxqiu opened on Aug 19, 2026

• Give formal semantics to the Graph IR

  eniac/zippel#201 · Filter by author sga001 opened on Aug 5, 2026

• Projection at the AST level

  eniac/zippel#200 · Filter by author elefthei opened on Jul 29, 2026
  1

• Add Support for Sparse Matrix-Vector Multiplication

  enhancement
  eniac/zippel#198 · Filter by author yuxqiu opened on Jul 22, 2026

• Add Incompleteness Analysis

  enhancement
  eniac/zippel#197 · Filter by author yuxqiu opened on Jul 22, 2026

• Explicit type argument binding at call sites

  enhancement
  eniac/zippel#195 · Filter by author yuxqiu opened on Jul 14, 2026

• Inconsistencies between CTyp and ATyp lub operations

  eniac/zippel#193 · Filter by author yuxqiu opened on Jul 10, 2026

• Refactor graph crate

  eniac/zippel#187 · Filter by author sga001 opened on Jun 17, 2026
  2

  

• [Missing Feature] Support multivariate-to-univariate isomorphisms (Zeromorph polynomial mapping)

  enhancement
  eniac/zippel#177 · Filter by author sga001 opened on Jun 5, 2026

• [Missing Feature] Support logging and coefficient extraction for multivariate polynomials (Poly<F, M, D> where M > 1)

  enhancement
  eniac/zippel#175 · Filter by author sga001 opened on Jun 5, 2026

• Amortizing allocations

  eniac/zippel#174 · Filter by author Pratyush opened on Jun 5, 2026
  1