Crate std

Modules

• aes128
• append
• cmp
• collections
• compat
• convert
• default
• ecdsa_secp256k1
• ecdsa_secp256r1
• embedded_curve_ops
• field
• hash
• hint
• mem
• meta
• ops
• option
• panic
• prelude
• runtime
• test

Primitive types

• array
  A fixed-size array, denoted [T; N], for the element type, T, and the non-negative compile-time constant size, N.
• bool
  The boolean type.
• CtString
  A a compile-time, dynamically-sized string type.
• Expr
  A compile-time, quoted, syntactically valid expression.
• Field
  The native field type of the proving backend.
• fmtstr
  A formatted string with interpolated values.
• FunctionDefinition
  A compile-time type which represents a function definition in this source program.
• i16
  The 16-bit signed integer type.
• i32
  The 32-bit signed integer type.
• i64
  The 64-bit signed integer type.
• i8
  The 8-bit signed integer type.
• Module
  A compile-time type which represents a module in this source program.
• Quoted
  A compile-time type which represents quoted token streams and is the result of the quote { ... } expression.
• slice
  A dynamically-sized view into a contiguous sequence, [T].
• str
  The string type.
• TraitConstraint
  A compile-time type which represents a trait constraint that can be used to search for a trait implementation.
• TraitDefinition
  A compile-time type which represents a trait definition such as trait Foo { .. }.
• TraitImpl
  A compile-time type which represents represents a trait implementation such as impl Foo for Bar { ... }.
• Type
  A compile-time type which represents a type in the source program.
• TypeDefinition
  A compile-time type which represents a type definition such as struct Foo { ... }.
• TypedExpr
  A compile-time type which represents a resolved and type-checked expression.
• u1
  The 1-bit unsigned integer type.
• u128
  The 128-bit unsigned integer type.
• u16
  The 16-bit unsigned integer type.
• u32
  The 32-bit unsigned integer type.
• u64
  The 64-bit unsigned integer type.
• u8
  The 8-bit unsigned integer type.
• UnresolvedType
  A compile-time type which represents the syntax of a type.

Functions

• as_witness
• assert_constant
• print
• println
• static_assert
• verify_proof_with_type
  Asserts the validity of the provided proof and public inputs against the provided verification key and hash.
• wrapping_add Deprecated
• wrapping_mul Deprecated
• wrapping_sub Deprecated