Crate ark_r1cs_std

Source
Expand description

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

Re-exports§

  • pub use r1cs_var::*;

Modules§

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

Macros§

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

Traits§

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