Modules
❱
core
traits
boolean
circuit
felt_252
box
nullable
array
dict
result
option
clone
ec
ecdsa
integer
math
num
ops
cmp
gas
panics
serde
hash
keccak
sha256
pedersen
poseidon
debug
fmt
starknet
internal
zeroable
bytes_31
byte_array
string
to_byte_array
testing
metaprogramming
prelude
iter
stark_curve
one_based
num::traits
zero
one
bit_size
num::traits::ops
overflowing
wrapping
checked
saturating
pow
sqrt
widemul
widesquare
num::traits::ops::wrapping::overflow_based
num::traits::ops::checked::overflow_based
num::traits::ops::saturating::overflow_based
index
serde::into_felt252_based
hash::into_felt252_based
fmt::into_felt252_based
storage_access
syscalls
secp256_trait
secp256k1
secp256r1
contract_address
eth_address
eth_signature
class_hash
event
account
storage
starknet::testing
bounded_int
zero_based
Constants
❱
ALPHA
BETA
ORDER
GEN_X
GEN_Y
VALIDATED
BYTES_IN_BYTES31
POW_2_128
POW_2_8
BYTE_ARRAY_MAGIC
Free functions
❱
panic_with_felt252
assert
circuit_add
circuit_sub
circuit_inverse
circuit_mul
check_ecdsa_signature
ecdsa::recover_public_key
u128_wrapping_add
u128_wrapping_sub
u128_wide_mul
u128_overflowing_mul
u8_wrapping_add
u8_wrapping_sub
u16_wrapping_add
u16_wrapping_sub
u32_wrapping_add
u32_wrapping_sub
u64_wrapping_add
u64_wrapping_sub
u256_overflowing_add
u256_overflowing_sub
u256_overflow_sub
u256_overflowing_mul
u256_overflow_mul
u256_wide_mul
u128_add_with_bounded_int_carry
u512_safe_div_rem_by_u256
egcd
inv_mod
u256_inv_mod
u256_div_mod_n
u256_mul_mod_n
min
max
minmax
panic_with_byte_array
keccak_u256s_le_inputs
keccak_u256s_be_inputs
cairo_keccak
compute_keccak_byte_array
compute_sha256_u32_array
compute_sha256_byte_array
poseidon_hash_span
print_byte_array_as_string
get_execution_info
get_caller_address
get_contract_address
get_block_info
get_tx_info
get_block_timestamp
get_block_number
signature_from_vrs
is_signature_entry_valid
is_valid_signature
starknet::secp256_trait::recover_public_key
verify_eth_signature
is_eth_signature_valid
public_key_point_to_eth_address
set_block_number
set_caller_address
set_contract_address
set_sequencer_address
set_block_timestamp
set_version
set_account_contract_address
set_max_fee
set_transaction_hash
set_chain_id
set_nonce
set_signature
set_block_hash
pop_log_raw
pop_log
pop_l2_to_l1_message
split_bytes31
one_shift_left_bytes_felt252
one_shift_left_bytes_u128
Structs
❱
u384
CircuitElement
Span
SpanIter
ArrayIter
u256
u512
Range
Panic
pedersen::HashState
poseidon::HashState
Error
Formatter
starknet::eth_address::EthAddress
ExecutionInfo
BlockInfo
TxInfo
ResourceBounds
Signature
starknet::eth_address::EthAddress
Call
AccountContractDispatcher
AccountContractLibraryDispatcher
AccountContractSafeLibraryDispatcher
AccountContractSafeDispatcher
StoragePointer
StoragePointer0Offset
StoragePath
PendingStoragePath
Mutable
Vec
StorageBase
FlattenedStorage
Map
ByteArray
Enums
❱
bool
never
AddInputResult
FromNullableResult
Result
Option
PanicResult
OptionRev
IsZeroResult
Type aliases
❱
usize
u96
ConstZero
ConstOne
NonZeroEcPoint
SyscallResult
Impl aliases
❱
U8Zeroable
U16Zeroable
U32Zeroable
U64Zeroable
U128Zeroable
U256Zeroable
ContractAddressZeroable
EthAddressZeroable
ClassHashZeroable
Felt252Zeroable
Traits
❱
Copy
Drop
Add
AddEq
Sub
SubEq
Mul
MulEq
Div
DivEq
Rem
RemEq
DivRem
PartialEq
BitAnd
BitOr
BitXor
BitNot
PartialOrd
Into
TryInto
Neg
Not
traits::IndexView
traits::Index
Destruct
PanicDestruct
Default
Felt252DictValue
BoolTrait
CircuitElementTrait
CircuitOutputsTrait
CircuitInputs
AddInputResultTrait
EvalCircuitTrait
BoxTrait
NullableTrait
ToSpanTrait
ArrayTrait
SpanTrait
Felt252DictTrait
Felt252DictEntryTrait
ResultTrait
OptionTrait
Clone
EcStateTrait
EcPointTrait
NumericLiteral
BoundedInt
AbsAndSign
num::traits::zero::Zero
num::traits::one::One
num::traits::bit_size::BitSize
Bounded
num::traits::ops::overflowing::OverflowingAdd
num::traits::ops::overflowing::OverflowingSub
num::traits::ops::overflowing::OverflowingMul
num::traits::ops::wrapping::WrappingAdd
num::traits::ops::wrapping::WrappingSub
num::traits::ops::wrapping::WrappingMul
num::traits::ops::checked::CheckedAdd
num::traits::ops::checked::CheckedSub
num::traits::ops::checked::CheckedMul
num::traits::ops::pow::Pow
num::traits::ops::saturating::SaturatingAdd
num::traits::ops::saturating::SaturatingSub
num::traits::ops::saturating::SaturatingMul
num::traits::ops::widemul::WideMul
num::traits::ops::widesquare::WideSquare
num::traits::ops::sqrt::Sqrt
num::traits::zero::Zero
num::traits::one::One
num::traits::bit_size::BitSize
num::traits::ops::overflowing::OverflowingAdd
num::traits::ops::overflowing::OverflowingSub
num::traits::ops::overflowing::OverflowingMul
num::traits::ops::wrapping::WrappingAdd
num::traits::ops::wrapping::WrappingSub
num::traits::ops::wrapping::WrappingMul
num::traits::ops::checked::CheckedAdd
num::traits::ops::checked::CheckedSub
num::traits::ops::checked::CheckedMul
num::traits::ops::saturating::SaturatingAdd
num::traits::ops::saturating::SaturatingSub
num::traits::ops::saturating::SaturatingMul
num::traits::ops::pow::Pow
num::traits::ops::sqrt::Sqrt
num::traits::ops::widemul::WideMul
num::traits::ops::widesquare::WideSquare
ops::index::Index
ops::index::IndexView
AddAssign
SubAssign
MulAssign
DivAssign
RemAssign
Deref
SnapshotDeref
DerefMut
FnOnce
Fn
ops::index::IndexView
ops::index::Index
Serde
HashStateTrait
Hash
LegacyHash
HashStateExTrait
PedersenTrait
PoseidonTrait
PrintTrait
Display
Debug
LowerHex
SyscallResultTrait
starknet::storage_access::Store
starknet::event::Event
starknet::account::AccountContract
starknet::storage_access::Store
StorePacking
Secp256Trait
Secp256PointTrait
starknet::event::Event
EventEmitter
starknet::account::AccountContract
AccountContractDispatcherTrait
AccountContractSafeDispatcherTrait
StorageAsPointer
StoragePointerReadAccess
StoragePointerWriteAccess
StorageAsPath
PendingStoragePathTrait
VecTrait
MutableVecTrait
StorageNode
StorageNodeMut
SubPointers
SubPointersMut
SubPointersForward
SubPointersMutForward
StorageTrait
StorageTraitMut
StorageMapReadAccess
StorageMapWriteAccess
StoragePathEntry
AddHelper
SubHelper
MulHelper
DivRemHelper
ConstrainHelper
NegateHelper
Zeroable
Bytes31Trait
ByteArrayTrait
StringLiteral
AppendFormattedToByteArray
FormatAsByteArray
TypeEqual
IsTuple
TupleSplit
TupleExtendFront
TupleSnapForward
SnapRemove
Iterator
IntoIterator
Impls
❱
BoolSerde
BoolBitAnd
BoolBitOr
BoolNot
BoolBitXor
BoolPartialEq
BoolFelt252DictValue
BoolIntoFelt252
Felt252Serde
Felt252Add
Felt252AddEq
Felt252Sub
Felt252SubEq
Felt252Mul
Felt252MulEq
Felt252Neg
Felt252PartialEq
Felt252TryIntoNonZero
Felt252Default
Felt252Felt252DictValue
boolCopy
boolDrop
boolDefault
felt252Copy
felt252Drop
CircuitElementDrop
CircuitElementCopy
DestructFailureGuarantee
Felt252Zero
Felt252One
SpanIndex
DestructOption
EcStateImpl
EcPointImpl
U128TryIntoNonZero
U32TryIntoNonZero
U256TryIntoNonZero
Felt252TryIntoU8
U8IntoFelt252
Felt252TryIntoU16
U16IntoFelt252
Felt252TryIntoU32
U32IntoFelt252
Felt252TryIntoU64
U64IntoFelt252
Felt252TryIntoU128
U128IntoFelt252
Felt252IntoU256
U256TryIntoFelt252
I8IntoFelt252
I16IntoFelt252
I32IntoFelt252
I64IntoFelt252
I128IntoFelt252
PedersenImpl
PoseidonImpl
Felt252PrintImpl
BoolPrintImpl
ContractAddressPrintImpl
U8PrintImpl
U16PrintImpl
U32PrintImpl
U64PrintImpl
U128PrintImpl
U256PrintImpl
I8PrintImpl
I16PrintImpl
I32PrintImpl
I64PrintImpl
I128PrintImpl
ArrayGenericPrintImpl
Secp256k1Impl
Secp256k1PointImpl
Secp256r1Impl
Secp256r1PointImpl
Felt252TryIntoContractAddress
ContractAddressIntoFelt252
Felt252TryIntoEthAddress
EthAddressIntoFelt252
U256IntoEthAddress
EthAddressSerde
EthAddressPrintImpl
Felt252TryIntoClassHash
ClassHashIntoFelt252
StorableStoragePointerReadAccess
NonZeroIntoImpl
Bytes31Impl
Bytes31IndexView
Bytes31IntoFelt252
Bytes31IntoU256
Felt252TryIntoBytes31
U8IntoBytes31
U128IntoBytes31
ByteArrayStringLiteral
ByteArrayImpl
ByteArrayIndexView
Extern types
❱
RangeCheck
SegmentArena
felt252
RangeCheck96
AddMod
MulMod
CircuitModulus
Circuit
CircuitInput
Box
Nullable
Array
Felt252Dict
SquashedFelt252Dict
Felt252DictEntry
EcOp
EcPoint
EcState
u128
U128MulGuarantee
Bitwise
u8
u16
u32
u64
i8
i16
i32
i64
i128
BuiltinCosts
GasBuiltin
Sha256StateHandle
Pedersen
Poseidon
System
starknet::storage_access::StorageAddress
starknet::contract_address::ContractAddress
starknet::class_hash::ClassHash
starknet::storage_access::StorageAddress
StorageBaseAddress
Secp256k1Point
Secp256r1Point
starknet::contract_address::ContractAddress
starknet::class_hash::ClassHash
BoundedInt
NonZero
bytes31
Extern functions
❱
bool_and_impl
bool_or_impl
bool_not_impl
bool_xor_impl
bool_to_felt252
felt252_const
felt252_add
felt252_sub
felt252_mul
felt252_div
felt252_is_zero
dup
drop
null
nullable_from_box
match_nullable
array_snapshot_pop_front
felt252_dict_new
felt252_dict_squash
ec_point_unwrap
u128_to_felt252
u128_overflowing_add
u128_overflowing_sub
u128_sqrt
u128_safe_divmod
u128_is_zero
u128_byte_reverse
u8_overflowing_add
u8_overflowing_sub
u8_wide_mul
u8_sqrt
u8_safe_divmod
u16_overflowing_add
u16_overflowing_sub
u16_wide_mul
u16_sqrt
u16_safe_divmod
u32_overflowing_add
u32_overflowing_sub
u32_wide_mul
u32_sqrt
u32_safe_divmod
u64_overflowing_add
u64_overflowing_sub
u64_wide_mul
u64_sqrt
u64_safe_divmod
u256_sqrt
upcast
downcast
i8_wide_mul
i8_diff
i16_wide_mul
i16_diff
i32_wide_mul
i32_diff
i64_wide_mul
i64_diff
i128_diff
withdraw_gas
withdraw_gas_all
redeposit_gas
get_builtin_costs
panic
pedersen
hades_permutation
print
starknet::contract_address::contract_address_const
storage_base_address_const
storage_base_address_from_felt252
storage_address_to_felt252
storage_address_from_base_and_offset
storage_address_from_base
storage_address_try_from_felt252
call_contract_syscall
deploy_syscall
emit_event_syscall
get_block_hash_syscall
get_execution_info_syscall
get_execution_info_v2_syscall
library_call_syscall
send_message_to_l1_syscall
storage_read_syscall
storage_write_syscall
replace_class_syscall
get_class_hash_at_syscall
keccak_syscall
sha256_process_block_syscall
starknet::contract_address::contract_address_const
contract_address_to_felt252
contract_address_try_from_felt252
class_hash_const
class_hash_to_felt252
class_hash_try_from_felt252
cheatcode
revoke_ap_tracking
require_implicit
bytes31_const
get_available_gas
Light
Rust
Coal
Navy
Ayu
core - Cairo
AddMod
Fully qualified path:
core::circuit::AddMod
pub extern type AddMod