openvm_
native_
compiler
1.0.0
In openvm_
native_
compiler::
constraints::
halo2::
compiler
Structs
Halo2ConstraintCompiler
Halo2State
Functions
convert_efr
convert_fr
openvm_native_compiler
::
constraints
::
halo2
::
compiler
Function
convert_efr
Copy item path
Settings
Help
Summary
Source
pub fn convert_efr<F:
PrimeField
, EF:
ExtensionField
<F>>(a:
&EF
) ->
Vec
<
Fr
>