ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
picosha2.h File Reference
#include <algorithm>
#include <cassert>
#include <iterator>
#include <sstream>
#include <vector>
#include <fstream>
Include dependency graph for picosha2.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  picosha2::hash256_one_by_one

Namespaces

namespace  picosha2
namespace  picosha2::detail
namespace  picosha2::impl

Macros

#define PICOSHA2_BUFFER_SIZE_FOR_INPUT_ITERATOR    1048576

Typedefs

typedef unsigned long picosha2::word_t
typedef unsigned char picosha2::byte_t

Functions

byte_t picosha2::detail::mask_8bit (byte_t x)
word_t picosha2::detail::mask_32bit (word_t x)
word_t picosha2::detail::ch (word_t x, word_t y, word_t z)
word_t picosha2::detail::maj (word_t x, word_t y, word_t z)
word_t picosha2::detail::rotr (word_t x, std::size_t n)
word_t picosha2::detail::bsig0 (word_t x)
word_t picosha2::detail::bsig1 (word_t x)
word_t picosha2::detail::shr (word_t x, std::size_t n)
word_t picosha2::detail::ssig0 (word_t x)
word_t picosha2::detail::ssig1 (word_t x)
template<typename RaIter1, typename RaIter2>
void picosha2::detail::hash256_block (RaIter1 message_digest, RaIter2 first, RaIter2 last)
template<typename InIter>
void picosha2::output_hex (InIter first, InIter last, std::ostream &os)
template<typename InIter>
void picosha2::bytes_to_hex_string (InIter first, InIter last, std::string &hex_str)
template<typename InContainer>
void picosha2::bytes_to_hex_string (const InContainer &bytes, std::string &hex_str)
template<typename InIter>
std::string picosha2::bytes_to_hex_string (InIter first, InIter last)
template<typename InContainer>
std::string picosha2::bytes_to_hex_string (const InContainer &bytes)
void picosha2::get_hash_hex_string (const hash256_one_by_one &hasher, std::string &hex_str)
std::string picosha2::get_hash_hex_string (const hash256_one_by_one &hasher)
template<typename RaIter, typename OutIter>
void picosha2::impl::hash256_impl (RaIter first, RaIter last, OutIter first2, OutIter last2, int, std::random_access_iterator_tag)
template<typename InputIter, typename OutIter>
void picosha2::impl::hash256_impl (InputIter first, InputIter last, OutIter first2, OutIter last2, int buffer_size, std::input_iterator_tag)
template<typename InIter, typename OutIter>
void picosha2::hash256 (InIter first, InIter last, OutIter first2, OutIter last2, int buffer_size=PICOSHA2_BUFFER_SIZE_FOR_INPUT_ITERATOR)
template<typename InIter, typename OutContainer>
void picosha2::hash256 (InIter first, InIter last, OutContainer &dst)
template<typename InContainer, typename OutIter>
void picosha2::hash256 (const InContainer &src, OutIter first, OutIter last)
template<typename InContainer, typename OutContainer>
void picosha2::hash256 (const InContainer &src, OutContainer &dst)
template<typename InIter>
void picosha2::hash256_hex_string (InIter first, InIter last, std::string &hex_str)
template<typename InIter>
std::string picosha2::hash256_hex_string (InIter first, InIter last)
void picosha2::hash256_hex_string (const std::string &src, std::string &hex_str)
template<typename InContainer>
void picosha2::hash256_hex_string (const InContainer &src, std::string &hex_str)
template<typename InContainer>
std::string picosha2::hash256_hex_string (const InContainer &src)
template<typename OutIter>
void picosha2::hash256 (std::ifstream &f, OutIter first, OutIter last)

Variables

static const size_t picosha2::k_digest_size = 32
const word_t picosha2::detail::add_constant [64]
const word_t picosha2::detail::initial_message_digest [8]

Macro Definition Documentation

◆ PICOSHA2_BUFFER_SIZE_FOR_INPUT_ITERATOR

#define PICOSHA2_BUFFER_SIZE_FOR_INPUT_ITERATOR    1048576