feat(zkgm): simplify forward instruction and introduce more tests

[hussein-aitlahcen]

Refactor the forward instruction to wrap the entire path, on execution we dequeue the intermediate channel from the path and either re-yield the forward packet with the tail of the path or yield the embedded instruction if we are reaching the destination (we just executed the final hop).

exec(zkgm([...], forward([x, y], i))) = send(y, zkgm([..., x, y], i))
exec(zkgm([...], forward([x, y, cont], i))) = send(y, zkgm([..., x, y], forward([cont], i)))

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

1 Skipped Deployment

Name	Status	Preview	Comments	Updated (UTC)
site	⬜️ Ignored (Inspect)	Visit Preview		Mar 8, 2025 4:37pm