acvm::pwg::blackbox::hash

Function solve_poseidon2_permutation_opcode

Source
pub(crate) fn solve_poseidon2_permutation_opcode<F: AcirField>(
    backend: &impl BlackBoxFunctionSolver<F>,
    initial_witness: &mut WitnessMap<F>,
    inputs: &[FunctionInput<F>],
    outputs: &[Witness],
) -> Result<(), OpcodeResolutionError<F>>