Module util

Functions

challenge_polynomial

https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/pickles/wrap_verifier.ml#L16

challenge_polynomial_checked

https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/pickles/wrap_verifier.ml#L16

extract_bulletproof

extract_polynomial_commitment

field_of_bits

four_u64_to_field

proof_evaluation_to_absorption_sequence

proof_evaluation_to_list

Note: Outdated URL Note: Different than to_absorption_sequence https://github.com/MinaProtocol/mina/blob/4af0c229548bc96d76678f11b6842999de5d3b0b/src/lib/pickles_types/plonk_types.ml#L611

proof_evaluation_to_list_opt

https://github.com/MinaProtocol/mina/blob/4af0c229548bc96d76678f11b6842999de5d3b0b/src/lib/pickles_types/plonk_types.ml#L611

sha256_sum

to_absorption_sequence_opt

https://github.com/MinaProtocol/mina/blob/4af0c229548bc96d76678f11b6842999de5d3b0b/src/lib/pickles_types/plonk_types.ml#L674

two_u64_to_field