Issues

Issues

• spec: check max constraint degree in the typechecker

  yetanotherco/lambda_vm#970 · opened on Sep 8, 2026

• GPU prover: root-cause the R2 H-corruption race so the global serialize lock can become a targeted drain

  yetanotherco/lambda_vm#929 · opened on Aug 11, 2026

• GPU prover: a cliff-assert panic under VRAM pressure hangs the process forever instead of aborting

  yetanotherco/lambda_vm#928 · opened on Aug 11, 2026

• spec: document checked-writes-yields-safe-reads methodology

  yetanotherco/lambda_vm#694 · opened on Jun 22, 2026

• spec: Formalize chip assumptions

  yetanotherco/lambda_vm#639 · opened on Jun 1, 2026

• spec: review ALU chips for redundancies and optimizations

  yetanotherco/lambda_vm#638 · opened on Jun 1, 2026

• spec: Investigate IS_WORD chip tradeoff

  yetanotherco/lambda_vm#623 · opened on May 26, 2026
  1

• make test should not run CUDA tests

  yetanotherco/lambda_vm#622 · opened on May 22, 2026

• Proofs of programs that use the print_string syscall are not valid

  yetanotherco/lambda_vm#588 · opened on May 15, 2026

• Complete Proof System subsections

  yetanotherco/lambda_vm#587 · opened on May 15, 2026

• Update make deps

  yetanotherco/lambda_vm#586 · opened on May 15, 2026

• Disk spill cached LDE

  yetanotherco/lambda_vm#580 · opened on May 7, 2026

• spec: Introduce chip/template correctness proofs

  yetanotherco/lambda_vm#484 · opened on Apr 9, 2026

• For combinations, it may be better to shift values instead of using field operations, or at least use constants

  yetanotherco/lambda_vm#347 · opened on Feb 20, 2026

• spec: Tighter range checks

  yetanotherco/lambda_vm#326 · opened on Feb 12, 2026
  2

• spec: Document expression language semantics

  yetanotherco/lambda_vm#325 · opened on Feb 12, 2026

• spec: CI

  yetanotherco/lambda_vm#314 · opened on Feb 10, 2026

• spec: Separate register and ram MEMW through templates

  yetanotherco/lambda_vm#313 · opened on Feb 10, 2026
  1

• Simplify hyperfine workflow after CLI refactor

  yetanotherco/lambda_vm#290 · opened on Feb 5, 2026

• Sampling queries for FRI

  yetanotherco/lambda_vm#234 · opened on Jan 26, 2026

• Prover: Handling lookup fingerprints with diferents limb widths

  yetanotherco/lambda_vm#137 · opened on Jan 13, 2026

• spec: CPU passthrough

  yetanotherco/lambda_vm#134 · opened on Jan 13, 2026
  1

• (Perf: Prover): Improve zerofier calculation

  yetanotherco/lambda_vm#118 · opened on Jan 8, 2026

• Performance FFT

  yetanotherco/lambda_vm#110 · opened on Jan 7, 2026

• Immediate must be signed for some instructions

  yetanotherco/lambda_vm#71 · opened on Dec 22, 2025