feat: add built-in zero wire (Aux(0)) to constraint system - #491

Open

Sai (sai-deng) wants to merge 3 commits into

microsoft:mainfrom

sai-deng:feat/builtin-zero-wire

Commits on Apr 3, 2026

feat: add built-in zero wire (Aux(0)) to constraint system
Sai (sai-deng)
committed
1d8ed2c
address review: remove default zero(), add test, fix comments, update neutron expects
Sai (sai-deng)
committed
5f13aab
refactor: remove alloc_zero, use AllocatedNum::zero() directly
Sai (sai-deng)
committed
6c1b4a0