Functions — github.com/ddkang/zkml

CodeHub MCPcopy Create free account

hub / github.com/ddkang/zkml / functions

Functions400 in github.com/ddkang/zkml

⨍ Functions 400◇ Types & classes 92

↓ 1 callersFunctionproduce_graph

backwards/backward.py:265

↓ 1 callersMethodsplat_depthwise

( &self, tensors: &Vec<Array<Rc<G>, IxDyn>>, zero: Rc<G>, )

src/layers/conv2d.rs:223

↓ 1 callersFunctiontime_circuit_ipa

(circuit: ModelCircuit<Fp>)

src/utils/proving_ipa.rs:48

↓ 1 callersFunctiontime_circuit_kzg

(circuit: ModelCircuit<Fr>)

src/utils/proving_kzg.rs:74

↓ 1 callersMethodto_dict

(self, start_layer, end_layer)

python/converter.py:98

↓ 1 callersMethodto_msgpack

(self, start_layer, end_layer, use_selectors=True)

python/converter.py:500

↓ 1 callersMethodused_gadgets

(&self, _layer_params: Vec<i64>)

src/layers/pow.rs:42

↓ 1 callersFunctionverify_circuit_kzg

Standalone verification

src/utils/proving_kzg.rs:171

( self, model_path, scale_factor, k, num_cols, num_randoms, use_selectors, commit, expose_output

python/converter.py:27

(self, starting_index)

backwards/backward.py:12

backwards/backward.py:53

backwards/backward.py:194

backwards/backward.py:213

backwards/backward.py:249

(self, name=None)

testing/circuits/last_two_layers.py:17

Methodassign_array

( columns: &Vec<Column<Advice>>, region: &mut Region<F>, array: &Array<Value<F>, IxDyn>, )

src/layers/fully_connected.rs:64

(self, layer, transcript, config)

backwards/backward.py:60

(self, layer, transcript, config)

backwards/backward.py:199

(self, layer, transcript, config)

backwards/backward.py:216

testing/circuits/last_two_layers.py:40

Methodcompute_mm

( // input: &AssignedTensor<F>, input: &ArrayView<CellRc<F>, IxDyn>, weight: &AssignedTensor<F>,

src/layers/fully_connected.rs:40

Methodconfigure

(meta: &mut ConstraintSystem<F>)

src/model.rs:568

Methodconfigure

( meta: &mut ConstraintSystem<F>, packer_config: PackerConfig<F>, gadget_config: GadgetConfig, )

src/commitments/packer.rs:77

Methodconfigure

( meta: &mut ConstraintSystem<F>, // TODO: ?? _input: [Column<Advice>; L], state: [Column<Advi

src/commitments/poseidon_commit.rs:79

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/bias_div_floor_relu6.rs:48

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/var_div.rs:32

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/dot_prod.rs:39

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/mul_pairs.rs:31

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/var_div_big3.rs:30

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/add_pairs.rs:31

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/var_div_big.rs:30

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/sub_pairs.rs:31

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/bias_div_round_relu6.rs:43

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/input_lookup.rs:24

Methodconfigure

TODO: it would be more efficient to do the division here directly

src/gadgets/square.rs:26

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/update.rs:34

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/sqrt_big.rs:33

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/adder.rs:27

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/squared_diff.rs:31

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/max.rs:31

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/nonlinear/rsqrt.rs:27

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/nonlinear/logistic.rs:27

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/nonlinear/pow.rs:28

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/nonlinear/exp.rs:30

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/nonlinear/relu.rs:27

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/nonlinear/sqrt.rs:27

Methodconfigure

( meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig, gadget_type: GadgetType, )

src/gadgets/nonlinear/non_linearity.rs:28

Methodconfigure

(meta: &mut ConstraintSystem<F>, gadget_config: GadgetConfig)

src/gadgets/nonlinear/tanh.rs:27

Methodconstants

src/commitments/poseidon_commit.rs:60

Methodconstruct

(normalize: bool)

src/layers/fully_connected.rs:29

Methodconstruct

(dag_config: DAGLayerConfig)

src/layers/dag.rs:54

Methodconstruct

(num_bits_per_elem: usize, gadget_config: &GadgetConfig)

src/commitments/packer.rs:45

Methodconstruct

(config: BiasDivFloorRelu6Config)

src/gadgets/bias_div_floor_relu6.rs:24

Methodconstruct

(config: Rc<VarDivRoundConfig>)

src/gadgets/var_div.rs:21

Methodconstruct

(config: Rc<DotProductConfig>)

src/gadgets/dot_prod.rs:22

Methodconstruct

(config: Rc<MulPairsConfig>)

src/gadgets/mul_pairs.rs:20

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/var_div_big3.rs:19

Methodconstruct

(config: Rc<AddPairsConfig>)

src/gadgets/add_pairs.rs:20

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/var_div_big.rs:19

Methodconstruct

(config: Rc<SubPairsConfig>)

src/gadgets/sub_pairs.rs:20

Methodconstruct

(config: Rc<BiasDivRoundRelu6Config>)

src/gadgets/bias_div_round_relu6.rs:24

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/input_lookup.rs:17

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/square.rs:18

Methodconstruct

(config: UpdateConfig)

src/gadgets/update.rs:23

Methodconstruct

(config: Rc<SqrtBigConfig>)

src/gadgets/sqrt_big.rs:22

Methodconstruct

(config: Rc<AdderConfig>)

src/gadgets/adder.rs:20

Methodconstruct

(config: Rc<SquaredDiffConfig>)

src/gadgets/squared_diff.rs:20

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/max.rs:20

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/nonlinear/rsqrt.rs:20

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/nonlinear/logistic.rs:20

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/nonlinear/pow.rs:21

Methodconstruct

(config: Rc<ExpGadgetConfig>)

src/gadgets/nonlinear/exp.rs:23

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/nonlinear/relu.rs:20

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/nonlinear/sqrt.rs:20

Methodconstruct

(config: Rc<GadgetConfig>)

src/gadgets/nonlinear/tanh.rs:20

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/rsqrt.rs:17

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/logistic.rs:17

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/pow.rs:17

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/batch_mat_mul.rs:19

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMa

src/layers/max_pool_2d.rs:83

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/sqrt.rs:17

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/square.rs:18

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/update.rs:17

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/conv2d.rs:289

( &self, layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap<i64

src/layers/mean.rs:111

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i

src/layers/noop.rs:12

( &self, layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap<i64

src/layers/avg_pool_2d.rs:64

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/div_fixed.rs:54

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/squared_diff.rs:21

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/fully_connected.rs:113

( &self, mut layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap

src/layers/tanh.rs:17

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i

src/layers/shape/transpose.rs:16

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i

src/layers/shape/resize_nn.rs:17

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i

src/layers/shape/reshape.rs:16

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i

src/layers/shape/broadcast.rs:22

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i

src/layers/shape/split.rs:16

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap<i6

src/layers/shape/pad.rs:73

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i

src/layers/shape/pack.rs:16

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i

src/layers/shape/slice.rs:16

( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i

src/layers/shape/concatenation.rs:16

← previous next →101–200 of 400, ranked by callers