MCPcopy Create free account
hub / github.com/ProvableHQ/sdk / parse_field_inputs

Function parse_field_inputs

wasm/src/programs/execution.rs:284–296  ·  view source on GitHub ↗

Parse an Array of field element strings into a Vec of raw N::Field elements.

(inputs: &Array)

Source from the content-addressed store, hash-verified

282
283/// Parse an Array of field element strings into a Vec of raw N::Field elements.
284pub(crate) fn parse_field_inputs(inputs: &Array) -> Result<Vec<<CurrentNetwork as Environment>::Field>, String> {
285 inputs
286 .iter()
287 .map(|input| {
288 let input_str = input
289 .as_string()
290 .ok_or_else(|| "Invalid input - all inputs must be field element strings".to_string())?;
291 let field = FieldNative::from_str(&input_str)
292 .map_err(|e| format!("Failed to parse field element '{}': {}", input_str, e))?;
293 Ok(*field)
294 })
295 .collect()
296}

Callers 2

snark_verifyFunction · 0.85
snark_verify_batchFunction · 0.85

Calls 1

to_stringMethod · 0.45

Tested by

no test coverage detected