Crate frontend 

Modules

abstract_expr

The “circuit-builder’s” view of an expression. In particular, it represents a template of polynomial relationships between an output computational graph node and outputs from source computational graph nodes.

components

Module for components that can be used to build a circuit.

digits

Module containing functions for deriving digital decompositions and building associated circuit components.

hyrax_worldcoin

hyrax_worldcoin_mpc

layouter

Module for easily creating Circuits from re-usable components

utils

worldcoin_mpc

Contains files responsible for the MPC dealing of Worldcoin’s iris code

zk_iriscode_ss

Contains the v3 iriscode circuit implemented using an RLC of image strips.

Macros

const_expr

constant

node_enum

This macro generates a layer enum that represents all the possible layers Every layer variant of the enum needs to implement Layer, and the enum will also implement Layer and pass methods to it’s variants

sel_expr

selector equivalent of calling AbstractExpression::<F>::select_seq(vec![<INPUTS>]) but allows the entries to be of different type