feat(rest): expose view function evaluation endpoints

[Copilot]

Adds REST endpoints to evaluate Aleo view functions against ledger state, as exposed by VM::evaluate_view_at_height in snarkVM. Both a historic (specific block height) and a latest-height variant are provided.

New endpoints

Both require the history feature.

POST /{network}/program/{id}/view/{functionName}/{height} — evaluate at a specific block height

POST /{network}/program/{id}/view/{functionName} — evaluate at the latest block height

• Body: JSON array of string-encoded inputs
• Response: JSON array of string-encoded outputs

# At a specific height
curl -X POST https://api.example.com/mainnet/program/vw_lifecycle.aleo/view/total_balance/1000 \
  -H 'Content-Type: application/json' \
  -d '["aleo1abc..."]'
# → ["42u64"]

# At the latest height
curl -X POST https://api.example.com/mainnet/program/vw_lifecycle.aleo/view/total_balance \
  -H 'Content-Type: application/json' \
  -d '["aleo1abc..."]'
# → ["42u64"]

Changes

• Cargo.toml

  • Updated snarkVM rev to e4a7a945 — adds program-edition–aware view evaluation so evaluate_view_at_height resolves the program edition live at the queried height

• node/rest/src/routes.rs

  • Add #[cfg(feature = "history")] use snarkvm::prelude::Value
  • Add ViewFunctionRoute<N> path extractor type alias
  • Add parse_view_inputs<N> helper (mirrors existing parse_historical_mapping_keys pattern)
  • Add evaluate_view handler: parses inputs, calls vm.evaluate_view_at_height in spawn_blocking, returns outputs as JSON strings
  • Add evaluate_view_latest handler: same as evaluate_view but captures latest_height() inside spawn_blocking to minimize the sampling-to-evaluation window

• node/rest/src/lib.rs

  • Register both routes under the existing #[cfg(feature = "history")] block

• .ci/test_devnet.sh

  • Add view compute_sum function to test_program.aleo (computes 1u32 + 2u32)
  • Add CI assertions querying both endpoints and verifying the expected output "3u32"

[vicsn]

@copilot update the snarkVM rev in the top-level Cargo.toml, add a new endpoint which evaluates a view at the latest height, and extend .ci/test_devnet.sh so that test_program.aleo contains a view and we query the two new view API endpoints.

[Copilot]

@copilot update the snarkVM rev in the top-level Cargo.toml, add a new endpoint which evaluates a view at the latest height, and extend .ci/test_devnet.sh so that test_program.aleo contains a `vie...

Done in commits b56c3c7 and ab6e72e:

• Updated snarkVM rev to e4a7a945 (adds historic program-edition resolution so evaluate_view_at_height uses the program edition that was live at the queried height)
• Added POST /{network}/program/{id}/view/{function} — evaluates at the latest height (height is captured inside spawn_blocking to minimize the sampling-to-evaluation window)
• Extended .ci/test_devnet.sh: added a view compute_sum to test_program.aleo that computes 1u32 + 2u32, then asserts "3u32" is returned from both the latest-height endpoint and the specific-height endpoint

[ljedrz]

I'm not familiar with the new snarkVM-side feature, but the snarkOS impl looks good to me.