Crate ark_r1cs_std

Expand description

This crate implements common “gadgets” that make programming rank-1 constraint systems easier.

Modules§

alloc: Utilities for allocating new variables in a constraint system.
boolean: This module contains Boolean, an R1CS equivalent of the bool type.
cmp: Utilities for comparing variables.
convert: Utilities for converting variables to other kinds of variables.
eq: Utilities for checking equality of variables.
fields: Finite field arithmetic.
groups: Implementations of elliptic curve group arithmetic for popular curve models.
macros: Some utility macros for making downstream impls easier.
pairing: Gadgets for computing pairings in bilinear groups.
poly: Definitions of polynomial variables over finite fields.
prelude
select: Contains traits for conditionally selecting a variable from a list of variables.
uint: This module contains a macro for generating UIntN types, which are R1CS equivalents of N-bit unsigned integers.
uint8: This module contains UInt8, a R1CS equivalent of the u8 type.
uint16
uint32
uint64
uint128

impl_bounded_ops: Implements arithmetic traits (eg: Add, Sub, Mul) for the given type using the impl in $impl.
impl_bounded_ops_diff: Implements arithmetic traits (eg: Add, Sub, Mul) for the given type using the impl in $impl.
impl_ops: Implements arithmetic traits (eg: Add, Sub, Mul) for the given type using the impl in $impl.

Assignment: A utility trait to convert Self to Result<T, SynthesisErrorA.>