Skip to content

Commit

Permalink
update readme
Browse files Browse the repository at this point in the history
  • Loading branch information
kevaundray committed Sep 5, 2024
1 parent e13e0c8 commit 24b2100
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion cryptography/kzg_multi_open/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,9 @@

## Overview

This crate provides a Rust API for the [FK20](https://github.com/khovratovich/Kate/blob/master/Kate_amortized.pdf) polynomial commitment scheme. FK20 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.
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](https://github.com/khovratovich/Kate/blob/master/Kate_amortized.pdf).

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)

Expand Down

0 comments on commit 24b2100

Please sign in to comment.