Module wrap_verifier

Modules

split_commitments

Structs

Advice

CheckBulletProofParams 🔒

FinalizeOtherProofParams 🔒

IncrementallyVerifyProofParams 🔒

PlonkWithField

Constants

NUM_POSSIBLE_DOMAINS

OPS_BITS_PER_CHUNK

Functions

actual_evaluation

all_possible_domains

bullet_reduce

check_bulletproof 🔒

choose_key

chunks_needed

equal_g

finalize_other_proof 🔒

group_map

incrementally_verify_proof 🔒

lagrange 🔒

lagrange_commitment

lagrange_with_correction 🔒

lowest_128_bits

map_plonk_to_field 🔒

scale_fast2 🔒

scale_fast2_prime 🔒