MCPcopy Index your code

hub / github.com/arkworks-rs/spongefish / functions

Functions314 in github.com/arkworks-rs/spongefish

⨍ Functions 314◇ Types & classes 54
↓ 32 callersMethodclone
(&self)
spongefish/src/instantiations/xof.rs:54
↓ 23 callersMethodas_ref
(&self)
spongefish/src/codecs.rs:153
↓ 19 callersFunctionassert_narg_advances_buffer
(value: &T)
spongefish/src/drivers/tests.rs:24
↓ 16 callersMethodinstance
(self, value: I)
spongefish/src/domain_separator.rs:177
↓ 14 callersMethodabsorb
(&mut self, input: &[u8])
spongefish/src/instantiations/hash.rs:41
↓ 14 callersMethodpublic_message
Input a public message to the Fiat--Shamir transformation. A public message in this context is a message that is shared among prover and verifier out
spongefish/src/narg_prover.rs:189
↓ 14 callersMethodsqueeze
(&mut self, output: &mut [u8])
spongefish/src/instantiations/xof.rs:78
↓ 14 callersMethodverifier_message
Returns a verifier message `T` that is uniformly distributed. `T` must implement [`Decoding<[H::U]>`][`Decoding`].
spongefish/src/narg_prover.rs:222
↓ 13 callersMethodabsorb
(&mut self, input: &[u8])
spongefish/src/instantiations/xof.rs:71
↓ 13 callersMethodstd_prover
(&self)
spongefish/src/domain_separator.rs:193
↓ 12 callersMethodallocator
(&self)
circuit/src/permutation.rs:171
↓ 12 callersMethodratchet
(&mut self)
spongefish/src/instantiations/hash.rs:54
↓ 12 callersMethodsession
(self, value: S)
spongefish/src/domain_separator.rs:161
↓ 10 callersMethodsqueeze
(&mut self, output: &mut [u8])
spongefish/src/instantiations/hash.rs:66
↓ 9 callersMethodabsorb
(&mut self, mut input: &[Self::U])
spongefish/src/duplex_sponge.rs:197
↓ 9 callersMethodcheck_many
Check a SIMD-width batch of nonces starting at `nonce`. Returns the first nonce in the batch that satisfies the challenge threshold, or `None` if non
pow/src/blake3.rs:174
↓ 9 callersMethodencode
(&self)
spongefish/src/tests.rs:129
↓ 9 callersFunctionencode_to_vec
(x: &F)
spongefish/src/drivers/ark_ff_impl.rs:275
↓ 9 callersMethodnarg_string
(&self)
spongefish/src/narg_prover.rs:164
↓ 8 callersFunctionhas_skip_attribute
Helper function to check if a field has the #[spongefish(skip)] attribute
derive/src/lib.rs:451
↓ 7 callersMethodprover_message
Input a prover message of type `T` into the Fiat--Shamir transformation. `T` must implement [`Encoding<[H::U]>`][`Encoding`] to be encoded in the dom
spongefish/src/narg_prover.rs:214
↓ 7 callersMethodserialize_into_narg
Serialization for byte strings is the identity map.
spongefish/src/io.rs:64
↓ 7 callersMethodsqueeze
(&mut self, output: &mut [Self::U])
spongefish/src/duplex_sponge.rs:218
↓ 7 callersMethodsqueeze_end
(&mut self)
spongefish/src/instantiations/hash.rs:142
↓ 6 callersMethodallocate_permutation
(&self, &input: &[FieldVar; WIDTH])
circuit/src/permutation.rs:176
↓ 6 callersFunctioninstance_builder
()
circuit/tests/builder.rs:21
↓ 6 callersMethodsolution
(&self, nonce: u64)
pow/src/blake3.rs:71
↓ 5 callersMethodadd_equation
(&self, equation: LinearEquation<FieldVar, T>)
circuit/src/permutation.rs:192
↓ 5 callersMethodas_mut
(&mut self)
spongefish/src/codecs.rs:159
↓ 5 callersFunctionassert_codec_compatibility
(value_a: &A, value_b: &B)
spongefish/src/drivers/tests.rs:44
↓ 5 callersMethodcheck
Check if a given `nonce` satisfies the challenge. This uses the standard high-level BLAKE3 interface to ensure full compatibility with reference impl
pow/src/blake3.rs:85
↓ 5 callersMethodfill_bytes
(&mut self, dest: &mut [u8])
spongefish/src/narg_prover.rs:107
↓ 5 callersMethodpublic_message
Absorbs a public message without consuming the transcript. ``` # #[cfg(feature = "sha3")] # { let proof = [0u8; 0]; let mut verifier = spongefish::do
spongefish/src/narg_verifier.rs:66
↓ 5 callersMethodstd_verifier
(&self, narg_string: &'ver [u8])
spongefish/src/domain_separator.rs:202
↓ 4 callersMethodadd_permutation
(&self, input: [FieldVar; WIDTH], output: [FieldVar; WIDTH])
circuit/src/permutation.rs:182
↓ 4 callersMethodallocate_vars
(&self)
circuit/src/allocator.rs:96
↓ 4 callersMethodas_mut
(&mut self)
spongefish/src/drivers/mod.rs:41
↓ 4 callersMethodindex
(self)
circuit/src/allocator.rs:23
↓ 4 callersMethodlinear_constraints
(&self)
circuit/src/permutation.rs:102
↓ 4 callersFunctionprotocol_id
(args: Arguments)
spongefish/src/domain_separator.rs:243
↓ 4 callersMethodrng
Returns the reseedable RNG bound to this transcript.
spongefish/src/narg_prover.rs:158
↓ 4 callersMethodserialize_into_new_narg
Shorthand for [`NargSerialize::serialize_into_narg`] for an empty byte array.
spongefish/src/io.rs:30
↓ 4 callersMethodsolve
(&mut self)
pow/src/blake3.rs:106
↓ 3 callersMethodabsorb
(&mut self, input: &[Self::U])
spongefish/tests/test_spec.rs:52
↓ 3 callersFunctionadd_trait_bounds_for_fields
( mut generics: syn::Generics, field_types: &[Type], trait_bound: &TokenStream2, )
derive/src/lib.rs:468
↓ 3 callersFunctionderive_session_id
(session: &[u8])
spongefish/src/domain_separator.rs:287
↓ 3 callersFunctiondot_prod
Computes the inner prouct of vectors `a` and `b`. Useless once https://github.com/arkworks-rs/algebra/pull/665 gets merged.
spongefish/examples/bulletproof.rs:146
↓ 3 callersMethodgrind
Attempts to find a nonce that satisfies the proof-of-work requirement. Returns the minimal nonce that makes the hash fall below the target threshold,
pow/src/lib.rs:33
↓ 3 callersFunctionpad_identifier
(identifier: &[u8])
spongefish/src/domain_separator.rs:275
↓ 3 callersMethodpermute_mut
In-place permutation function evaluation [`Permutation::permute`].
spongefish/src/duplex_sponge.rs:106
↓ 3 callersMethodset_public_vars
Sets a list of public variables. Takes as input two iterators (for wires and values respectively), and sets each of them to public values. # Panics
circuit/src/allocator.rs:158
↓ 3 callersMethodvars_count
(&self)
circuit/src/allocator.rs:134
↓ 3 callersMethodwithout_session
(self)
spongefish/src/domain_separator.rs:171
↓ 2 callersMethodallocate_vars_vec
(&self, count: usize)
circuit/src/allocator.rs:105
↓ 2 callersMethodas_ref
(&self)
circuit/src/permutation.rs:52
↓ 2 callersFunctionassert_panics_with
(expected: &str, f: impl FnOnce())
circuit/tests/builder.rs:26
↓ 2 callersFunctionassert_roundtrip
(value: &T)
spongefish/src/drivers/tests.rs:12
↓ 2 callersMethodcheck_eof
The Fiat--Shamir transformation produces a NARG string with fixed, deterministic length**. This check ensures that no trailing bytes remain in the tra
spongefish/src/narg_verifier.rs:171
↓ 2 callersFunctiongenerate_decoding_impl
(input: &DeriveInput)
derive/src/lib.rs:68
↓ 2 callersFunctiongenerate_encoding_impl
(input: &DeriveInput)
derive/src/lib.rs:8
↓ 2 callersFunctiongenerate_narg_deserialize_impl
(input: &DeriveInput)
derive/src/lib.rs:203
↓ 2 callersFunctionhex_decode
(hex_str: &str)
spongefish/tests/test_spec.rs:70
↓ 2 callersMethodnew_field_var
(&self)
circuit/src/allocator.rs:83
↓ 2 callersMethodprover_messages
Absorbs a list of prover messages at once.
spongefish/src/narg_prover.rs:260
↓ 2 callersMethodratchet
(&mut self)
spongefish/src/duplex_sponge.rs:239
↓ 2 callersMethodratchet
(&mut self)
spongefish/src/instantiations/xof.rs:88
↓ 2 callersFunctionsample_challenges
()
pow/src/blake3.rs:231
↓ 2 callersFunctionsession_id
(args: Arguments)
spongefish/src/domain_separator.rs:255
↓ 2 callersFunctionsession_id_from_str
(value: &S)
spongefish/src/domain_separator.rs:268
↓ 2 callersMethodset_public_var
Assigns the wire variable `var` to `val`. If the wire was already present, it is over-written.
circuit/src/allocator.rs:146
↓ 2 callersMethodsnapshot
(&self)
circuit/src/permutation.rs:237
↓ 2 callersMethodverifier_message
Returns a verifier message `T` that is uniformly distributed and implements `Encoding<[H::U]>`.
spongefish/src/narg_verifier.rs:71
↓ 2 callersMethodzeroize
(&mut self)
spongefish/src/instantiations/hash.rs:167
↓ 1 callersMethodallocate_public
(&self, public_values: &[T; N])
circuit/src/allocator.rs:121
↓ 1 callersFunctionassert_codec
(_: &T)
spongefish/tests/derive_generics.rs:43
↓ 1 callersFunctionbytes_to_words
(state: &[u8; STATE_BYTES])
spongefish/src/instantiations/permutations.rs:61
↓ 1 callersMethodconstraints
(&self)
circuit/src/permutation.rs:97
↓ 1 callersMethodencode
(&self)
spongefish/src/drivers/secp256k1_impl.rs:67
↓ 1 callersMethodencode
(&self)
spongefish/src/drivers/p3_koala_bear.rs:58
↓ 1 callersMethodencode
(&self)
spongefish/src/drivers/p256_impl.rs:71
↓ 1 callersFunctionf1600
(state: &mut State1600)
spongefish/src/instantiations/permutations.rs:57
↓ 1 callersFunctionf1600
(state: &mut State1600)
pow/src/keccak.rs:42
↓ 1 callersFunctionload_test_vectors
()
spongefish/tests/test_spec.rs:77
↓ 1 callersMethodnext_u32
(&mut self)
spongefish/src/narg_prover.rs:95
↓ 1 callersMethodnext_u64
(&mut self)
spongefish/src/narg_prover.rs:101
↓ 1 callersMethodpermute
(&self, state: &[u8; 40])
spongefish/src/instantiations/permutations.rs:16
↓ 1 callersMethodpermute
(&self, state: &[Self::U; WIDTH])
circuit/src/permutation.rs:134
↓ 1 callersMethodpermute_mut
(&self, state: &mut [u8; STATE_BYTES])
spongefish/src/instantiations/permutations.rs:50
↓ 1 callersMethodprover_message
Reads a prover message and absorbs it into the duplex sponge state.
spongefish/src/narg_verifier.rs:40
↓ 1 callersMethodpublic_vars
(&self)
circuit/src/permutation.rs:107
↓ 1 callersMethodrebuild_reader
Rebuild the reader at its current offset from the cloneable hasher state.
spongefish/src/instantiations/xof.rs:35
↓ 1 callersMethodreseed_with
Reseeds the internal sponge with the provided bytes.
spongefish/src/narg_prover.rs:125
↓ 1 callersFunctionrun_test_vector
(name: &str, test_vector: &TestVector)
spongefish/tests/test_spec.rs:82
↓ 1 callersMethodsolve
(&mut self)
pow/src/lib.rs:84
↓ 1 callersMethodsqueeze
(&mut self, output: &mut [Self::U])
spongefish/tests/test_spec.rs:58
↓ 1 callersMethodsqueeze_boxed
Squeeze `len` elements into a fresh-allocated array.
spongefish/src/duplex_sponge.rs:90
↓ 1 callersMethodtrace
(&self)
circuit/src/permutation.rs:121
↓ 1 callersFunctionuseful_bits
(p)
spongefish/scripts/useful_bits_modp.py:11
↓ 1 callersMethodverify
Verifies that a given nonce satisfies the proof-of-work requirement.
pow/src/lib.rs:38
↓ 1 callersFunctionwords_to_bytes
(words: &State1600, state: &mut [u8; STATE_BYTES])
spongefish/src/instantiations/permutations.rs:70
next →1–100 of 314, ranked by callers