Module step_verifier

Source

Structsยง

CheckBulletProofParams ๐Ÿ”’
FinalizeOtherProofParams ๐Ÿ”’
IncrementallyVerifyProofParams ๐Ÿ”’
SideloadedDomain ๐Ÿ”’
VerifyParams ๐Ÿ”’

Traitsยง

PlonkDomain

Functionsยง

absorb_curve ๐Ÿ”’
check_bulletproof ๐Ÿ”’
domain_for_compiled ๐Ÿ”’
domain_generator ๐Ÿ”’
finalize_other_proof ๐Ÿ”’
ft_comm ๐Ÿ”’
hash_messages_for_next_step_proof_opt ๐Ÿ”’
incrementally_verify_proof ๐Ÿ”’
lagrange_commitment ๐Ÿ”’
multiscale_known ๐Ÿ”’
proof_verified_to_prefix ๐Ÿ”’
public_input_commitment_dynamic ๐Ÿ”’
scale_fast2 ๐Ÿ”’
scale_fast2_prime ๐Ÿ”’
scale_fast22 ๐Ÿ”’
scale_for_ft_comm ๐Ÿ”’
side_loaded_domain ๐Ÿ”’
sponge_after_index ๐Ÿ”’
squeeze_challenge ๐Ÿ”’
squeeze_scalar ๐Ÿ”’
tick_shifts ๐Ÿ”’
to_high_low ๐Ÿ”’
validate_feature_flags ๐Ÿ”’
verify ๐Ÿ”’