package octez-libs

  1. Overview
  2. Docs

Parameters

Signature

type prover_aux = {
  1. r : Kzg.Bls.Scalar.t;
  2. s_list : Kzg.Bls.Scalar.t SMap.t list;
}

Auxiliary information needed by the prover for the meta-verification in aPlonK

OCaml

Innovation. Community. Security.