zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Remove transcript forking API.

This commit is contained in:
Sean Bowe 2020-12-24 12:33:45 -07:00
parent f308eb969c
commit e1a772d6e1
No known key found for this signature in database
GPG Key ID: 95684257D8F8B031
1 changed files with 0 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/transcript.rs
View File

@ -32,18 +32,11 @@ pub trait TranscriptRead<C: CurveAffine>: Transcript<C> {
/// Transcript view from the perspective of a prover that has access to an
/// output stream of messages from the prover to the verifier.
pub trait TranscriptWrite<C: CurveAffine>: Transcript<C> {
/// Forked transcript that does not write to the proof structure.
type ForkedTranscript: TranscriptWrite<C>;
/// Write a curve point to the proof and the transcript.
fn write_point(&mut self, point: C) -> io::Result<()>;
/// Write a scalar to the proof and the transcript.
fn write_scalar(&mut self, scalar: C::Scalar) -> io::Result<()>;
/// Fork the transcript, creating a variant of this `TranscriptWrite` which
/// does not output anything to the writer.
fn fork(&self) -> Self::ForkedTranscript;
}
/// This is just a simple (and completely broken) transcript reader
@ -161,8 +154,6 @@ impl<W: Write, C: CurveAffine> DummyHashWrite<W, C> {
}
impl<W: Write, C: CurveAffine> TranscriptWrite<C> for DummyHashWrite<W, C> {
type ForkedTranscript = DummyHashWrite<io::Sink, C>;
fn write_point(&mut self, point: C) -> io::Result<()> {
self.common_point(point)?;
let compressed = point.to_bytes();
@ -175,14 +166,6 @@ impl<W: Write, C: CurveAffine> TranscriptWrite<C> for DummyHashWrite<W, C> {
let data = scalar.to_bytes();
self.writer.write_all(&data[..])
}
fn fork(&self) -> Self::ForkedTranscript {
DummyHashWrite {
base_state: self.base_state,
scalar_state: self.scalar_state,
written_scalar: self.written_scalar,
writer: io::sink(),
}
}
}
impl<W: Write, C: CurveAffine> Transcript<C> for DummyHashWrite<W, C> {