Functions — github.com/WizardOfMenlo/stir

CodeHub MCPcopy Create free account

hub / github.com/WizardOfMenlo/stir / functions

Functions213 in github.com/WizardOfMenlo/stir

⨍ Functions 213◇ Types & classes 68

(self, params : LDTParameters, length, name="")

scripts/protocol.py:202

(self, ldt_params: LDTParameters)

scripts/protocol.py:263

src/crypto/merkle_tree/mod.rs:24

Methodargument_size

scripts/protocol.py:23

Methodargument_size

scripts/protocol.py:289

Methodauth_path_size

scripts/protocol.py:166

TODO: Rename witness_polynomial

src/stir/prover.rs:77

Methodcommitment_size

scripts/protocol.py:178

( parameters: &Self::Parameters, left_input: T, right_input: T, )

src/crypto/merkle_tree/blake2.rs:83

( parameters: &Self::Parameters, left_input: T, right_input: T, )

src/crypto/merkle_tree/poseidon.rs:79

( _: &Self::Parameters, _: T, _: T, )

src/crypto/merkle_tree/mock.rs:29

( parameters: &Self::Parameters, left_input: T, right_input: T, )

src/crypto/merkle_tree/blake3.rs:81

( parameters: &Self::Parameters, left_input: T, right_input: T, )

src/crypto/merkle_tree/sha3.rs:82

Methodconst_default

src/fri/mod.rs:24

Methodconst_default

src/stir/mod.rs:24

Functiondefault_config

( rng: &mut impl RngCore, _leaf_arity: usize, )

src/crypto/merkle_tree/blake2.rs:109

Functiondefault_config

( rng: &mut impl RngCore, _leaf_arity: usize, )

src/crypto/merkle_tree/poseidon.rs:115

Functiondefault_config

( rng: &mut impl RngCore, _leaf_arity: usize, )

src/crypto/merkle_tree/mock.rs:55

Functiondefault_config

( rng: &mut impl RngCore, _leaf_arity: usize, )

src/crypto/merkle_tree/blake3.rs:107

Functiondefault_config

( rng: &mut impl RngCore, _leaf_arity: usize, )

src/crypto/merkle_tree/sha3.rs:108

Functiondefault_fs_config

PoseidonSponge for testing

src/crypto/fs/poseidon.rs:8

src/poly_utils/bs08.rs:33

src/poly_utils/bs08.rs:41

src/domain.rs:160

src/fri/parameters.rs:91

src/stir/parameters.rs:127

(parameters: Parameters<F, MerkleConfig, FSConfig>)

src/fri/mod.rs:45

(parameters: Parameters<F, MerkleConfig, FSConfig>)

src/stir/mod.rs:45

scripts/ldt_params.py:24

( _: &Self::Parameters, input: T, )

src/crypto/merkle_tree/blake2.rs:43

( parameters: &Self::Parameters, input: T, )

src/crypto/merkle_tree/poseidon.rs:46

( _: &Self::Parameters, input: T, )

src/crypto/merkle_tree/mod.rs:55

( _: &Self::Parameters, _: T, _: T, )

src/crypto/merkle_tree/mock.rs:21

( _: &Self::Parameters, input: T, )

src/crypto/merkle_tree/blake3.rs:41

( _: &Self::Parameters, input: T, )

src/crypto/merkle_tree/sha3.rs:42

TODO: Check BASE_THRESHOLD This is a FFT that works where the poly degree is larger than the domain size

src/poly_utils/fft.rs:8

Functionfield_size_bits

src/crypto/fields.rs:23

(&self, f: &mut std::fmt::Formatter<'_>)

src/parameters.rs:92

(&self, f: &mut std::fmt::Formatter<'_>)

src/fri/parameters.rs:35

(&self, f: &mut std::fmt::Formatter<'_>)

src/stir/parameters.rs:37

f_answers is a vector containg B_l and f(B_l) for l the evaluation point Recall that B_l has x \in B_l \iff x^k = l

src/poly_utils/folding.rs:20

(self, folding)

scripts/protocol.py:184

(parameters: Parameters<F, MerkleConfig, FSConfig>)

src/fri/parameters.rs:51

(parameters: Parameters<F, MerkleConfig, FSConfig>)

src/stir/parameters.rs:67

src/crypto/merkle_tree/mod.rs:36

Methodinstantiate

( parameters: Parameters<F, MerkleConfig, FSConfig>, )

Functionis_power_of_two

Functionlonger_than_expected

src/poly_utils/bs08.rs:141

src/bin/stir.rs:47

src/bin/main.rs:51

src/bin/verifier.rs:69

src/bin/fri.rs:47

src/bin/prover.rs:74

Functionneat_example

src/poly_utils/bs08.rs:97

(degree: usize, log_rho_inv: usize)

src/domain.rs:16

(_config: &Self::Config)

src/crypto/fs/blake3.rs:17

(parameters: Parameters<F, MerkleConfig, FSConfig>)

src/fri/verifier.rs:37

(parameters: Parameters<F, MerkleConfig, FSConfig>)

src/fri/prover.rs:50

(parameters: Parameters<F, MerkleConfig, FSConfig>)

src/stir/verifier.rs:98

(parameters: Parameters<F, MerkleConfig, FSConfig>)

src/stir/prover.rs:66

(full_parameters: Self::FullParameter)

src/fri/verifier.rs:43

(full_parameters: Self::FullParameter)

src/fri/prover.rs:54

(full_parameters: Self::FullParameter)

src/stir/verifier.rs:104

(full_parameters: Self::FullParameter)

src/stir/prover.rs:70

Functionnext_even_power_of_two

scripts/utils.py:3

Functionnum_of_repetitions

(sec_param, rhobits, conj)

scripts/utils.py:19

Methodopening_size

scripts/protocol.py:172

scripts/protocol.py:29

scripts/protocol.py:59

scripts/protocol.py:132

scripts/protocol.py:190

scripts/protocol.py:215

scripts/protocol.py:311

Methodprint_arg

scripts/protocol.py:307

Methodproof_length

scripts/protocol.py:26

Methodproof_length

scripts/protocol.py:295

(&self, witness: Witness<F, MerkleConfig>)

src/stir/prover.rs:114

scripts/protocol.py:20

scripts/protocol.py:212

scripts/protocol.py:301

scripts/protocol.py:162

Functionquotient

This is Quotient(f, S, Ans, Fill) in the paper

src/poly_utils/quotient.rs:18

src/crypto/merkle_tree/mod.rs:30

Functionrun_FRI

(params : LDTParameters, fold, stopping_condition)

scripts/fri.py:26

Functionrun_STIR

(params : LDTParameters, fold, max_len_ratio, stopping_condition)

scripts/stir.py:67

(poly: &DensePolynomial<F>, scale: F)

src/poly_utils/mod.rs:10

Functionscale_and_shift

( poly: &DensePolynomial<F>, scale: F, shift: usize, )

src/poly_utils/mod.rs:14

src/crypto/merkle_tree/blake2.rs:39

src/crypto/merkle_tree/poseidon.rs:42

src/crypto/merkle_tree/mod.rs:51

src/crypto/merkle_tree/mock.rs:17

src/crypto/merkle_tree/blake3.rs:37

src/crypto/merkle_tree/sha3.rs:38

Functionshorter_than_expected

src/poly_utils/bs08.rs:117

Methodsqueeze_bits

(&mut self, num_bits: usize)

src/crypto/fs/blake3.rs:34

scripts/protocol.py:283

Functiontest_ans_polynomial

src/poly_utils/interpolation.rs:170

Functiontest_fft_interpolate

src/poly_utils/interpolation.rs:190

Functiontest_folding

src/poly_utils/folding.rs:34

Functiontest_folding

src/stir/prover.rs:359

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