Issues

• Bound and acknowledge the live durable-event pipeline

  theinterfold/interfold#2266 · Filter by author neogiacomo opened on Oct 15, 2026

• Define durable effect completion contracts and crash recovery evidence

  theinterfold/interfold#2265 · Filter by author neogiacomo opened on Oct 15, 2026

• Ciphernode builder refactoring follow up

  theinterfold/interfold#2257 · Filter by author ctrlc03 opened on Oct 15, 2026

• design circuit drifting workflow

  theinterfold/interfold#2249 · Filter by author ctrlc03 opened on Oct 13, 2026
  

• fix(zk-prover): prevent false-ready status for incomplete installs

  theinterfold/interfold#2230 · Filter by author zerozebrazone opened on Oct 11, 2026

• refactor(agent): simplify harness instructions and consolidate guidance

  devxrefactoring
  Task

  theinterfold/interfold#2225 · Filter by author neogiacomo opened on Oct 9, 2026

• Redesign recursive aggregation and durable recovery

  devxnoirrefactoring
  theinterfold/interfold#2223 · Filter by author neogiacomo opened on Oct 9, 2026

• Redesign proof-request and verification lifecycles

  devxnoirrefactoring
  theinterfold/interfold#2222 · Filter by author neogiacomo opened on Oct 9, 2026

• Redesign circuit execution and backend APIs in zk-prover

  devxnoirrefactoring
  theinterfold/interfold#2221 · Filter by author neogiacomo opened on Oct 9, 2026

• Redesign configuration and sample generation in zk-helpers

  devxnoirrefactoring
  theinterfold/interfold#2220 · Filter by author neogiacomo opened on Oct 9, 2026

• Redesign circuit input computation in zk-helpers

  devxnoirrefactoring
  theinterfold/interfold#2219 · Filter by author neogiacomo opened on Oct 9, 2026

• Define ownership and public APIs for the Rust ZK crates

  devxnoirrefactoring
  theinterfold/interfold#2218 · Filter by author neogiacomo opened on Oct 9, 2026
  

• Integrate circuit tooling with CI, releases, and developer workflows

  devxnoirrelease
  theinterfold/interfold#2217 · Filter by author neogiacomo opened on Oct 9, 2026

• Add reproducible benchmark inputs, replay, and comparisons

  devxnoirtesting
  theinterfold/interfold#2216 · Filter by author neogiacomo opened on Oct 9, 2026

• Build a standalone Rust circuit benchmark runner

  devxnoirtesting
  theinterfold/interfold#2215 · Filter by author neogiacomo opened on Oct 9, 2026

• Define and validate versioned circuit artifact bundles

  devxnoir
  theinterfold/interfold#2214 · Filter by author neogiacomo opened on Oct 9, 2026

• Move circuit builds to Rust and isolate build workspaces

  devxnoirrefactoring
  theinterfold/interfold#2213 · Filter by author neogiacomo opened on Oct 9, 2026

• Provision and validate pinned circuit toolchains automatically

  devxnoir
  theinterfold/interfold#2212 · Filter by author neogiacomo opened on Oct 9, 2026

• Redesign Rust ZK crates for clear ownership and simpler development

  devxnoirrefactoring
  theinterfold/interfold#2211 · Filter by author neogiacomo opened on Oct 9, 2026
  

• [Brainstorming] CRISP ownership and repository decoupling

  crispdevxproposal
  theinterfold/interfold#2200 · Filter by author neogiacomo opened on Oct 8, 2026

• Improve circuit developer experience and consolidate circuit tooling

  devxnoirproposal
  theinterfold/interfold#2199 · Filter by author neogiacomo opened on Oct 8, 2026
  

• refactor(crypto): centralize BFV parameters and circuit identities

  refactoring
  Task

  theinterfold/interfold#2197 · Filter by author neogiacomo opened on Oct 8, 2026
  1

  

• ciphernode: remaining error-handling and retry gaps from #1307 and #966

  ciphernodetechnical debt
  theinterfold/interfold#2176 · Filter by author ctrlc03 opened on Oct 5, 2026

• CRISP server: sled 0.34.7 never syncs blob files, so a host crash can lose a ballot

  bugcrisp
  theinterfold/interfold#2097 · Filter by author ctrlc03 opened on Oct 1, 2026

• DappNode Package update

  theinterfold/interfold#2093 · Filter by author XQTStrategy opened on Oct 1, 2026
  1