[Zellic Audit] Fix Pushing Data #14

Open

just-erray wants to merge 3 commits intoBitVM:mainfrom

just-erray:fix-single-element

Commits on Aug 13, 2025

remove one length witness/vector push special case
just-erray
committed

Commits on Aug 14, 2025

fix and optimize single element case and extend tests
just-erray
committed

Commits on Aug 18, 2025

fix the [0] case by adding cleaner code with comments written by sander2
just-erray
committed