Struct zkinterface::producers::builder::StatementBuilder

pub struct StatementBuilder<S: Sink> {
    pub sink: S,
    pub header: CircuitHeader,
}

StatementBuilder assists with constructing and storing a statement in zkInterface format.

Example

use zkinterface::{StatementBuilder, Sink, WorkspaceSink, CircuitHeader, ConstraintSystem, Witness};

// Create a workspace where to write zkInterafce files.
let sink = WorkspaceSink::new("local/test_builder").unwrap();
let mut builder = StatementBuilder::new(sink);

// Use variables, construct a constraint system, and a witness.
let var_ids = builder.allocate_vars(3);
let cs = ConstraintSystem::default();
let witness = Witness::default();

builder.finish_header().unwrap();
builder.push_witness(witness).unwrap();
builder.push_constraints(cs).unwrap();

Fields

sink: S

header: CircuitHeader

Implementations

impl<S: Sink> StatementBuilder<S>

pub fn new(sink: S) -> StatementBuilder<S>

pub fn allocate_var(&mut self) -> u64

pub fn allocate_vars(&mut self, n: usize) -> Vec<u64>

pub fn allocate_instance_var(&mut self, value: &[u8]) -> u64

pub fn finish_header(&mut self) -> Result<()>

Trait Implementations

impl<S: Sink + GadgetCallbacks> GadgetCallbacks for StatementBuilder<S>

fn receive_constraints(&mut self, msg: &[u8]) -> Result<()>

fn receive_witness(&mut self, msg: &[u8]) -> Result<()>

fn receive_gadget_response(
    &mut self,
    request: &CircuitHeader,
    response: &CircuitHeader
) -> Result<()>

impl<S: Sink> Sink for StatementBuilder<S>

fn push_header(&mut self, header: CircuitHeader) -> Result<()>

fn push_constraints(&mut self, cs: ConstraintSystem) -> Result<()>

fn push_witness(&mut self, witness: Witness) -> Result<()>