MCPcopy Index your code

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

Functions314 in github.com/arkworks-rs/spongefish

⨍ Functions 314◇ Types & classes 54
Methodnew
()
spongefish/examples/bulletproof.rs:28
Methodnew
(challenge: [u8; 32], bits: f64)
pow/src/lib.rs:23
Methodnew
(challenge: [u8; 32], bits: f64)
pow/src/blake3.rs:43
Methodnew
(challenge: [u8; 32], bits: f64)
pow/src/keccak.rs:15
Methodnew
(linear_combination: impl IntoIterator<Item = (U, T)>, image: U)
circuit/src/permutation.rs:29
Methodnew
()
circuit/src/allocator.rs:70
Methodnew_std
(protocol_id: &[u8; 64], session_id: &[u8; 64], narg_string: &'a [u8])
spongefish/src/narg_verifier.rs:232
Functionp3_field_deserialize_advances_cursor
()
spongefish/src/drivers/tests.rs:124
Functionp3_field_deserialize_rejects_without_advancing_cursor
()
spongefish/src/drivers/tests.rs:146
Functionp3_field_encoding_is_big_endian
()
spongefish/src/drivers/tests.rs:108
Methodpad_block
Create a block | start | 0000 0000 | end |
spongefish/src/instantiations/hash.rs:122
Functionparse_canonical_prime_field
(bytes: &[u8])
spongefish/src/drivers/ark_ff_impl.rs:14
Methodpermute
(&self, state: &[Self::U; 16])
circuit/tests/builder.rs:16
Methodprotocol_id
()
spongefish/examples/bulletproof.rs:34
Functionprotocol_id_zero_pads_ascii
()
spongefish/src/tests.rs:179
Methodprove
( prover_state: &'a mut ProverState, instance: &Instance, witness: (&[Scalar], &[Scala
spongefish/examples/bulletproof.rs:38
Methodprove
( prover_state: &'a mut ProverState, instance: &[G; 2], x: G::ScalarField, )
spongefish/examples/schnorr.rs:22
Methodprover_messages
Reads a fixed-size array of prover messages `T`, each implementing `Encoding<[H::U]>`.
spongefish/src/narg_verifier.rs:134
Methodprover_messages_iter
Absorbs an iterator of prover messages.
spongefish/src/narg_prover.rs:267
Functionprover_messages_round_trip
()
spongefish/src/tests.rs:26
Methodprover_messages_vec
Reads `len` prover messages `T` into a vector, each implementing `Encoding<[H::U]>`.
spongefish/src/narg_verifier.rs:142
Functionprover_rng_emits_entropy
()
spongefish/src/tests.rs:9
Methodpublic_messages
Absorbs a slice of public messages. ``` # #[cfg(feature = "sha3")] # { let mut verifier = spongefish::domain_separator!( "examples"; "VerifierState::
spongefish/src/narg_verifier.rs:102
Methodpublic_messages
Input to the Fiat--Shamir transformation an array of public messages.
spongefish/src/narg_prover.rs:242
Methodpublic_messages_iter
Absorbs an iterator of public messages. ``` # #[cfg(feature = "sha3")] # { let mut verifier = spongefish::domain_separator!( "examples"; "VerifierSta
spongefish/src/narg_verifier.rs:123
Methodpublic_messages_iter
Input to the Fiat--Shamir transformation an iterator of public messages.
spongefish/src/narg_prover.rs:249
Methodpublic_vars
(&self)
circuit/src/allocator.rs:174
Functionpublic_vars_are_returned_by_variable_index
()
circuit/tests/builder.rs:155
Functionrandom_bits_in_random_modp
(b: ark_ff::BigInt<N>)
spongefish/src/drivers/ark_ff_impl.rs:179
Methodratchet
(&mut self)
spongefish/tests/test_spec.rs:65
Functionreject_modulus
Deserializing p (the modulus itself) must fail — the encoding is not canonical because p ≡ 0 and 0 already has its own encoding.
spongefish/src/drivers/ark_ff_impl.rs:304
Methodreseed
Reseeds the internal sponge with fresh entropy from the CSRNG.
spongefish/src/narg_prover.rs:132
Functionroundtrip_testsuite
Encode → serialize → deserialize round-trip, testing zero, one, p-1, and a handful of interior values.
spongefish/src/drivers/ark_ff_impl.rs:246
Functionsecp256k1_scalars_arkworks_and_k256
()
spongefish/src/drivers/tests.rs:203
Functionsecp256r1_scalars_arkworks_and_p256
()
spongefish/src/drivers/tests.rs:218
Functionsession_id_matches_rfc_construction
()
spongefish/src/tests.rs:187
Functionshake128_clone_preserves_squeeze_position
()
spongefish/src/instantiations/xof.rs:167
Functionsnapshots_are_immutable_after_builder_mutation
()
circuit/tests/builder.rs:217
Methodsolution
(&self, nonce: u64)
pow/src/keccak.rs:24
Methodsqueeze_array
Squeeze a fixed-length array of size `LEN`.
spongefish/src/duplex_sponge.rs:83
Functionstd_transcript_initialization_matches_manual_shake128
()
spongefish/src/tests.rs:205
Functionstr_encoding_prefixes_utf8_with_le_u32_length
()
spongefish/src/tests.rs:251
Functionstr_length_prefix_is_fixed_width_u32_le
()
spongefish/src/codecs.rs:263
Functionstress_test_check_many_entropy
()
pow/src/blake3.rs:402
Functiontest_all_duplex_sponge_vectors
()
spongefish/tests/test_spec.rs:125
Functiontest_check_function_basic
()
pow/src/blake3.rs:279
Functiontest_check_many_determinism
()
pow/src/blake3.rs:336
Functiontest_check_many_handles_u64_tail
()
pow/src/blake3.rs:292
Functiontest_check_many_inserts_nonce_bytes
()
pow/src/blake3.rs:357
Functiontest_decoding
()
spongefish/src/drivers/secp256k1_impl.rs:131
Functiontest_deterministic
()
spongefish/src/instantiations/tests.rs:79
Functiontest_different_challenges_consistency
()
pow/src/blake3.rs:326
Functiontest_domain_separator
()
spongefish/src/instantiations/tests.rs:19
Functiontest_encoding_small_fp_goldilocks_fp2
()
spongefish/src/drivers/ark_ff_impl.rs:453
Functiontest_incomplete_domsep
()
spongefish/src/instantiations/tests.rs:141
Functiontest_invalid_domsep_sequence
()
spongefish/src/instantiations/tests.rs:62
Functiontest_koalabear_encoding
()
spongefish/src/drivers/p3_koala_bear.rs:83
Functiontest_koalabear_out_of_range
()
spongefish/src/drivers/p3_koala_bear.rs:94
Functiontest_koalabear_serialize_deserialize
()
spongefish/src/drivers/p3_koala_bear.rs:71
Functiontest_linear_equations
()
circuit/tests/builder.rs:89
Functiontest_montfp_bitflip
()
spongefish/src/drivers/ark_ff_impl.rs:430
Functiontest_montfp_reject_modulus
()
spongefish/src/drivers/ark_ff_impl.rs:424
Functiontest_montfp_roundtrip
()
spongefish/src/drivers/ark_ff_impl.rs:418
Functiontest_new_invalid_bits
()
pow/src/blake3.rs:274
Functiontest_new_pow_valid_bits
()
pow/src/blake3.rs:262
Functiontest_point_serialize_deserialize
()
spongefish/src/drivers/secp256k1_impl.rs:105
Functiontest_pow_blake3
()
pow/src/blake3.rs:242
Functiontest_pow_keccak
()
pow/src/keccak.rs:47
Functiontest_prime_field_deserialize_rejects_modulus
()
spongefish/src/drivers/ark_ff_impl.rs:469
Functiontest_prime_field_encoding_is_left_padded_big_endian
()
spongefish/src/drivers/ark_ff_impl.rs:458
Functiontest_prover_empty_absorb
()
spongefish/src/instantiations/tests.rs:153
Functiontest_prover_rng_basic
()
spongefish/src/instantiations/tests.rs:27
Functiontest_prover_state_bytewriter
()
spongefish/src/instantiations/tests.rs:44
Functiontest_scalar_encoding
()
spongefish/src/drivers/secp256k1_impl.rs:119
Functiontest_scalar_serialize_deserialize
()
spongefish/src/drivers/secp256k1_impl.rs:93
Functiontest_shosha
()
spongefish/src/instantiations/hash.rs:193
Functiontest_smallfp_bitflip
()
spongefish/src/drivers/ark_ff_impl.rs:398
Functiontest_smallfp_deterministic_encoding
()
spongefish/src/drivers/ark_ff_impl.rs:370
Functiontest_smallfp_distinct_values_encode_differently
()
spongefish/src/drivers/ark_ff_impl.rs:379
Functiontest_smallfp_reject_modulus
()
spongefish/src/drivers/ark_ff_impl.rs:388
Functiontest_smallfp_roundtrip
()
spongefish/src/drivers/ark_ff_impl.rs:361
Functiontest_smallfp_wrong_length
()
spongefish/src/drivers/ark_ff_impl.rs:407
Functiontest_solve_parallel
()
pow/src/blake3.rs:318
Functiontest_solve_returns_minimal_nonce
()
pow/src/blake3.rs:376
Functiontest_solve_sequential
()
pow/src/blake3.rs:309
Functiontest_statistics
()
spongefish/src/instantiations/tests.rs:99
Functiontest_streaming_absorb_and_squeeze
Absorbs and squeeze over byte-Units should be stream-able.
spongefish/src/instantiations/tests.rs:163
Functiontest_streaming_blake2
()
spongefish/src/instantiations/tests.rs:209
Functiontest_streaming_keccak
()
spongefish/src/instantiations/tests.rs:215
Functiontest_streaming_sha2
()
spongefish/src/instantiations/tests.rs:203
Functiontest_threshold_rounding_boundaries
()
pow/src/blake3.rs:348
Functiontest_transcript_readwrite
()
spongefish/src/instantiations/tests.rs:118
Functiontest_witness_linear_equations
()
circuit/tests/builder.rs:122
Functiontest_xof
()
circuit/tests/builder.rs:42
Methodto_prover
(&self, h: H)
spongefish/src/domain_separator.rs:212
Methodto_verifier
(&self, h: H, narg_string: &'ver [u8])
spongefish/src/domain_separator.rs:226
Methodtranscript
(&self)
spongefish/src/narg_prover.rs:231
Methodtry_fill_bytes
(&mut self, dest: &mut [u8])
spongefish/src/narg_prover.rs:116
Methodtry_from_index
(index: usize)
circuit/src/allocator.rs:29
Functionverifier_challenge_matches_prover
()
spongefish/src/tests.rs:61
← previousnext →201–300 of 314, ranked by callers