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
• bool
• CtString
• Expr
• Field
• fmtstr
• FunctionDefinition
• i16
• i32
• i64
• i8
• Module
• Quoted
• slice
• str
• TraitConstraint
• TraitDefinition
• TraitImpl
• Type
• TypeDefinition
• TypedExpr
• u1
• u128
• u16
• u32
• u64
• u8
• UnresolvedType

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
• wrapping_mul
• wrapping_sub