openvm_
native_
compiler
0.1.0-alpha
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
>