Crate sigma_compiler_core 

Modules

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.

Structs

CodeGen

The main struct to handle code generation for this macro.

SigmaCompSpec

The SigmaCompSpec struct is the result of parsing the macro input.

TaggedPoint

A TaggedPoint is an Ident representing a Point, preceded by zero or more of the following tags: cind, const, vec

TaggedScalar

A TaggedScalar is an Ident representing a Scalar, preceded by zero or more of the following tags: pub, rand, vec

Enums

TaggedIdent

A TaggedIdent can be either a TaggedScalar or a TaggedPoint

Functions

apply_transformations

Apply all of the compiler transformations.

enforce_disjunction_invariant

Transform the StatementTree so that it satisfies the disjunction invariant.

sigma_compiler_core

The main function of this macro.

Type Aliases

TaggedVarDict

A TaggedVarDict is a dictionary of the available variables, mapping the string version of Idents to TaggedIdent, which includes their type (Scalar or Point)