Crate dory

Source
Expand description

§Dory

Dory is a polynomial commitment scheme with excellent asymptotic performance as well as practical efficiency. It is based on the work of Jonathan Lee (https://eprint.iacr.org/2020/1274.pdf).

This crate provides a Rust implementation of the commitment scheme, intended to be usable as a building block for other zk/SNARK protocols.

Modules§

messages
Module containing structs of the messages exchanged between the prover and verifier.

Traits§

ProofBuilder
Trait that defines the structure of the Dory proof.
ProverState
Trait for the state and computation and state of the Dory protocol.

Functions§

inner_product_prove
Implementation of the extended Dory-Innerproduct protocol.