Issues

• Special soundness analysis for cds generates unit ideal

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

• Encoding crashing computations.

  bug
  eniac/zippel#217 · Filter by author sga001 opened on Oct 5, 2026
  1

• Improve diagnostics for lang and graph crates

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

• Launch Singular in a cgroup on Linux and a Job Object on Windows

  eniac/zippel#208 · Filter by author yuxqiu opened on Sep 25, 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

• Where clauses are missing from some of the protocols

  enhancement
  eniac/zippel#189 · Filter by author alireza-shirzad opened on Jun 24, 2026
  3

  

• 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

• Automated pairing rearrangement

  enhancement
  eniac/zippel#167 · Filter by author alireza-shirzad opened on Jun 1, 2026

• Performance linter

  enhancement
  eniac/zippel#165 · Filter by author sga001 opened on May 29, 2026

• Support efficient power generation

  enhancement
  eniac/zippel#164 · Filter by author yuxqiu opened on May 29, 2026
  2

• Support efficient FFT over coset domain

  enhancement
  eniac/zippel#163 · Filter by author yuxqiu opened on May 29, 2026

• Projective vs. affine group inputs

  enhancement
  eniac/zippel#154 · Filter by author alireza-shirzad opened on May 26, 2026

• [bug] ZK Analysis does not work

  bug
  eniac/zippel#149 · Filter by author sga001 opened on May 22, 2026

• [Feature] Succinctness analysis

  enhancement
  eniac/zippel#144 · Filter by author sga001 opened on May 19, 2026

• [analysis] Critical Round Zero Knowledge

  enhancement
  eniac/zippel#119 · Filter by author sga001 opened on May 11, 2026

• Feature Request: Domain Lifting / Variable Padding for Virtual Polynomials

  enhancement
  eniac/zippel#104 · Filter by author sga001 opened on May 7, 2026