# [−][src]Crate bellman_ce

## Modules

domain | This module contains an |

groth16 | |

pairing |

## Structs

LinearCombination | This represents a linear combination of some variables, with coefficients in the scalar field of a pairing-friendly elliptic curve group. |

Namespace | This is a "namespaced" constraint system which borrows a constraint system (pushing a namespace context) and, when dropped, pops out of the namespace context. |

Variable | Represents a variable in our constraint system. |

## Enums

Index | Represents the index of either an input variable or auxillary variable. |

SynthesisError | This is an error that could occur during circuit synthesis contexts, such as CRS generation, proving or verification. |

## Traits

Circuit | Computations are expressed in terms of arithmetic circuits, in particular
rank-1 quadratic constraint systems. The |

ConstraintSystem | Represents a constraint system which can have new variables allocated and constrains between them formed. |