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
README.md
aPlonK is a PlonK-inspired proving system which focuses
on proof-aggregation and distributed proof generation.
It is an OCaml implementation from scratch of the PlonK proving
system based on the bls12-381 curve, which eases the integration
of new custom gates and lookup tables.
Instead of the classic KZG commitment scheme, our custom aggregation
protocol can verify multiple proofs in logarithmic time.
Computing file changes ...
