Module sigma 

The submodules that would be useful to have in the lower-level sigma-proofs crate are for now included as submodules of a local sigma module.

Modules

codegen

A module for generating the code that uses the sigma-proofs crate API.

combiners

This module creates and manipulates trees of basic statements combined with AND, OR, and THRESH.

types

At the sigma level, each variable can be a private Scalar, a public Scalar, or a public Point, and each variable can be either a vector or not. Arithmetic expressions of those variables can be of any of those types, and also private Points (vector or not). This module defines an enum AExprType for the possible types, as well as a dictionary type that maps Strings (the name of the variable) to AExprType, and a function for determining the type of arithmetic expressions involving such variables.