convert_efr
openvm_
native_
compiler
1.4.0
In openvm_
native_
compiler::
constraints::
halo2::
compiler
openvm_native_compiler
::
constraints
::
halo2
::
compiler
Function
convert_
efr
Copy item path
Source
pub fn convert_efr<F:
PrimeField
, EF:
ExtensionField
<F>>(a:
&EF
) ->
Vec
<
Fr
>