dory-pcs 0.3.0

A high performance and modular implementation of the Dory polynomial commitment scheme.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

//! Transcript trait for Fiat-Shamir transformations

#![allow(missing_docs)]

use crate::primitives::arithmetic::{Group, PairingCurve};
use crate::primitives::DorySerialize;

/// Transcript to standardize fiat shamir across different transcript implementations
pub trait Transcript {
    type Curve: PairingCurve;
    fn append_bytes(&mut self, label: &[u8], bytes: &[u8]);

    fn append_field(
        &mut self,
        label: &[u8],
        x: &<<Self::Curve as PairingCurve>::G1 as Group>::Scalar,
    );

    fn append_group<G: Group>(&mut self, label: &[u8], g: &G);

    fn append_serde<S: DorySerialize>(&mut self, label: &[u8], s: &S);

    fn challenge_scalar(
        &mut self,
        label: &[u8],
    ) -> <<Self::Curve as PairingCurve>::G1 as Group>::Scalar;

    fn reset(&mut self, domain_label: &[u8]);
}