Issues

• Possible Bug: Under constraint

  pluto/aes-circuits#120 · Filter by author autoDetector opened on Nov 5, 2025

• Possible Bug: Assert but not constraint

  pluto/aes-circuits#119 · Filter by author autoDetector opened on Nov 5, 2025

• Possible Bug: Under constraint

  pluto/aes-circuits#118 · Filter by author autoDetector opened on Nov 5, 2025

• Possible Bug: Miss constraint

  pluto/aes-circuits#117 · Filter by author autoDetector opened on Nov 5, 2025

• Possible Bug: Out-of-bounds/invalid sizing

  pluto/aes-circuits#116 · Filter by author autoDetector opened on Nov 5, 2025

• Possible Bug: Wrong counter carry-forward (row/column mix-up)

  pluto/aes-circuits#115 · Filter by author autoDetector opened on Nov 5, 2025

• Possible Bug: Out-of-bounds writes

  pluto/aes-circuits#114 · Filter by author autoDetector opened on Nov 5, 2025

• Possible Bug: Lack check on counter range

  pluto/aes-circuits#113 · Filter by author autoDetector opened on Nov 5, 2025

• optimize: investigate whether we are obtaining the maximum performance from our folding techniques

  optimize ⏰
  pluto/aes-circuits#101 · Filter by author thor314 opened on Oct 21, 2024
  2