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.
• Location
• 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.
• 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.
• 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.
• vector
  A dynamically-sized view into a contiguous sequence, [T].

Functions

• as_witness
  Force a field value to be a witness instead of a constant in the compiled output. This is often only useful for debugging compiler optimizations.
• assert_constant
  Asserts that the given value is known at compile-time. Useful for debugging for-loop bounds.
• print
  Print the given input to stdout
• println
  Print the given input to stdout followed by a newline
• static_assert
  Asserts that the given value is both true and known at compile-time. The message can be a string, a format string, or any value, as long as it is known at compile-time
• verify_proof_with_type
  Asserts the validity of the provided proof and public inputs against the provided verification key and hash.