to_curve_value.hpp

Go to the documentation of this file.

//---------------------------------------------------------------------------//
// Copyright (c) 2021 Mikhail Komarov <nemo@nil.foundation>
// Copyright (c) 2021 Ilias Khairullin <ilias@nil.foundation>
//
// MIT License
//
// Permission is hereby granted, free of charge, to any person obtaining a copy
// of this software and associated documentation files (the "Software"), to deal
// in the Software without restriction, including without limitation the rights
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//
// The above copyright notice and this permission notice shall be included in all
// copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
// SOFTWARE.
//---------------------------------------------------------------------------//
 
#ifndef CRYPTO3_HASH_TO_CURVE_VALUE_HPP
#define CRYPTO3_HASH_TO_CURVE_VALUE_HPP
 
#include <type_traits>
#include <iterator>
 
#include <boost/assert.hpp>
#include <boost/concept_check.hpp>
 
#include <boost/range/concepts.hpp>
 
#include <boost/mpl/front.hpp>
#include <boost/mpl/apply.hpp>
 
#include <nil/crypto3/hash/accumulators/to_curve.hpp>
 
namespace nil {
    namespace crypto3 {
        namespace hashes {
            namespace detail {
                template<typename PaddingAccumulator>
                struct ref_to_curve_impl {
                    typedef PaddingAccumulator accumulator_set_type;
                    typedef
                        typename boost::mpl::front<typename accumulator_set_type::features_type>::type accumulator_type;
 
                    ref_to_curve_impl(accumulator_set_type &&acc) : accumulator_set(acc) {
                    }
 
                    accumulator_set_type &accumulator_set;
                };
 
                template<typename PaddingAccumulator>
                struct value_to_curve_impl {
                    typedef PaddingAccumulator accumulator_set_type;
                    typedef
                        typename boost::mpl::front<typename accumulator_set_type::features_type>::type accumulator_type;
 
                    value_to_curve_impl(accumulator_set_type &&acc) :
                        accumulator_set(std::forward<accumulator_set_type>(acc)) {
                    }
 
                    mutable accumulator_set_type accumulator_set;
                };
 
                template<typename PaddingStateImpl>
                struct range_to_curve_impl : public PaddingStateImpl {
                    typedef PaddingStateImpl padding_state_impl_type;
 
                    typedef typename padding_state_impl_type::accumulator_type accumulator_type;
                    typedef typename padding_state_impl_type::accumulator_set_type accumulator_set_type;
 
                    typedef typename boost::mpl::apply<accumulator_set_type, accumulator_type>::type::result_type
                        result_type;
 
                    template<typename SinglePassRange>
                    range_to_curve_impl(const SinglePassRange &range, accumulator_set_type &&ise) :
                        PaddingStateImpl(std::forward<accumulator_set_type>(ise)) {
                        BOOST_RANGE_CONCEPT_ASSERT((boost::SinglePassRangeConcept<const SinglePassRange>));
 
                        this->accumulator_set(range);
                    }
 
                    template<typename InputIterator>
                    range_to_curve_impl(InputIterator first, InputIterator last, accumulator_set_type &&ise) :
                        PaddingStateImpl(std::forward<accumulator_set_type>(ise)) {
                        BOOST_CONCEPT_ASSERT((boost::InputIteratorConcept<InputIterator>));
 
                        this->accumulator_set(first, ::nil::crypto3::accumulators::iterator_last = last);
                    }
 
                    template<typename OutputRange>
                    operator OutputRange() const {
                        result_type result =
                            boost::accumulators::extract_result<accumulator_type>(this->accumulator_set);
                        return OutputRange(result.cbegin(), result.cend());
                    }
 
                    operator result_type() const {
                        return boost::accumulators::extract_result<accumulator_type>(this->accumulator_set);
                    }
 
                    operator accumulator_set_type &() const {
                        return this->accumulator_set;
                    }
 
#ifdef CRYPTO3_ASCII_STRING_CODEC_OUTPUT
                    template<typename Char, typename CharTraits, typename Alloc>
                    operator std::basic_string<Char, CharTraits, Alloc>() const {
                        return std::to_string(
                            boost::accumulators::extract_result<accumulator_type>(this->accumulator_set));
                    }
#endif
                };
 
                template<typename PaddingStateImpl, typename OutputIterator>
                struct itr_to_curve_impl : public PaddingStateImpl {
                private:
                    mutable OutputIterator out;
 
                public:
                    typedef PaddingStateImpl padding_state_impl_type;
 
                    typedef typename padding_state_impl_type::accumulator_type accumulator_type;
                    typedef typename padding_state_impl_type::accumulator_set_type accumulator_set_type;
 
                    typedef typename boost::mpl::apply<accumulator_set_type, accumulator_type>::type::result_type
                        result_type;
 
                    template<typename SinglePassRange>
                    itr_to_curve_impl(const SinglePassRange &range, OutputIterator out, accumulator_set_type &&ise) :
                        PaddingStateImpl(std::forward<accumulator_set_type>(ise)), out(std::move(out)) {
                        BOOST_CONCEPT_ASSERT((boost::SinglePassRangeConcept<const SinglePassRange>));
                        BOOST_CONCEPT_ASSERT((boost::OutputIteratorConcept<OutputIterator, result_type>));
 
                        this->accumulator_set(range);
                    }
 
                    template<typename InputIterator>
                    itr_to_curve_impl(InputIterator first, InputIterator last, OutputIterator out,
                                      accumulator_set_type &&ise) :
                        PaddingStateImpl(std::forward<accumulator_set_type>(ise)),
                        out(std::move(out)) {
                        BOOST_CONCEPT_ASSERT((boost::InputIteratorConcept<InputIterator>));
                        BOOST_CONCEPT_ASSERT((boost::OutputIteratorConcept<OutputIterator, result_type>));
 
                        this->accumulator_set(first, ::nil::crypto3::accumulators::iterator_last = last);
                    }
 
                    operator OutputIterator() const {
                        *out++ = boost::accumulators::extract_result<accumulator_type>(this->accumulator_set);
                        return out;
                    }
                };
            }    // namespace detail
        }        // namespace hashes
    }            // namespace crypto3
}    // namespace nil
 
#endif    // CRYPTO3_CODEC_POSTPROCESSOR_HPP