Module proof_primitive 

This module contains cryptographic proof primitives used in the proof system.

It includes commitment schemes, sumcheck protocols, and inner product arguments that form the building blocks for zero-knowledge proofs.

Modules

dory

Dory is the commitment scheme described in https://eprint.iacr.org/2020/1274.pdf.

hyperkzg

Implementation of HyperKZG PCS for usage with proof-of-sql.

inner_product

Module for inner product argument proofs used in commitment verification.