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.