Revision a365c55931004630064261aed22e96c1910637a4 authored by Marge Bot on 05 February 2024, 08:58:04 UTC, committed by Marge Bot on 05 February 2024, 08:58:04 UTC
Co-authored-by: pecornilleau <pe.cornilleau@marigold.dev> Approved-by: Pierrick Couderc <pierrick.couderc@nomadic-labs.com> Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/11815
kate_amortized.mli
open Bls
type public_parameters = {
max_polynomial_length : int;
shard_length : int;
srs_g1 : Srs_g1.t;
number_of_shards : int;
}
type preprocess
val preprocess_encoding : preprocess t
type shard_proof = G1.t
val preprocess_equal : preprocess -> preprocess -> bool
val commit : public_parameters -> Poly.t -> Commitment.Single.t
val preprocess_multiple_multi_reveals : public_parameters -> preprocess
val multiple_multi_reveals :
public_parameters ->
preprocess:preprocess ->
coefficients:scalar array ->
shard_proof array
val verify :
public_parameters ->
commitment:Commitment.Single.t ->
srs_point:G2.t ->
domain:Domain.t ->
root:scalar ->
evaluations:scalar array ->
proof:shard_proof ->
bool
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...