openvm_
ecc_
circuit
1.0.0
Structs
CurveConfig
EcAddNeChip
EcDoubleChip
Rv32WeierstrassConfig
WeierstrassExtension
Enums
Rv32WeierstrassConfigExecutor
Rv32WeierstrassConfigPeriphery
WeierstrassExtensionExecutor
WeierstrassExtensionPeriphery
Statics
P256_CONFIG
SECP256K1_CONFIG
Functions
ec_add_ne_expr
ec_double_ne_expr
openvm_ecc_circuit
Function
ec_add_ne_expr
Copy item path
Settings
Help
Summary
Source
pub fn ec_add_ne_expr( config:
ExprBuilderConfig
, range_bus:
VariableRangeCheckerBus
, ) ->
FieldExpr