Functions — github.com/arnaucube/protogalaxy-poc

CodeHub MCPcopy Create free account

hub / github.com/arnaucube/protogalaxy-poc / functions

Functions38 in github.com/arnaucube/protogalaxy-poc

⨍ Functions 38 ◇ Types & classes 9

↓ 10 callersMethodget_challenge

src/transcript.rs:39

↓ 6 callersFunctionpowers_of_beta

returns (b, b^2, b^4, ..., b^{2^{t-1}})

src/utils.rs:57

↓ 5 callersFunctioneval_f

f(w) in R1CS context

src/protogalaxy.rs:328

↓ 4 callersMethodadd_point

(&mut self, v: &C)

src/transcript.rs:34

↓ 4 callersMethodadd_vec

(&mut self, v: &[F])

src/transcript.rs:31

↓ 4 callersFunctionvec_scalar_mul

(vec: &[F], c: &F)

src/utils.rs:22

↓ 3 callersFunctionmat_vec_mul

(M: &Vec<Vec<F>>, z: &[F])

src/utils.rs:38

↓ 3 callersFunctionpow_i

naive impl of pow_i for betas, assuming that betas=(b, b^2, b^4, ..., b^{2^{t-1}})

src/protogalaxy.rs:273

↓ 3 callersFunctionprepare_inputs

k represents the number of instances to be fold, appart from the running instance

src/protogalaxy.rs:485

↓ 3 callersFunctionvec_add

(a: &[F], b: &[F])

↓ 2 callersMethodadd

(&mut self, v: &F)

src/transcript.rs:28

↓ 2 callersFunctionall_powers

(a: F, n: usize)

src/utils.rs:65

↓ 2 callersFunctionbit_decompose

(input: u64, n: usize)

src/utils.rs:74

↓ 2 callersMethodget_challenge_vec

(&mut self, n: usize)

src/transcript.rs:44

↓ 2 callersFunctionlagrange_polys

lagrange_polys method from caulk: https://github.com/caulk-crypto/caulk/tree/8210b51fb8a9eef4335505d1695c44ddc7bf8170/src/multi/setup.rs#L300

src/protogalaxy.rs:309

↓ 1 callersFunctionhadamard

(a: &[F], b: &[F])

src/utils.rs:51

↓ 1 callersFunctionpow_i_over_x

(i: usize, betas: &Vec<F>, deltas: &Vec<F>)

src/protogalaxy.rs:290

↓ 1 callersFunctionto_F_vec

(z: Vec<usize>)

src/protogalaxy.rs:371

↓ 1 callersFunctionvec_sub

(a: &[F], b: &[F])

src/utils.rs:13

Functioncheck_instance

( r1cs: &R1CS<C::ScalarField>, instance: &CommittedInstance<C>, w: &Witness<C>, )

src/protogalaxy.rs:334

( params: &Params<C>, v: &Vec<C::ScalarField>, r: &C::ScalarField, // random value is

src/pedersen.rs:46

Functionget_test_r1cs

src/protogalaxy.rs:379

Functionget_test_z

src/protogalaxy.rs:420

Functionis_zero_vec

src/utils.rs:29

(poseidon_config: &PoseidonConfig<F>)

src/transcript.rs:21

Methodnew_params

(rng: &mut R, max: usize)

src/pedersen.rs:35

Functionposeidon_test_config

WARNING this is for test only

src/transcript.rs:54

( transcript: &mut Transcript<C::ScalarField, C>, r1cs: &R1CS<C::ScalarField>, // runn

src/protogalaxy.rs:41

( params: &Params<C>, transcript: &mut Transcript<C::ScalarField, C>, cm: &Commitment<

src/pedersen.rs:55

Functiontest_eval_f

src/protogalaxy.rs:472

Functiontest_fold_native_case

src/protogalaxy.rs:542

Functiontest_fold_various_iterations

src/protogalaxy.rs:582

Functiontest_pedersen_vector

src/pedersen.rs:108

Functiontest_pow_i

src/protogalaxy.rs:435

Functiontest_pow_i_over_x

src/protogalaxy.rs:449

Functionto_F_matrix

(M: Vec<Vec<usize>>)

src/protogalaxy.rs:361

( transcript: &mut Transcript<C::ScalarField, C>, r1cs: &R1CS<C::ScalarField>, // runn

src/protogalaxy.rs:204

( params: &Params<C>, transcript: &mut Transcript<C::ScalarField, C>, cm: Commitment<C

src/pedersen.rs:76