Concept description updated #1

Author: nemothenoone

docs/concepts.md

@@ -1,3 +1,37 @@
-# Message Authentication Codes Concepts {#mac_concepts}
+# Message Authentication Codes Concepts # {#mac_concepts}
 
-## Message Authentication Code Concept {#mac_concept} 
+## MessageAuthenticationCode Concept ## {#mac_concept}
+
+A ```MessageAuthenticationCode``` is an object intended to compute non-isomorphic permutations over particular sized integers (e.g. rijndael).
+
+### Requirements ### {#block_ciphers_concepts_requirements}
+
+The type ```X``` satisfies ```MessageAuthenticationCode``` if
+
+Given
+* ```KeyType```, the type named by ```X::key_type```
+* ```BlockType```, the type named by ```X::block_type```
+* ```DigestType```, the type named by ```X::digest_type```
+
+The following type members must be valid and have their specified effects
+
+|Expression                   |Type            |Requirements and Notes         |
+|-----------------------------|----------------|-------------------------------|
+|```X::block_type```          |```BlockType``` |```BlockType``` type is a ```SequenceContainer``` of type ```T``` or ```std::array<T>```|
+|```X::word_type```           |```WordType```  |```WordType``` type satisfies ```Integral``` concept|
+|```X::digest_type```         |```DigestType```|```DigestType``` type is a ```SequenceContainer``` of type ```T```|
+
+The following static data member definitions must be valid and have their specified effects
+
+|Expression          |Type             |Requirements and Notes                 |
+|--------------------|-----------------|---------------------------------------|
+|```X::digest_bits```|```std::size_t```|```Integral``` bits amount in ```DigestType```|
+|```X::key_bits```   |```std::size_t```|```Integral``` bits amount in ```KeyType```|
+|```X::block_bits``` |```std::size_t```|```Integral``` bits amount in ```BlockType```|
+|```X::block_words```|```std::size_t```|```Integral``` amount of ```WordType``` values in ```BlockType```|
+
+The following expressions must be valid and have their specified effects
+
+|Expression                 |Requirements      |Return Type                    |
+|---------------------------|------------------|-------------------------------|
+|```X(key_type)```|Constructs stateful ```MessageAuthenticationCode``` object with input key of ```key_type```|```MessageAuthenticationCode```|

include/nil/crypto3/mac/algorithm/compute.hpp

@@ -10,12 +10,8 @@
 #ifndef CRYPTO3_MAC_COMPUTE_HPP
 #define CRYPTO3_MAC_COMPUTE_HPP
 
-#include <boost/assert.hpp>
-#include <boost/concept_check.hpp>
-
-#include <boost/range/begin.hpp>
-#include <boost/range/end.hpp>
-#include <boost/range/concepts.hpp>
+#include <nil/crypto3/mac/mac_value.hpp>
+#include <nil/crypto3/mac/mac_state.hpp>
 
 namespace nil {
     namespace crypto3 {
@@ -32,21 +28,6 @@ namespace nil {
              * interface similar to STL algorithms' one.
              */
 
-            namespace detail {
-                template<typename Encoder, typename InputIterator, typename OutputIterator>
-                OutputIterator compute_impl(InputIterator first, InputIterator last, OutputIterator out, Encoder pred) {
-                    typedef typename std::iterator_traits<InputIterator>::value_type value_type;
-
-                    BOOST_STATIC_ASSERT(std::numeric_limits<value_type>::is_specialized);
-
-                    pred.compute(first, last);
-
-                    typename Encoder::result_type result = pred.get();
-
-                    return std::move(result.begin(), result.end(), out);
-                };
-            }    // namespace detail
-
             /*!
              * @brief
              *

include/nil/crypto3/mac/hmac.hpp

@@ -10,9 +10,10 @@
 #ifndef CRYPTO3_MAC_HMAC_HPP
 #define CRYPTO3_MAC_HMAC_HPP
 
+#include <nil/crypto3/detail/pack.hpp>
+
 #include <nil/crypto3/mac/detail/hmac/accumulator.hpp>
 #include <nil/crypto3/mac/detail/hmac/hmac_policy.hpp>
-#include <nil/crypto3/mac/detail/pack.hpp>
 
 #include <nil/crypto3/hash/hash_state.hpp>
 #include <nil/crypto3/hash/algorithm/hash.hpp>