Functions — github.com/asn-d6/curdleproofs

CodeHub MCPcopy Create free account

hub / github.com/asn-d6/curdleproofs / functions

Functions105 in github.com/asn-d6/curdleproofs

⨍ Functions 105◇ Types & classes 18

↓ 52 callersMethodmul

(self, other: Fr)

src/commitments.rs:73

↓ 43 callersFunctionmsm

An ergonomic MSM function

↓ 24 callersMethodappend_list

(&mut self, label: &'static [u8], items: &[&T])

src/transcript.rs:35

↓ 23 callersMethodget_and_append_challenge

(&mut self, label: &'static [u8])

src/transcript.rs:41

↓ 14 callersMethodappend

(&mut self, label: &'static [u8], item: &impl CanonicalSerialize)

src/transcript.rs:29

↓ 13 callersFunctiongenerate_blinders

Generate and return `n` blinders

↓ 10 callersMethodaccumulate_check

Accumulate the check $C = \bm{x} \times \bm{V}$

src/msm_accumulator.rs:37

↓ 10 callersFunctiondeserialize_g1projective_vec

( mut r: R, n: usize, )

src/util.rs:116

↓ 10 callersFunctionmsm_from_projective

An ergonomic MSM function that works with projective points

↓ 10 callersFunctionserialize_g1projective_vec

( v: &[G1Projective], mut w: W, )

src/util.rs:125

↓ 9 callersFunctionfrom_bytes_g1affine

(buf: &G1PointBytes)

src/whisk.rs:313

↓ 7 callersFunctiongenerate_crs

Generate a randomly generated CRS

src/curdleproofs.rs:25

↓ 7 callersFunctionget_permutation

Return `vec_a` permuted

↓ 7 callersFunctioninner_product

Return the inner product of two field vectors

↓ 7 callersFunctionto_bytes_g1affine

(g1: &G1Affine)

src/whisk.rs:307

↓ 7 callersMethodtry_into

↓ 6 callersFunctionfrom_hex_g1affine

↓ 6 callersFunctionsum_affine_points

(affine_points: &[G1Affine])

src/util.rs:108

↓ 5 callersFunctionto_hex_g1affine

↓ 4 callersFunctionapply_permutation_group

(vec_a: Vec<G1Affine>, permutation: &Vec<u32>)

benches/perf.rs:19

↓ 4 callersFunctionget_k_commitment

src/whisk.rs:370

↓ 3 callersFunctiongenerate_whisk_shuffle_proof

Create a whisk shuffle proof and serialize it for Whisk # Arguments `crs` - Curdleproofs CRS (Common Reference String), a trusted setup `pr

src/whisk.rs:144

↓ 3 callersFunctiongenerate_whisk_tracker_proof

( rng: &mut T, tracker: &WhiskTracker, k: &Fr, )

src/whisk.rs:228

↓ 3 callersFunctionshuffle_permute_and_commit_input

Given input vectors, the permutation and the randomizer, shuffle and permute the input. Basically, prepare everything so that a shuffle proof can be

↓ 3 callersFunctionunzip_trackers

( trackers: &[WhiskTracker], )

src/whisk.rs:265

↓ 2 callersFunctioncompute_initial_k

src/whisk.rs:573

↓ 2 callersFunctiondeserialize_tracker_proof

( proof_bytes: &TrackerProofBytes, )

src/whisk.rs:301

↓ 2 callersFunctionfrom_bytes_fr

Convert bytes to a BLS field scalar. The output is not uniform over the BLS field. Reads bytes in big-endian, and converts them to a field element. I

src/whisk.rs:343

↓ 2 callersFunctionfrom_hex_g1affine_vec

↓ 2 callersFunctiongenerate_random_points

(num_points: usize, seed: &str)

tests/crs.rs:13

↓ 2 callersFunctiongenerate_shuffle_trackers

( rng: &mut T, )

src/whisk.rs:375

↓ 2 callersMethodget_and_append_challenges

(&mut self, label: &'static [u8], n: usize)

src/transcript.rs:56

↓ 2 callersFunctionget_verification_scalars_bitstring

Get a bitstring to derive the verification scalars using binary decomposition. Used to [optimize the verifier](crate::notes::optimizations#ipa-verific

↓ 2 callersMethodlog2_n

↓ 2 callersFunctionprocess_block

(crs: &CurdleproofsCrs, state: &mut State, block: &Block)

src/whisk.rs:475

↓ 2 callersFunctionproduce_block

( crs: &CurdleproofsCrs, state: &State, proposer_k: &Fr, proposer_index: u64,

src/whisk.rs:522

↓ 2 callersMethodserialize

(&self, mut w: W)

src/whisk.rs:84

↓ 2 callersFunctiontest_crs

(crs: &CurdleproofsCrs, n: usize)

tests/crs.rs:100

↓ 2 callersFunctionto_hex_g1affine_vec

(v: &[G1Affine])

↓ 1 callersFunctiongenerate_ipa_blinders

Generate two blinder vectors `r` and `z` that satisfy the following constraints: <r, d> + <z, c> == 0 ^ <r, z> == 0 We do this by solving a system o

src/inner_product_argument.rs:42

↓ 1 callersFunctiongenerate_shuffle_trackers

( rng: &mut T, n: usize, )

tests/crs.rs:116

↓ 1 callersFunctionserialize_tracker_proof

(proof: &TrackerProof)

src/whisk.rs:295

↓ 1 callersFunctionshuffle_proof_fixture

src/whisk.rs:412

↓ 1 callersMethodverification_scalars

( &self, n: usize, transcript: &mut Transcript, )

src/same_multiscalar_argument.rs:154

↓ 1 callersMethodverification_scalars

( &self, n: usize, transcript: &mut Transcript, )

src/inner_product_argument.rs:202

↓ 1 callersMethodverify

( &self, crs: &CurdleproofsCrs, vec_R: &Vec<G1Affine>, vec_S: &Vec<G1Affine>,

src/curdleproofs.rs:197

↓ 1 callersFunctionzip_trackers

( vec_r: &[G1Affine], vec_s: &[G1Affine], )

src/whisk.rs:279

(self, other: Self)

src/commitments.rs:61

Functionbenchmark_shuffle

(c: &mut Criterion)

benches/perf.rs:26

Functionbls_g1_scalar_multiply

G1 scalar multiplication

src/whisk.rs:323

Methoddeserialize

(mut r: R, log2_n: usize)

src/same_multiscalar_argument.rs:276

Methoddeserialize

(mut r: R, log2_n: usize)

src/inner_product_argument.rs:340

Methoddeserialize

(mut r: R, log2_n: usize)

src/curdleproofs.rs:312

Methoddeserialize

(mut r: R, log2_n: usize)

src/whisk.rs:90

Methoddeserialize

(mut r: R, log2_n: usize)

src/same_permutation_argument.rs:179

Methoddeserialize

(mut r: R, log2_n: usize)

src/grand_product_argument.rs:255

Functionethereum_crs_128_seed

tests/crs.rs:55

Functionethereum_crs_128_unsafe_rand

tests/crs.rs:92

Functionethereum_crs_8_seed

tests/crs.rs:73

(rng: &mut T, k: &Fr)

src/whisk.rs:57

(k: &Fr, r: &Fr)

src/whisk.rs:45

Methodfrom_points

(ell: usize, points: &[G1Affine])

Methodfrom_rand

src/whisk.rs:61

Functiong1_generator

Returns G1 generator (x,y)

src/whisk.rs:318

Methodgenerate_crs

Generate a randomly generated (unsafe) CRS

Functionis_valid_whisk_shuffle_proof

Verify a whisk shuffle proof # Arguments `crs` - Curdleproofs CRS (Common Reference String), a trusted setup `pre_trackers`

src/whisk.rs:106

Functionis_valid_whisk_tracker_proof

Verify knowledge of `k` such that `tracker.k_r_g == k * tracker.r_g` and `k_commitment == k * BLS_G1_GENERATOR`. Defined in <https://github.com/nalinb

src/whisk.rs:183

src/msm_accumulator.rs:28

( crs_G_t: &G1Projective, crs_G_u: &G1Projective, crs_H: &G1Projective, R: G1

src/same_scalar_argument.rs:39

( mut crs_G_vec: Vec<G1Affine>, A: G1Projective, Z_t: G1Projective, Z_u: G1Pr

src/same_multiscalar_argument.rs:54

( mut crs_G_vec: Vec<G1Affine>, mut crs_G_prime_vec: Vec<G1Affine>, crs_H: &G1Projecti

src/inner_product_argument.rs:98

( crs: &CurdleproofsCrs, vec_R: Vec<G1Affine>, vec_S: Vec<G1Affine>, vec_T: V

src/curdleproofs.rs:59

Commit to `T` using provided CRS and randomness `r`

src/commitments.rs:44

( crs_G_vec: &Vec<G1Affine>, crs_H_vec: &Vec<G1Affine>, crs_U: &G1Projective, // This

src/same_permutation_argument.rs:40

( crs_G_vec: &Vec<G1Affine>, crs_H_vec: &Vec<G1Affine>, crs_U: &G1Projective, // This

src/grand_product_argument.rs:43

Functionrand_scalar

src/whisk.rs:328

Functionserde_crs_json

Functionserde_fr_rand

src/whisk.rs:355

Functionserde_g1_roundtrip

src/whisk.rs:364

Methodserialize

(&self, mut w: W)

src/same_multiscalar_argument.rs:263

Methodserialize

(&self, mut w: W)

src/inner_product_argument.rs:328

Methodserialize

(&self, mut w: W)

src/curdleproofs.rs:300

Methodserialize

(&self, mut w: W)

src/same_permutation_argument.rs:173

Methodserialize

(&self, mut w: W)

src/grand_product_argument.rs:248

Functiontest_bad_shuffle_arguments

src/curdleproofs.rs:385

Functiontest_gprod_argument

src/grand_product_argument.rs:274

Functiontest_group_commit

src/commitments.rs:88

Functiontest_inner_product

src/inner_product_argument.rs:450

Functiontest_inner_product_argument

src/inner_product_argument.rs:364

Functiontest_msm_accumulator

src/msm_accumulator.rs:82

Functiontest_same_msm_argument

src/same_multiscalar_argument.rs:300

Functiontest_same_perm_argument

src/same_permutation_argument.rs:199

Functiontest_same_scalar_argument

src/same_scalar_argument.rs:146

Functiontest_shuffle_argument

src/curdleproofs.rs:336

Functionto_bytes_fr

Serialize field element to bytes

src/whisk.rs:333

(value: &CurdleproofsCrs)

Verify all checks accumulated on this MSM accumulator

src/msm_accumulator.rs:55

( &self, crs_G_t: &G1Projective, crs_G_u: &G1Projective, crs_H: &G1Projective

src/same_scalar_argument.rs:96

( &self, crs_G_vec: &[G1Affine], A: G1Projective, Z_t: G1Projective,

src/same_multiscalar_argument.rs:213

( &self, crs_G_vec: &Vec<G1Affine>, crs_H: &G1Projective, C: G1Projective, //

src/inner_product_argument.rs:264

next →1–100 of 105, ranked by callers