proof_of_sql

Module proof_primitive

Source
Expand description

TODO: add docs

Modules§

dory
Dory is the commitment scheme described in https://eprint.iacr.org/2020/1274.pdf.
hyperkzg
An implementation of hyper-kzg PCS. This is a wrapper around nova’s hyper-kzg implementation.