Functions — github.com/Lagrange-Labs/reckle-trees

hub / github.com/Lagrange-Labs/reckle-trees / functions

Functions137 in github.com/Lagrange-Labs/reckle-trees

⨍ Functions 137◇ Types & classes 43

↓ 53 callersMethodlen

(&self)

src/utils/mt_binary.rs:16

↓ 15 callersFunctionconnect_targets

( builder: &mut CircuitBuilder<F, D>, left_target: &[Target], right_target: &[Target], )

src/utils/helpers.rs:184

↓ 9 callersMethodprove

(&self, pw: PartialWitness<F>)

src/bls/provers.rs:86

↓ 9 callersMethodverify

( merkle_root: H::Hash, leaf_index: u32, leaf_data: &Vec<F>, proof: &MerklePro

src/utils/mt_binary.rs:133

↓ 8 callersMethodprove

(&self, pw: PartialWitness<F>)

src/reckle_std/provers.rs:77

↓ 6 callersMethodcompute_pw

(&mut self, index: u32)

src/reckle_std/provers.rs:53

↓ 6 callersMethodcompute_pw

(&mut self, index: u32)

src/digest_translation/provers.rs:58

↓ 6 callersMethodcompute_pw

(&mut self, bucket_index: u32)

src/bls/provers.rs:53

↓ 6 callersMethodcompute_pw

(&mut self, bucket_index: u32)

src/reckle_bucket/provers.rs:52

↓ 6 callersMethodprove

(&self, pw: PartialWitness<F>)

src/digest_translation/provers.rs:70

↓ 6 callersMethodprove

(&self, pw: PartialWitness<F>)

src/reckle_bucket/provers.rs:81

↓ 4 callersFunctiong1_is_zero

( builder: &mut CircuitBuilder<F, D>, input: &G1Target<F, D>, )

src/utils/helpers.rs:330

↓ 4 callersFunctiongenerate_recproofs_leaves

( leaf_size_including_index: usize, r: &mut StdRng, subset_indices: &HashSet<u32>, )

src/utils/helpers.rs:34

↓ 4 callersMethodget_digest

(&self)

src/utils/mt_binary.rs:156

↓ 4 callersFunctionis_hash_zero

( builder: &mut CircuitBuilder<F, D>, input_target: HashOutTarget, )

src/utils/helpers.rs:149

↓ 3 callersFunctionconcate_keccak_input

( builder: &mut CircuitBuilder<F, D>, input_size_bits: usize, left_data_bigint_target: BigUintTarg

src/utils/helpers.rs:214

↓ 3 callersFunctionconditional_equal_hash

( builder: &mut CircuitBuilder<F, D>, selector: BoolTarget, left_target: HashOutTarget, right_

src/utils/helpers.rs:131

↓ 3 callersFunctionconnect_biguint_with_target

( builder: &mut CircuitBuilder<F, D>, lhs: &BigUintTarget, rhs: &[Target], )

src/utils/helpers.rs:200

↓ 3 callersFunctionconvert_target_to_u32target_le

( builder: &mut CircuitBuilder<F, D>, data: &[Target], )

src/utils/helpers.rs:277

↓ 3 callersFunctionhash_select

( builder: &mut CircuitBuilder<F, D>, selector: BoolTarget, left_target: HashOutTarget, right_

src/utils/helpers.rs:74

↓ 3 callersMethodprove

(&self, leaf_index: u32)

src/utils/mt_binary.rs:88

↓ 2 callersFunctionconditional_equal_target

BLS =========================================================================

src/utils/helpers.rs:317

↓ 2 callersFunctiongenerate_leaf_value

( leaf_size_including_index: usize, r: &mut StdRng, index: u32, )

src/utils/helpers.rs:58

↓ 2 callersMethodget_digest

(&self)

src/utils/canonical.rs:60

↓ 2 callersMethodget_recproof

(&self)

src/reckle_std/binary_tree.rs:235

↓ 2 callersMethodget_recproof

(&self)

src/bls/binary_tree.rs:200

↓ 2 callersMethodget_recproof

(&self)

src/reckle_bucket/binary_tree.rs:212

↓ 2 callersFunctionrange_check_bigint_limbs

( builder: &mut CircuitBuilder<F, D>, values: &BigUintTarget, n_log: usize, )

src/utils/helpers.rs:293

↓ 2 callersMethodsize_by_level

(&self)

src/reckle_std/binary_pp.rs:118

↓ 2 callersMethodsize_by_level

(&self, pp: &SNARK_PP<F, C, D>, updated_index: u32)

src/reckle_std/binary_tree.rs:246

↓ 2 callersMethodsize_by_level

(&self)

src/digest_translation/binary_pp.rs:116

↓ 2 callersMethodsize_by_level

(&self)

src/bls/binary_pp.rs:122

↓ 2 callersMethodsize_by_level

(&self)

src/reckle_bucket/binary_pp.rs:119

↓ 2 callersFunctionu8_to_u32_le

(data: &Vec<u8>)

src/utils/helpers.rs:307

↓ 2 callersMethodupdate_tree

(&mut self, pp: &SNARK_PP<F, C, D>, updated_index: u32, updated_value: Vec<F>)

src/reckle_std/binary_tree.rs:152

↓ 1 callersMethodbucket_size

(&self)

src/utils/mt_binary.rs:33

↓ 1 callersMethodcompute_pw

(&self, data_target: &Vec<Vec<F>>)

src/baseline/digest_translation/wire_information.rs:17

↓ 1 callersFunctiong1_affine_to_u32

(data: G1Affine)

src/utils/helpers.rs:357

↓ 1 callersFunctiongenerate_bls_pk

(r: &mut StdRng)

src/utils/helpers.rs:341

↓ 1 callersFunctionget_pp_size_ecc

( cd: CommonCircuitData<F, D>, pd: &ProverCircuitData<F, C, D>, vd: VerifierCircuitData<F, C, D>,

src/utils/helpers.rs:430

↓ 1 callersFunctionget_pp_size_std

( cd: CommonCircuitData<F, D>, pd: &ProverCircuitData<F, C, D>, vd: VerifierCircuitData<F, C, D>,

src/utils/helpers.rs:400

↓ 1 callersMethodget_verifier

(&self)

src/reckle_std/binary_pp.rs:114

↓ 1 callersMethodget_verifier

(&self)

src/bls/binary_pp.rs:118

↓ 1 callersMethodget_verifier

(&self)

src/reckle_bucket/binary_pp.rs:115

↓ 1 callersFunctionmerkle_select

( builder: &mut CircuitBuilder<F, D>, selector: BoolTarget, first_input: HashOutTarget, second

src/utils/helpers.rs:460

↓ 1 callersMethodupdate_tree

(&mut self, updated_index: u32, updated_value: Vec<F>)

src/utils/mt_binary.rs:203

↓ 1 callersMethodupdate_tree

( &mut self, pp: &SNARK_PP<F, C, D>, updated_index: u32, updated_value: Vec<F>

src/digest_translation/binary_tree.rs:123

↓ 1 callersMethodupdate_tree

( &mut self, pp: &SNARK_PP<Q, F, C, D>, updated_index: u32, updated_value: Vec

src/bls/binary_tree.rs:116

↓ 1 callersMethodupdate_tree

( &mut self, pp: &SNARK_PP<Q, F, C, D>, updated_index: u32, updated_value: Vec

src/reckle_bucket/binary_tree.rs:127

↓ 1 callersFunctionverify_child_proof

( builder: &mut CircuitBuilder<F, D>, verifier_circuit_target: &VerifierCircuitTarget, inner_cd:

src/digest_translation/binary_circuits.rs:244

Functionbls_benches

()

src/bls/binary_tree.rs:283

Functionbls_mono_benches

()

src/baseline/bls/binary_circuits.rs:105

Functionbls_mono_worker

()

src/baseline/bls/benches.rs:19

Functionbls_worker

()

src/bls/benches.rs:18

Functionbucket_benches

()

src/reckle_bucket/binary_tree.rs:295

Functionbucket_worker

()

src/reckle_bucket/benches.rs:20

Methodbuild_SNARK_tree

( pp: &SNARK_PP<F, C, D>, leaves: &HashMap<u32, Vec<F>>, mt: &PartialMT<F, C::Hasher>,

src/reckle_std/binary_tree.rs:74

Methodbuild_SNARK_tree

( pp: &SNARK_PP<F, C, D>, mt_kh: &PartialMT<F, KH>, mt_ph: &PartialMT<F, PH>, )

src/digest_translation/binary_tree.rs:60

Methodbuild_SNARK_tree

( pp: &SNARK_PP<Q, F, C, D>, leaves: &HashMap<u32, Vec<F>>, mt: &PartialMT<F, C::Hashe

src/bls/binary_tree.rs:52

Methodbuild_SNARK_tree

( pp: &SNARK_PP<Q, F, C, D>, leaves: &HashMap<u32, Vec<F>>, mt: &PartialMT<F, C::Hashe

src/reckle_bucket/binary_tree.rs:54

Functioncircuit_setup

( log_tree_size: u8, log_subset_size: u8, _min_degree_bits: Option<&usize>, )

src/baseline/bls/binary_circuits.rs:18

Functioncompact_circuit_setup

( inner_cd: &CommonCircuitData<F, D>, prev_circuit_digest: HashOut<F>, min_degree_bits: Option<&us

src/reckle_std/binary_circuits.rs:186

Functioncompact_circuit_setup

( inner_cd: &CommonCircuitData<F, D>, prev_circuit_digest: HashOut<F>, )

src/digest_translation/binary_circuits.rs:177

Functioncompact_circuit_setup

( inner_cd: &CommonCircuitData<F, D>, prev_circuit_digest: HashOut<F>, min_degree_bits: Option<&us

src/bls/binary_circuits.rs:206

Functioncompact_circuit_setup

( inner_cd: &CommonCircuitData<F, D>, prev_circuit_digest: HashOut<F>, min_degree_bits: Option<&us

src/reckle_bucket/binary_circuits.rs:145

Methodcompute_pw

( &self, left_merkle: HashOut<F>, left_canonical: HashOut<F>, right_merkle: H

src/reckle_std/wire_information.rs:42

Methodcompute_pw

( &self, digest_target: HashOut<F>, merkle_proofs: &HashMap<u32, (Vec<F>, MerkleProof<

src/baseline/bls/wire_information.rs:36

Methodcompute_pw

(&self, left_data: &[F], right_data: &[F])

src/digest_translation/wire_information.rs:24

Methodcompute_pw

( &self, left_merkle: HashOut<F>, left_apk: &[F], right_merkle: HashOut<F>,

src/bls/wire_information.rs:38

Methodcompute_pw

( &self, merkle_targets: &[HashOut<F>], canonical_targets: &[HashOut<F>], )

src/reckle_bucket/wire_information.rs:29

Functioncompute_root_canonical

( builder: &mut CircuitBuilder<F, D>, selector: BoolTarget, left_canonical_target: HashOutTarget,

src/utils/helpers.rs:93

Functionconnect_inner_digests

( builder: &mut CircuitBuilder<F, D>, merkle_target: HashOutTarget, canonical_target: HashOutTarge

src/utils/helpers.rs:165

Functionconvert_hashout_to_biguint

Baseline ====================================================================

src/utils/helpers.rs:386

Functionct_test_1

()

src/utils/canonical.rs:139

Functionct_test_base

(ell: u8)

src/utils/canonical.rs:112

Methoddefault

()

src/utils/mt_binary.rs:54

Methoddefault

()

src/utils/canonical.rs:15

Functiondt_benches

()

src/digest_translation/binary_tree.rs:299

Functiondt_mono_benches

()

src/baseline/digest_translation/binary_circuits.rs:92

Functiondt_mono_worker

()

src/baseline/digest_translation/benches.rs:19

Functiondt_worker

()

src/digest_translation/benches.rs:17

Methodfrom_bucket_proofs

(proofs: &HashMap<u32, (Vec<F>, MerkleBucketProof<F, H>)>)

src/utils/mt_binary.rs:274

Methodfrom_proofs

(proofs: &HashMap<u32, (Vec<F>, MerkleProof<F, H>)>)

src/utils/mt_binary.rs:169

Methodfrom_public_params_and_inputs

(data: &'a PublicParamsAndInputs)

src/reckle_std/provers.rs:84

Methodfrom_public_params_and_inputs

(data: &'a PublicParamsAndInputs<F, C, KH, PH, D>)

src/digest_translation/provers.rs:75

Methodfrom_public_params_and_inputs

(data: &'a PublicParamsAndInputs<Q, F, C, D>)

src/bls/provers.rs:90

Methodfrom_public_params_and_inputs

(data: &'a PublicParamsAndInputs<Q, F, C, D>)

src/reckle_bucket/provers.rs:85

Functiong1_affine_to_field

(data: G1Affine)

src/utils/helpers.rs:348

Functiongenerate_bls_pks

(r: &mut StdRng, subset_indices: &HashSet<u32>)

src/utils/helpers.rs:369

Methodget_digest_bytes

(&self)

src/utils/mt_binary.rs:163

Methodget_leaves_map

( merkle_proofs: &HashMap<u32, (Vec<F>, MerkleProof<F, C::Hasher>)>, )

src/reckle_std/binary_tree.rs:61

Methodget_recproof

(&self)

src/digest_translation/binary_tree.rs:207

Methodget_verifier

(&self)

src/digest_translation/binary_pp.rs:112

Functioninternal_circuit_setup

( inner_cd: &CommonCircuitData<F, D>, prev_circuit_digest: HashOut<F>, min_degree_bits: Option<&us

src/reckle_std/binary_circuits.rs:91

Functioninternal_circuit_setup

( inner_cd: &CommonCircuitData<F, D>, prev_circuit_digest: PH::Hash, )

src/digest_translation/binary_circuits.rs:85

Functioninternal_circuit_setup

( inner_cd: &CommonCircuitData<F, D>, prev_circuit_digest: HashOut<F>, min_degree_bits: Option<&us

src/bls/binary_circuits.rs:109

Functioninternal_circuit_setup

( inner_cd: &CommonCircuitData<F, D>, prev_circuit_digest: HashOut<F>, min_degree_bits: Option<&us

src/reckle_bucket/binary_circuits.rs:112

Methodis_empty

(&self)

src/utils/mt_binary.rs:20

Functionleaf_circuit_setup

( min_degree_bits: Option<&usize>, )

src/reckle_std/binary_circuits.rs:21

Functionleaf_circuit_setup

( log_tree_size: u8, _min_degree_bits: Option<&usize>, )

src/baseline/digest_translation/binary_circuits.rs:16

next →1–100 of 137, ranked by callers