acvm 0.46.0

The virtual machine that processes ACIR given a backend/proof system.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

use acir::{
    circuit::opcodes::FunctionInput,
    native_types::{Witness, WitnessMap},
};

use crate::{
    pwg::{insert_value, witness_to_value, OpcodeResolutionError},
    BlackBoxFunctionSolver,
};

pub(super) fn pedersen(
    backend: &impl BlackBoxFunctionSolver,
    initial_witness: &mut WitnessMap,
    inputs: &[FunctionInput],
    domain_separator: u32,
    outputs: (Witness, Witness),
) -> Result<(), OpcodeResolutionError> {
    let scalars: Result<Vec<_>, _> =
        inputs.iter().map(|input| witness_to_value(initial_witness, input.witness)).collect();
    let scalars: Vec<_> = scalars?.into_iter().cloned().collect();

    let (res_x, res_y) = backend.pedersen_commitment(&scalars, domain_separator)?;

    insert_value(&outputs.0, res_x, initial_witness)?;
    insert_value(&outputs.1, res_y, initial_witness)?;

    Ok(())
}

pub(super) fn pedersen_hash(
    backend: &impl BlackBoxFunctionSolver,
    initial_witness: &mut WitnessMap,
    inputs: &[FunctionInput],
    domain_separator: u32,
    output: Witness,
) -> Result<(), OpcodeResolutionError> {
    let scalars: Result<Vec<_>, _> =
        inputs.iter().map(|input| witness_to_value(initial_witness, input.witness)).collect();
    let scalars: Vec<_> = scalars?.into_iter().cloned().collect();

    let res = backend.pedersen_hash(&scalars, domain_separator)?;

    insert_value(&output, res, initial_witness)?;

    Ok(())
}