Trait cairo_vm::with_std::hash::Hash

1.0.0 · source ·
pub trait Hash {
    // Required method
    fn hash<H>(&self, state: &mut H)
       where H: Hasher;

    // Provided method
    fn hash_slice<H>(data: &[Self], state: &mut H)
       where H: Hasher,
             Self: Sized { ... }
}
Expand description

A hashable type.

Types implementing Hash are able to be hashed with an instance of Hasher.

§Implementing Hash

You can derive Hash with #[derive(Hash)] if all fields implement Hash. The resulting hash will be the combination of the values from calling hash on each field.

#[derive(Hash)]
struct Rustacean {
    name: String,
    country: String,
}

If you need more control over how a value is hashed, you can of course implement the Hash trait yourself:

use std::hash::{Hash, Hasher};

struct Person {
    id: u32,
    name: String,
    phone: u64,
}

impl Hash for Person {
    fn hash<H: Hasher>(&self, state: &mut H) {
        self.id.hash(state);
        self.phone.hash(state);
    }
}

§Hash and Eq

When implementing both Hash and Eq, it is important that the following property holds:

k1 == k2 -> hash(k1) == hash(k2)

In other words, if two keys are equal, their hashes must also be equal. HashMap and HashSet both rely on this behavior.

Thankfully, you won’t need to worry about upholding this property when deriving both Eq and Hash with #[derive(PartialEq, Eq, Hash)].

Violating this property is a logic error. The behavior resulting from a logic error is not specified, but users of the trait must ensure that such logic errors do not result in undefined behavior. This means that unsafe code must not rely on the correctness of these methods.

§Prefix collisions

Implementations of hash should ensure that the data they pass to the Hasher are prefix-free. That is, values which are not equal should cause two different sequences of values to be written, and neither of the two sequences should be a prefix of the other.

For example, the standard implementation of Hash for &str passes an extra 0xFF byte to the Hasher so that the values ("ab", "c") and ("a", "bc") hash differently.

§Portability

Due to differences in endianness and type sizes, data fed by Hash to a Hasher should not be considered portable across platforms. Additionally the data passed by most standard library types should not be considered stable between compiler versions.

This means tests shouldn’t probe hard-coded hash values or data fed to a Hasher and instead should check consistency with Eq.

Serialization formats intended to be portable between platforms or compiler versions should either avoid encoding hashes or only rely on Hash and Hasher implementations that provide additional guarantees.

Required Methods§

1.0.0 · source

fn hash<H>(&self, state: &mut H)
where H: Hasher,

Feeds this value into the given Hasher.

§Examples
use std::hash::{DefaultHasher, Hash, Hasher};

let mut hasher = DefaultHasher::new();
7920.hash(&mut hasher);
println!("Hash is {:x}!", hasher.finish());

Provided Methods§

1.3.0 · source

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

This method is meant as a convenience, but its implementation is also explicitly left unspecified. It isn’t guaranteed to be equivalent to repeated calls of hash and implementations of Hash should keep that in mind and call hash themselves if the slice isn’t treated as a whole unit in the PartialEq implementation.

For example, a VecDeque implementation might naïvely call as_slices and then hash_slice on each slice, but this is wrong since the two slices can change with a call to make_contiguous without affecting the PartialEq result. Since these slices aren’t treated as singular units, and instead part of a larger deque, this method cannot be used.

§Examples
use std::hash::{DefaultHasher, Hash, Hasher};

let mut hasher = DefaultHasher::new();
let numbers = [6, 28, 496, 8128];
Hash::hash_slice(&numbers, &mut hasher);
println!("Hash is {:x}!", hasher.finish());

Object Safety§

This trait is not object safe.

Implementors§

source§

impl Hash for BuiltinName

source§

impl Hash for LayoutName

source§

impl Hash for MaybeRelocatable

source§

impl Hash for CairoPieValidationError

source§

impl Hash for ExecScopeError

1.0.0 · source§

impl Hash for cairo_vm::with_std::cmp::Ordering

1.44.0 · source§

impl Hash for Infallible

1.0.0 · source§

impl Hash for cairo_vm::with_std::sync::atomic::Ordering

source§

impl Hash for AsciiChar

1.7.0 · source§

impl Hash for IpAddr

source§

impl Hash for Ipv6MulticastScope

1.0.0 · source§

impl Hash for SocketAddr

1.0.0 · source§

impl Hash for std::io::error::ErrorKind

source§

impl Hash for ark_std::io::error::ErrorKind

source§

impl Hash for BigEndian

source§

impl Hash for LittleEndian

source§

impl Hash for CompressionStrategy

source§

impl Hash for TDEFLFlush

source§

impl Hash for TDEFLStatus

source§

impl Hash for CompressionLevel

source§

impl Hash for DataFormat

source§

impl Hash for MZError

source§

impl Hash for MZFlush

source§

impl Hash for MZStatus

source§

impl Hash for TINFLStatus

source§

impl Hash for nom::error::ErrorKind

source§

impl Hash for Sign

source§

impl Hash for Algorithm

source§

impl Hash for serde_json::value::Value

source§

impl Hash for Month

source§

impl Hash for Weekday

source§

impl Hash for ZSTD_EndDirective

source§

impl Hash for ZSTD_ResetDirective

source§

impl Hash for ZSTD_cParameter

source§

impl Hash for ZSTD_dParameter

source§

impl Hash for ZSTD_strategy

1.0.0 · source§

impl Hash for bool

1.0.0 · source§

impl Hash for char

1.0.0 · source§

impl Hash for i8

1.0.0 · source§

impl Hash for i16

1.0.0 · source§

impl Hash for i32

1.0.0 · source§

impl Hash for i64

1.0.0 · source§

impl Hash for i128

1.0.0 · source§

impl Hash for isize

1.29.0 · source§

impl Hash for !

1.0.0 · source§

impl Hash for str

1.0.0 · source§

impl Hash for u8

1.0.0 · source§

impl Hash for u16

1.0.0 · source§

impl Hash for u32

1.0.0 · source§

impl Hash for u64

1.0.0 · source§

impl Hash for u128

1.0.0 · source§

impl Hash for ()

1.0.0 · source§

impl Hash for usize

1.0.0 · source§

impl Hash for String

source§

impl Hash for Felt

source§

impl Hash for Relocatable

1.28.0 · source§

impl Hash for Layout

1.0.0 · source§

impl Hash for TypeId

1.0.0 · source§

impl Hash for Error

1.33.0 · source§

impl Hash for PhantomPinned

1.0.0 · source§

impl Hash for RangeFull

source§

impl Hash for Alignment

1.3.0 · source§

impl Hash for cairo_vm::with_std::time::Duration

1.64.0 · source§

impl Hash for CString

1.64.0 · source§

impl Hash for CStr

1.0.0 · source§

impl Hash for Ipv4Addr

1.0.0 · source§

impl Hash for Ipv6Addr

1.0.0 · source§

impl Hash for SocketAddrV4

1.0.0 · source§

impl Hash for SocketAddrV6

1.0.0 · source§

impl Hash for OsStr

1.0.0 · source§

impl Hash for OsString

1.1.0 · source§

impl Hash for FileType

source§

impl Hash for UCred

1.0.0 · source§

impl Hash for Path

1.0.0 · source§

impl Hash for PathBuf

1.0.0 · source§

impl Hash for PrefixComponent<'_>

1.19.0 · source§

impl Hash for ThreadId

1.8.0 · source§

impl Hash for std::time::Instant

1.8.0 · source§

impl Hash for SystemTime

source§

impl Hash for Lsb0

source§

impl Hash for Msb0

source§

impl Hash for Limb

source§

impl Hash for MontgomeryConfigStark252PrimeField

source§

impl Hash for Mersenne31Field

source§

impl Hash for Goldilocks64Field

source§

impl Hash for StreamResult

source§

impl Hash for num_bigint::bigint::BigInt

source§

impl Hash for BigUint

source§

impl Hash for Decimal

source§

impl Hash for Map<String, Value>

source§

impl Hash for Number

source§

impl Hash for starknet_ff::FieldElement

source§

impl Hash for Date

source§

impl Hash for time::duration::Duration

source§

impl Hash for ComponentRange

source§

impl Hash for time::instant::Instant

source§

impl Hash for OffsetDateTime

source§

impl Hash for PrimitiveDateTime

source§

impl Hash for Time

source§

impl Hash for UtcOffset

source§

impl Hash for ATerm

source§

impl Hash for B0

source§

impl Hash for B1

source§

impl Hash for Z0

source§

impl Hash for Equal

source§

impl Hash for Greater

source§

impl Hash for Less

source§

impl Hash for UTerm

source§

impl Hash for Const

source§

impl Hash for Mut

source§

impl Hash for NullPtrError

1.0.0 · source§

impl<'a> Hash for Component<'a>

1.0.0 · source§

impl<'a> Hash for Prefix<'a>

1.10.0 · source§

impl<'a> Hash for Location<'a>

source§

impl<'a> Hash for Ident<'a>

source§

impl<'a> Hash for password_hash::value::Value<'a>

source§

impl<'a, M, T, O> Hash for PartialElement<'a, M, T, O>
where M: Mutability, T: 'a + BitStore, O: BitOrder,

source§

impl<A, O> Hash for BitArray<A, O>
where A: BitViewSized, O: BitOrder,

1.0.0 · source§

impl<B> Hash for Cow<'_, B>
where B: Hash + ToOwned + ?Sized,

1.55.0 · source§

impl<B, C> Hash for ControlFlow<B, C>
where B: Hash, C: Hash,

source§

impl<Dyn> Hash for DynMetadata<Dyn>
where Dyn: ?Sized,

source§

impl<F> Hash for lambdaworks_math::field::element::FieldElement<F>
where F: Hash + IsField, <F as IsField>::BaseType: Hash,

1.4.0 · source§

impl<F> Hash for F
where F: FnPtr,

1.0.0 · source§

impl<Idx> Hash for cairo_vm::with_std::ops::Range<Idx>
where Idx: Hash,

1.0.0 · source§

impl<Idx> Hash for cairo_vm::with_std::ops::RangeFrom<Idx>
where Idx: Hash,

1.26.0 · source§

impl<Idx> Hash for cairo_vm::with_std::ops::RangeInclusive<Idx>
where Idx: Hash,

1.0.0 · source§

impl<Idx> Hash for RangeTo<Idx>
where Idx: Hash,

1.26.0 · source§

impl<Idx> Hash for RangeToInclusive<Idx>
where Idx: Hash,

source§

impl<Idx> Hash for core::range::Range<Idx>
where Idx: Hash,

source§

impl<Idx> Hash for core::range::RangeFrom<Idx>
where Idx: Hash,

source§

impl<Idx> Hash for core::range::RangeInclusive<Idx>
where Idx: Hash,

source§

impl<Inner> Hash for Frozen<Inner>
where Inner: Hash + Mutability,

1.0.0 · source§

impl<K, V, A> Hash for BTreeMap<K, V, A>
where K: Hash, V: Hash, A: Allocator + Clone,

source§

impl<L, R> Hash for Either<L, R>
where L: Hash, R: Hash,

source§

impl<M, T> Hash for Address<M, T>
where M: Mutability, T: ?Sized,

source§

impl<M, T, O> Hash for BitRef<'_, M, T, O>
where M: Mutability, T: BitStore, O: BitOrder,

source§

impl<M, T, O> Hash for BitPtrRange<M, T, O>
where M: Mutability, T: BitStore, O: BitOrder,

source§

impl<M, T, O> Hash for BitPtr<M, T, O>
where M: Mutability, T: BitStore, O: BitOrder,

source§

impl<M, const NUM_LIMBS: usize> Hash for MontgomeryBackendPrimeField<M, NUM_LIMBS>
where M: Hash,

source§

impl<P> Hash for CubicExtField<P>
where P: CubicExtConfig,

source§

impl<P> Hash for QuadExtField<P>
where P: QuadExtConfig,

source§

impl<P, const N: usize> Hash for Fp<P, N>
where P: FpConfig<N>,

1.41.0 · source§

impl<Ptr> Hash for Pin<Ptr>
where Ptr: Deref, <Ptr as Deref>::Target: Hash,

source§

impl<R> Hash for BitEnd<R>
where R: Hash + BitRegister,

source§

impl<R> Hash for BitIdx<R>
where R: Hash + BitRegister,

source§

impl<R> Hash for BitIdxError<R>
where R: Hash + BitRegister,

source§

impl<R> Hash for BitMask<R>
where R: Hash + BitRegister,

source§

impl<R> Hash for BitPos<R>
where R: Hash + BitRegister,

source§

impl<R> Hash for BitSel<R>
where R: Hash + BitRegister,

1.17.0 · source§

impl<T> Hash for Bound<T>
where T: Hash,

1.0.0 · source§

impl<T> Hash for Option<T>
where T: Hash,

1.36.0 · source§

impl<T> Hash for Poll<T>
where T: Hash,

source§

impl<T> Hash for BitPtrError<T>
where T: Hash + BitStore,

source§

impl<T> Hash for BitSpanError<T>
where T: Hash + BitStore,

1.0.0 · source§

impl<T> Hash for *const T
where T: ?Sized,

1.0.0 · source§

impl<T> Hash for *mut T
where T: ?Sized,

1.0.0 · source§

impl<T> Hash for &T
where T: Hash + ?Sized,

1.0.0 · source§

impl<T> Hash for &mut T
where T: Hash + ?Sized,

1.0.0 · source§

impl<T> Hash for [T]
where T: Hash,

1.0.0 · source§

impl<T> Hash for (T₁, T₂, …, Tₙ)
where T: Hash + ?Sized,

This trait is implemented for tuples up to twelve items long.

1.19.0 · source§

impl<T> Hash for Reverse<T>
where T: Hash,

1.0.0 · source§

impl<T> Hash for PhantomData<T>
where T: ?Sized,

1.21.0 · source§

impl<T> Hash for Discriminant<T>

1.20.0 · source§

impl<T> Hash for ManuallyDrop<T>
where T: Hash + ?Sized,

1.28.0 · source§

impl<T> Hash for NonZero<T>

1.74.0 · source§

impl<T> Hash for Saturating<T>
where T: Hash,

1.0.0 · source§

impl<T> Hash for Wrapping<T>
where T: Hash,

1.25.0 · source§

impl<T> Hash for NonNull<T>
where T: ?Sized,

source§

impl<T> Hash for MisalignError<T>
where T: Hash,

source§

impl<T> Hash for Unalign<T>
where T: Unaligned + Hash,

1.0.0 · source§

impl<T, A> Hash for cairo_vm::stdlib::prelude::Box<T, A>
where T: Hash + ?Sized, A: Allocator,

1.0.0 · source§

impl<T, A> Hash for cairo_vm::stdlib::prelude::Vec<T, A>
where T: Hash, A: Allocator,

The hash of a vector is the same as that of the corresponding slice, as required by the core::borrow::Borrow implementation.

use std::hash::BuildHasher;

let b = std::hash::RandomState::new();
let v: Vec<u8> = vec![0xa8, 0x3c, 0x09];
let s: &[u8] = &[0xa8, 0x3c, 0x09];
assert_eq!(b.hash_one(v), b.hash_one(s));
1.0.0 · source§

impl<T, A> Hash for Rc<T, A>
where T: Hash + ?Sized, A: Allocator,

1.0.0 · source§

impl<T, A> Hash for Arc<T, A>
where T: Hash + ?Sized, A: Allocator,

1.0.0 · source§

impl<T, A> Hash for BTreeSet<T, A>
where T: Hash, A: Allocator + Clone,

1.0.0 · source§

impl<T, A> Hash for LinkedList<T, A>
where T: Hash, A: Allocator,

1.0.0 · source§

impl<T, A> Hash for VecDeque<T, A>
where T: Hash, A: Allocator,

source§

impl<T, A> Hash for allocator_api2::stable::boxed::Box<T, A>
where T: Hash + ?Sized, A: Allocator,

source§

impl<T, A> Hash for allocator_api2::stable::vec::Vec<T, A>
where T: Hash, A: Allocator,

The hash of a vector is the same as that of the corresponding slice, as required by the core::borrow::Borrow implementation.

#![feature(build_hasher_simple_hash_one)]
use std::hash::BuildHasher;

let b = std::collections::hash_map::RandomState::new();
let v: Vec<u8> = vec![0xa8, 0x3c, 0x09];
let s: &[u8] = &[0xa8, 0x3c, 0x09];
assert_eq!(b.hash_one(v), b.hash_one(s));
1.0.0 · source§

impl<T, E> Hash for Result<T, E>
where T: Hash, E: Hash,

source§

impl<T, N> Hash for GenericArray<T, N>
where T: Hash, N: ArrayLength<T>,

source§

impl<T, O> Hash for BitBox<T, O>
where T: BitStore, O: BitOrder,

source§

impl<T, O> Hash for BitSlice<T, O>
where T: BitStore, O: BitOrder,

source§

impl<T, O> Hash for BitVec<T, O>
where T: BitStore, O: BitOrder,

source§

impl<T, const CAP: usize> Hash for ArrayVec<T, CAP>
where T: Hash,

1.0.0 · source§

impl<T, const N: usize> Hash for [T; N]
where T: Hash,

The hash of an array is the same as that of the corresponding slice, as required by the Borrow implementation.

use std::hash::BuildHasher;

let b = std::hash::RandomState::new();
let a: [u8; 3] = [0xa8, 0x3c, 0x09];
let s: &[u8] = &[0xa8, 0x3c, 0x09];
assert_eq!(b.hash_one(a), b.hash_one(s));
source§

impl<T, const N: usize> Hash for Simd<T, N>

source§

impl<U> Hash for NInt<U>
where U: Hash + Unsigned + NonZero,

source§

impl<U> Hash for PInt<U>
where U: Hash + Unsigned + NonZero,

source§

impl<U, B> Hash for UInt<U, B>
where U: Hash, B: Hash,

source§

impl<V, A> Hash for TArr<V, A>
where V: Hash, A: Hash,

source§

impl<Y, R> Hash for CoroutineState<Y, R>
where Y: Hash, R: Hash,

source§

impl<const CAP: usize> Hash for ArrayString<CAP>

source§

impl<const LIMBS: usize> Hash for Uint<LIMBS>

source§

impl<const MIN: i8, const MAX: i8> Hash for OptionRangedI8<MIN, MAX>

source§

impl<const MIN: i8, const MAX: i8> Hash for RangedI8<MIN, MAX>

source§

impl<const MIN: i16, const MAX: i16> Hash for OptionRangedI16<MIN, MAX>

source§

impl<const MIN: i16, const MAX: i16> Hash for RangedI16<MIN, MAX>

source§

impl<const MIN: i32, const MAX: i32> Hash for OptionRangedI32<MIN, MAX>

source§

impl<const MIN: i32, const MAX: i32> Hash for RangedI32<MIN, MAX>

source§

impl<const MIN: i64, const MAX: i64> Hash for OptionRangedI64<MIN, MAX>

source§

impl<const MIN: i64, const MAX: i64> Hash for RangedI64<MIN, MAX>

source§

impl<const MIN: i128, const MAX: i128> Hash for OptionRangedI128<MIN, MAX>

source§

impl<const MIN: i128, const MAX: i128> Hash for RangedI128<MIN, MAX>

source§

impl<const MIN: isize, const MAX: isize> Hash for OptionRangedIsize<MIN, MAX>

source§

impl<const MIN: isize, const MAX: isize> Hash for RangedIsize<MIN, MAX>

source§

impl<const MIN: u8, const MAX: u8> Hash for OptionRangedU8<MIN, MAX>

source§

impl<const MIN: u8, const MAX: u8> Hash for RangedU8<MIN, MAX>

source§

impl<const MIN: u16, const MAX: u16> Hash for OptionRangedU16<MIN, MAX>

source§

impl<const MIN: u16, const MAX: u16> Hash for RangedU16<MIN, MAX>

source§

impl<const MIN: u32, const MAX: u32> Hash for OptionRangedU32<MIN, MAX>

source§

impl<const MIN: u32, const MAX: u32> Hash for RangedU32<MIN, MAX>

source§

impl<const MIN: u64, const MAX: u64> Hash for OptionRangedU64<MIN, MAX>

source§

impl<const MIN: u64, const MAX: u64> Hash for RangedU64<MIN, MAX>

source§

impl<const MIN: u128, const MAX: u128> Hash for OptionRangedU128<MIN, MAX>

source§

impl<const MIN: u128, const MAX: u128> Hash for RangedU128<MIN, MAX>

source§

impl<const MIN: usize, const MAX: usize> Hash for OptionRangedUsize<MIN, MAX>

source§

impl<const MIN: usize, const MAX: usize> Hash for RangedUsize<MIN, MAX>

source§

impl<const MODULUS: u64> Hash for U64PrimeField<MODULUS>

source§

impl<const N: usize> Hash for ark_ff::biginteger::BigInt<N>

source§

impl<const NUM_LIMBS: usize> Hash for UnsignedInteger<NUM_LIMBS>

source§

impl<const SIZE: usize> Hash for WriteBuffer<SIZE>