Crate zki_sieve

zki_sieve is an implementation of SIEVE IR.

It includes Rust data structures and functions to produce and consume statements.

A set of tools to work with SIEVE IR statements is available as a CLI (command line interface).

Install and get started with the commands:

cargo install --path .

zki_sieve help

Re-exports

pub extern crate flatbuffers;

pub extern crate serde;

pub use consumers::source::Source;

pub use producers::sink::clean_workspace;

pub use producers::sink::FilesSink;

pub use producers::sink::Sink;

pub use sieve_ir_generated::sieve_ir::ROOT_EXTENSION as FILE_EXTENSION;

pub use structs::count::Count;

pub use structs::gates::Gate;

pub use structs::message::Message;

pub use structs::messages::Messages;

pub use structs::private_inputs::PrivateInputs;

pub use structs::public_inputs::PublicInputs;

pub use structs::relation::Relation;

pub use structs::value::Value;

pub use structs::TypeId;

pub use structs::WireId;

Modules

cli

Implementation of the CLI.

consumers

Tools and helpers to consume messages.

plugins

Tools and helpers to evaluate plugins.

producers

Tools and helpers to produce messages.

sieve_ir_generated

Message reader and writer code generated from the FlatBuffers schema (../sieve_ir.fbs).

structs

Each IR data structure is mapped to a Rust struct.

Type Aliases

Result

Common definition of Result with generic errors.