Modules
❱
core
traits
boolean
circuit
blake
box
nullable
array
dict
result
option
clone
ec
ecdsa
integer
cmp
gas
math
num
ops
panics
hash
keccak
pedersen
serde
sha256
poseidon
debug
fmt
starknet
internal
zeroable
bytes_31
byte_array
string
iter
metaprogramming
testing
to_byte_array
stark_curve
num::traits
zero
one
bit_size
num::traits::ops
checked
overflowing
pow
saturating
wrapping
index
hash::into_felt252_based
serde::into_felt252_based
fmt::into_felt252_based
storage_access
syscalls
contract_address
secp256_trait
secp256k1
secp256r1
eth_address
eth_signature
class_hash
event
account
storage
starknet::testing
Constants
❱
ALPHA
BETA
ORDER
GEN_X
GEN_Y
VALIDATED
BYTE_ARRAY_MAGIC
Free functions
❱
panic_with_felt252
panic_with_const_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
u512_safe_div_rem_by_u256
min
max
minmax
egcd
inv_mod
u256_inv_mod
u256_div_mod_n
u256_mul_mod_n
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_block_info
get_block_number
get_block_timestamp
get_caller_address
get_contract_address
get_execution_info
get_tx_info
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
Structs
❱
u384
CircuitElement
Span
SpanIter
ArrayIter
OptionIter
u256
u512
Range
RangeInclusive
RangeInclusiveIterator
RangeIterator
Panic
pedersen::HashState
poseidon::HashState
Error
Formatter
starknet::eth_address::EthAddress
ExecutionInfo
ResourceBounds
TxInfo
BlockInfo
Signature
starknet::eth_address::EthAddress
Call
AccountContractDispatcher
AccountContractLibraryDispatcher
AccountContractSafeLibraryDispatcher
AccountContractSafeDispatcher
StoragePointer
StoragePointer0Offset
StoragePath
PendingStoragePath
Mutable
Map
FlattenedStorage
StorageBase
Vec
DropWith
InferDrop
DestructWith
InferDestruct
ByteArray
ByteArrayIter
Enums
❱
bool
never
AddInputResult
FromNullableResult
Result
Option
PanicResult
OptionRev
LoopResult
Type aliases
❱
usize
u96
ConstZero
ConstOne
NonZeroEcPoint
SyscallResult
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
CircuitDefinition
CircuitOutputsTrait
CircuitInputs
AddInputResultTrait
EvalCircuitTrait
BoxTrait
NullableTrait
ToSpanTrait
ArrayTrait
SpanTrait
Felt252DictTrait
Felt252DictEntryTrait
SquashedFelt252DictTrait
ResultTrait
OptionTrait
Clone
EcStateTrait
EcPointTrait
NumericLiteral
BoundedInt
num::traits::zero::Zero
num::traits::one::One
num::traits::bit_size::BitSize
Bounded
num::traits::ops::checked::CheckedAdd
num::traits::ops::checked::CheckedMul
num::traits::ops::checked::CheckedSub
num::traits::ops::overflowing::OverflowingAdd
num::traits::ops::overflowing::OverflowingMul
num::traits::ops::overflowing::OverflowingSub
num::traits::ops::pow::Pow
num::traits::ops::saturating::SaturatingAdd
num::traits::ops::saturating::SaturatingMul
num::traits::ops::saturating::SaturatingSub
Sqrt
WideMul
WideSquare
num::traits::ops::wrapping::WrappingAdd
num::traits::ops::wrapping::WrappingMul
num::traits::ops::wrapping::WrappingSub
num::traits::zero::Zero
num::traits::one::One
num::traits::bit_size::BitSize
num::traits::ops::checked::CheckedAdd
num::traits::ops::checked::CheckedSub
num::traits::ops::checked::CheckedMul
num::traits::ops::overflowing::OverflowingAdd
num::traits::ops::overflowing::OverflowingSub
num::traits::ops::overflowing::OverflowingMul
num::traits::ops::pow::Pow
num::traits::ops::saturating::SaturatingAdd
num::traits::ops::saturating::SaturatingSub
num::traits::ops::saturating::SaturatingMul
num::traits::ops::wrapping::WrappingAdd
num::traits::ops::wrapping::WrappingSub
num::traits::ops::wrapping::WrappingMul
AddAssign
DivAssign
MulAssign
RemAssign
SubAssign
Deref
DerefMut
Fn
FnOnce
ops::index::Index
ops::index::IndexView
RangeInclusiveTrait
RangeTrait
ops::index::IndexView
ops::index::Index
HashStateTrait
Hash
LegacyHash
HashStateExTrait
PedersenTrait
Serde
PoseidonTrait
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
IntoIterRange
ValidStorageTypeTrait
StorageMapReadAccess
StorageMapWriteAccess
StoragePathEntry
StorageTrait
StorageTraitMut
StorageNode
StorageNodeMut
SubPointers
SubPointersForward
SubPointersMut
SubPointersMutForward
MutableVecTrait
VecTrait
Bytes31Trait
ByteArrayTrait
StringLiteral
PeekableTrait
Extend
FromIterator
IntoIterator
Iterator
TypeEqual
AppendFormattedToByteArray
FormatAsByteArray
Impls
❱
CircuitElementDrop
CircuitElementCopy
DestructFailureGuarantee
SpanIndex
DestructOption
EcStateImpl
EcPointImpl
PedersenImpl
PoseidonImpl
SubPointersDeref
SubPointersMutDeref
StorableStoragePointerReadAccess
StorageNodeDeref
StorageNodeMutDeref
Bytes31Impl
ByteArrayImpl
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
Pedersen
Poseidon
System
starknet::storage_access::StorageAddress
starknet::contract_address::ContractAddress
starknet::class_hash::ClassHash
starknet::storage_access::StorageAddress
StorageBaseAddress
starknet::contract_address::ContractAddress
Secp256k1Point
Secp256r1Point
starknet::class_hash::ClassHash
NonZero
bytes31
Extern functions
❱
felt252_div
blake2s_compress
blake2s_finalize
null
match_nullable
ec_point_unwrap
u128_overflowing_add
u128_overflowing_sub
u128_sqrt
u128_safe_divmod
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
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
starknet::contract_address::contract_address_const
storage_base_address_const
storage_base_address_from_felt252
storage_address_from_base_and_offset
storage_address_from_base
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
class_hash_const
cheatcode
revoke_ap_tracking
require_implicit
get_available_gas
get_unspent_gas
Light
Rust
Coal
Navy
Ayu
core - Cairo
SegmentArena
Fully qualified path:
core::SegmentArena
pub extern type SegmentArena