Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/ddkang/zkml
/ functions
Functions
400 in github.com/ddkang/zkml
⨍
Functions
400
◇
Types & classes
92
Method
forward
( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, constants: &HashMap<i6
src/layers/shape/mask_neg_inf.rs:16
Method
forward
( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i
src/layers/shape/permute.rs:16
Method
forward
( &self, _layouter: impl Layouter<F>, tensors: &Vec<AssignedTensor<F>>, _constants: &HashMap<i
src/layers/shape/rotate.rs:26
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/bias_div_floor_relu6.rs:251
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/var_div.rs:192
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/gadget.rs:141
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/dot_prod.rs:161
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/mul_pairs.rs:111
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/var_div_big3.rs:280
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/add_pairs.rs:110
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/var_div_big.rs:256
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/sub_pairs.rs:110
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/bias_div_round_relu6.rs:281
Method
forward
( &self, mut layouter: impl halo2_proofs::circuit::Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell
src/gadgets/square.rs:100
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/update.rs:183
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/sqrt_big.rs:171
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/adder.rs:109
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/squared_diff.rs:111
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/max.rs:148
Method
forward
( &self, layouter: impl halo2_proofs::circuit::Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F,
src/gadgets/nonlinear/rsqrt.rs:94
Method
forward
( &self, layouter: impl halo2_proofs::circuit::Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F,
src/gadgets/nonlinear/logistic.rs:98
Method
forward
( &self, layouter: impl halo2_proofs::circuit::Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F,
src/gadgets/nonlinear/pow.rs:97
Method
forward
( &self, layouter: impl halo2_proofs::circuit::Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F,
src/gadgets/nonlinear/exp.rs:96
Method
forward
( &self, layouter: impl halo2_proofs::circuit::Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F,
src/gadgets/nonlinear/relu.rs:92
Method
forward
( &self, layouter: impl halo2_proofs::circuit::Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F,
src/gadgets/nonlinear/sqrt.rs:93
Method
forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, single_in
src/gadgets/nonlinear/non_linearity.rs:167
Method
forward
( &self, layouter: impl halo2_proofs::circuit::Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F,
src/gadgets/nonlinear/tanh.rs:96
Method
full_rounds
()
src/commitments/poseidon_commit.rs:44
Method
gadget_forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, constants
src/layers/arithmetic/div_var.rs:25
Method
gadget_forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, constants
src/layers/arithmetic/sub.rs:27
Method
gadget_forward
( &self, mut layouter: impl Layouter<F>, vec_inputs: &Vec<Vec<&AssignedCell<F, F>>>, constants
src/layers/arithmetic/mul.rs:28
Method
generate_from_file
(config_file: &str, inp_file: &str)
src/model.rs:292
Method
generate_from_msgpack
(config: ModelMsgpack, panic_empty_tensor: bool)
src/model.rs:297
Method
generate_map
(scale_factor: u64, min_val: i64, num_rows: i64)
src/gadgets/nonlinear/rsqrt.rs:33
Method
generate_map
(scale_factor: u64, min_val: i64, num_rows: i64)
src/gadgets/nonlinear/logistic.rs:37
Method
generate_map
(scale_factor: u64, min_val: i64, num_rows: i64)
src/gadgets/nonlinear/pow.rs:34
Method
generate_map
(scale_factor: u64, min_val: i64, num_rows: i64)
src/gadgets/nonlinear/exp.rs:36
Method
generate_map
(_scale_factor: u64, min_val: i64, num_rows: i64)
src/gadgets/nonlinear/relu.rs:33
Method
generate_map
(scale_factor: u64, min_val: i64, num_rows: i64)
src/gadgets/nonlinear/sqrt.rs:33
Method
generate_map
(scale_factor: u64, min_val: i64, num_rows: i64)
src/gadgets/nonlinear/tanh.rs:33
Method
get_div_val
( &self, mut layouter: impl Layouter<F>, _tensors: &Vec<AssignedTensor<F>>, gadget_config: Rc<
src/layers/avg_pool_2d.rs:32
Method
get_exponents
(num_bits_per_elem: usize, num_exponents: usize)
src/commitments/packer.rs:36
Method
get_input_columns
(config: &GadgetConfig)
src/gadgets/dot_prod.rs:29
Method
get_map
(scale_factor: u64, num_rows: i64, div_outp_min_val: i64)
src/gadgets/bias_div_floor_relu6.rs:31
Method
get_map
(scale_factor: u64, min_val: i64, num_rows: i64)
src/gadgets/bias_div_round_relu6.rs:31
Method
get_map
(&self)
src/gadgets/nonlinear/rsqrt.rs:46
Method
get_map
(&self)
src/gadgets/nonlinear/logistic.rs:50
Method
get_map
(&self)
src/gadgets/nonlinear/exp.rs:48
Method
get_map
(&self)
src/gadgets/nonlinear/relu.rs:44
Method
get_map
(&self)
src/gadgets/nonlinear/sqrt.rs:45
Method
get_map
(&self)
src/gadgets/nonlinear/tanh.rs:48
Method
get_padding
( h: usize, w: usize, si: usize, sj: usize, ci: usize, cj: usize, )
src/layers/conv2d.rs:81
Method
get_selector
(&self)
src/gadgets/nonlinear/rsqrt.rs:50
Method
get_selector
(&self)
src/gadgets/nonlinear/logistic.rs:54
Method
get_selector
(&self)
src/gadgets/nonlinear/exp.rs:52
Method
get_selector
(&self)
src/gadgets/nonlinear/relu.rs:48
Method
get_selector
(&self)
src/gadgets/nonlinear/sqrt.rs:49
Method
get_selector
(&self)
src/gadgets/nonlinear/tanh.rs:52
Method
get_weight_columns
(config: &GadgetConfig)
src/gadgets/dot_prod.rs:34
Method
load_lookups
(&self, _layouter: impl Layouter<F>)
src/gadgets/gadget.rs:95
Method
load_lookups
(&self, mut layouter: impl Layouter<F>)
src/gadgets/bias_div_round_relu6.rs:140
Method
load_lookups
(&self, layouter: impl Layouter<F>)
src/gadgets/nonlinear/rsqrt.rs:72
Method
load_lookups
(&self, layouter: impl Layouter<F>)
src/gadgets/nonlinear/logistic.rs:76
Method
load_lookups
(&self, layouter: impl Layouter<F>)
src/gadgets/nonlinear/pow.rs:75
Method
load_lookups
(&self, layouter: impl Layouter<F>)
src/gadgets/nonlinear/exp.rs:74
Method
load_lookups
(&self, layouter: impl Layouter<F>)
src/gadgets/nonlinear/relu.rs:70
Method
load_lookups
(&self, layouter: impl Layouter<F>)
src/gadgets/nonlinear/sqrt.rs:71
Method
load_lookups
( &self, mut layouter: impl Layouter<F>, config: Rc<GadgetConfig>, gadget_type: GadgetType,
src/gadgets/nonlinear/non_linearity.rs:78
Method
load_lookups
(&self, layouter: impl Layouter<F>)
src/gadgets/nonlinear/tanh.rs:74
Function
main
()
src/bin/time_circuit.rs:7
Function
main
()
src/bin/verify_circuit.rs:7
Function
main
()
src/bin/test_circuit.rs:10
Function
main
()
src/bin/verify_wav.rs:12
Method
name
(&self)
src/gadgets/bias_div_floor_relu6.rs:125
Method
name
(&self)
src/gadgets/var_div.rs:102
Method
name
(&self)
src/gadgets/dot_prod.rs:76
Method
name
(&self)
src/gadgets/mul_pairs.rs:63
Method
name
(&self)
src/gadgets/var_div_big3.rs:130
Method
name
(&self)
src/gadgets/add_pairs.rs:63
Method
name
(&self)
src/gadgets/var_div_big.rs:117
Method
name
(&self)
src/gadgets/sub_pairs.rs:63
Method
name
(&self)
src/gadgets/bias_div_round_relu6.rs:124
Method
name
(&self)
src/gadgets/input_lookup.rs:62
Method
name
(&self)
src/gadgets/square.rs:52
Method
name
(&self)
src/gadgets/update.rs:89
Method
name
(&self)
src/gadgets/sqrt_big.rs:99
Method
name
(&self)
src/gadgets/adder.rs:59
Method
name
(&self)
src/gadgets/squared_diff.rs:63
Method
name
(&self)
src/gadgets/max.rs:84
Method
name
(&self)
src/gadgets/nonlinear/rsqrt.rs:56
Method
name
(&self)
src/gadgets/nonlinear/logistic.rs:60
Method
name
(&self)
src/gadgets/nonlinear/pow.rs:59
Method
name
(&self)
src/gadgets/nonlinear/exp.rs:58
Method
name
(&self)
src/gadgets/nonlinear/relu.rs:54
Method
name
(&self)
src/gadgets/nonlinear/sqrt.rs:55
Method
name
(&self)
src/gadgets/nonlinear/tanh.rs:58
Method
new
()
src/commitments/poseidon_commit.rs:36
Method
num_cols_per_op
(&self)
src/gadgets/dot_prod.rs:80
Method
num_cols_per_op
(&self)
src/gadgets/bias_div_round_relu6.rs:128
Method
num_cols_per_op
(&self)
src/gadgets/input_lookup.rs:66
← previous
next →
201–300 of 400, ranked by callers