Crate zksync_kzg

Implementation based on https://github.com/ethereum/consensus-specs/blob/86fb82b221474cc89387fa6436806507b3849d88/specs/deneb/polynomial-commitments.md

Structs

• KzgInfo
  All the info needed for both the network transaction and by our L1 contracts. As part of the network transaction we need to encode the sidecar which contains the: blob, kzg commitment, and the blob proof. The transaction payload will utilize the versioned hash. The info needed for commitBatches is the kzg commitment, opening point, opening value, and opening proof.
• KzgSettings
• TrustedSetup

Constants

• ZK_SYNC_BYTES_PER_BLOB

Functions

• compute_commitment
  Computes a KZG commitment to a EIP4844 blob.
• compute_proof
  Computes a KZG opening proof for the given blob and evaluation point.
• compute_proof_poly
  Computes a KZG opening proof for the given polynomial with a deterministic challenge point.
• multiscalar_mul
  Performs a naive MSM and compute a polynomial commitment.
• pubdata_to_blob_commitments
• verify_kzg_proof
  Verifies a KZG commitment and proof for a given evaluation point and evaluation result.
• verify_proof_poly
  Verifies a KZG commitment and opening proof for a given polynomial with a deterministic challenge point.