3 #include "library/sha256.hpp"
4 #include "library/serialization.hpp"
5 #include "interface/callbacks.hpp"
17 serialization::u64l(state
, ecore_callbacks
->get_randomseed());
21 void random::push(uint32_t x
)
28 serialization::u32l(buf
, x
);
33 uint32_t random::pull()
37 uint32_t val
= serialization::u32l(state
);