KZG Multi Open

Overview

This crate provides a Rust API for KZG multi-opening polynomial commitment scheme (PCS).This allows you to commit to a polynomial over some field with prime order, and later on reveal multiple evaluations of that polynomial, along with an (opening) proof that attests to the correctness of those evaluations.

The opening proofs are efficiently computed using FK20.

The API is opinionated and although it is generic, it also does not support every use case. It has been made with the Ethereum Data Availability Sampling vision in mind. One can see that for example, we allow evaluations over particular cosets, where the order of the elements in each coset and the order of the cosets themselves are fixed. (Even though we test internally with permutations of the cosets)

Installation

Installation of this crate can be done by adding this to your Cargo.toml:

[dependencies]
crate_crypto_kzg_multi_open_fk20 = "0.1.0"