Module Bulletproof.Advice
This is data that can be computed in linear time from the proof + statement.
It doesn't need to be sent on the wire, but it does need to be provided to the verifier
type 'fq t = {b : 'fq; |
combined_inner_product : 'fq; |
}val to_hlist : 'fq t -> ( unit, 'fq -> 'fq -> unit ) H_list.tval of_hlist : ( unit, 'fq -> 'fq -> unit ) H_list.t -> 'fq tval to_hlist : 'fq t -> ( unit, 'fq -> 'fq -> unit ) H_list.tval of_hlist : ( unit, 'fq -> 'fq -> unit ) H_list.t -> 'fq t