Module Bls_services.S

type public_key_with_proof = {
  1. pk : Bls.Public_key.t;
  2. proof : Bls.t;
}
type public_key_and_public_key_hash = {
  1. pk : Bls.Public_key.t;
  2. pkh : Bls.Public_key_hash.t;
}
type public_key_with_proofs = {
  1. pk : Bls.Public_key.t;
  2. proofs : Bls.t list;
}
type threshold_signature_share = {
  1. id : int;
  2. signature : Bls.t;
}
type aggregate_signature = {
  1. pk : Bls.Public_key.t;
  2. msg : Tezos_base.TzPervasives.Bytes.t;
  3. signature_shares : Bls.t list;
}
val aggregate_signatures : ([ `POST ], unit, unit, unit, aggregate_signature, Bls.t option) Tezos_rpc.Service.t
val check_proof : ([ `POST ], unit, unit, unit, public_key_with_proof, bool) Tezos_rpc.Service.t
val aggregate_public_keys : ([ `POST ], unit, unit, unit, public_key_with_proof list, public_key_and_public_key_hash option) Tezos_rpc.Service.t
val aggregate_proofs : ([ `POST ], unit, unit, unit, public_key_with_proofs, Bls.t option) Tezos_rpc.Service.t
val threshold_signatures : ([ `POST ], unit, unit, unit, threshold_signature, Bls.t option) Tezos_rpc.Service.t