1
0
Fork 0
mirror of https://gitlab.redox-os.org/CoffeeCode/redox-ssh.git synced 2025-12-29 00:22:19 +01:00
redox-ssh/crypto/sha2/fn.sha256_digest_block.html

197 lines
No EOL
16 KiB
HTML
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="generator" content="rustdoc">
<meta name="description" content="API documentation for the Rust `sha256_digest_block` fn in crate `crypto`.">
<meta name="keywords" content="rust, rustlang, rust-lang, sha256_digest_block">
<title>crypto::sha2::sha256_digest_block - Rust</title>
<link rel="stylesheet" type="text/css" href="../../normalize.css">
<link rel="stylesheet" type="text/css" href="../../rustdoc.css">
<link rel="stylesheet" type="text/css" href="../../main.css">
</head>
<body class="rustdoc fn">
<!--[if lte IE 8]>
<div class="warning">
This old browser is unsupported and will most likely display funky
things.
</div>
<![endif]-->
<nav class="sidebar">
<p class='location'><a href='../index.html'>crypto</a>::<wbr><a href='index.html'>sha2</a></p><script>window.sidebarCurrent = {name: 'sha256_digest_block', ty: 'fn', relpath: ''};</script><script defer src="sidebar-items.js"></script>
</nav>
<nav class="sub">
<form class="search-form js-only">
<div class="search-container">
<input class="search-input" name="search"
autocomplete="off"
placeholder="Click or press S to search, ? for more options…"
type="search">
</div>
</form>
</nav>
<section id='main' class="content">
<h1 class='fqn'><span class='in-band'>Function <a href='../index.html'>crypto</a>::<wbr><a href='index.html'>sha2</a>::<wbr><a class="fn" href=''>sha256_digest_block</a></span><span class='out-of-band'><span id='render-detail'>
<a id="toggle-all-docs" href="javascript:void(0)" title="collapse all docs">
[<span class='inner'>&#x2212;</span>]
</a>
</span><a class='srclink' href='../../src/crypto/sha2.rs.html#351-356' title='goto source code'>[src]</a></span></h1>
<pre class='rust fn'>pub fn sha256_digest_block(state: &amp;mut <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.array.html">[</a><a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.u32.html">u32</a><a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.array.html">; 8]</a>, block: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.slice.html">&amp;[</a><a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.u8.html">u8</a><a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.slice.html">]</a>)</pre><div class='docblock'><p>Process a block with the SHA-256 algorithm. (See more...)</p>
<p>Internally, this uses functions which resemble the new Intel SHA instruction sets,
and so it&#39;s data locality properties may improve performance. However, to benefit
the most from this implementation, replace these functions with x86 intrinsics to
get a possible speed boost.</p>
<h1 id='implementation' class='section-header'><a href='#implementation'>Implementation</a></h1>
<p>The <code>Sha256</code> algorithm is implemented with functions that resemble the new
Intel SHA instruction set extensions. These intructions fall into two categories:
message schedule calculation, and the message block 64-round digest calculation.
The schedule-related instructions allow 4 rounds to be calculated as:</p>
<pre class="rust rust-example-rendered">
<span class="kw">use</span> <span class="ident">std</span>::<span class="ident">simd</span>::<span class="ident">u32x4</span>;
<span class="kw">use</span> <span class="self">self</span>::<span class="ident">crypto</span>::<span class="ident">sha2</span>::{
<span class="ident">sha256msg1</span>,
<span class="ident">sha256msg2</span>,
<span class="ident">sha256load</span>
};
<span class="kw">fn</span> <span class="ident">schedule4_data</span>(<span class="ident">work</span>: <span class="kw-2">&amp;</span><span class="kw-2">mut</span> [<span class="ident">u32x4</span>], <span class="ident">w</span>: <span class="kw-2">&amp;</span>[<span class="ident">u32</span>]) {
<span class="comment">// this is to illustrate the data order</span>
<span class="ident">work</span>[<span class="number">0</span>] <span class="op">=</span> <span class="ident">u32x4</span>(<span class="ident">w</span>[<span class="number">3</span>], <span class="ident">w</span>[<span class="number">2</span>], <span class="ident">w</span>[<span class="number">1</span>], <span class="ident">w</span>[<span class="number">0</span>]);
<span class="ident">work</span>[<span class="number">1</span>] <span class="op">=</span> <span class="ident">u32x4</span>(<span class="ident">w</span>[<span class="number">7</span>], <span class="ident">w</span>[<span class="number">6</span>], <span class="ident">w</span>[<span class="number">5</span>], <span class="ident">w</span>[<span class="number">4</span>]);
<span class="ident">work</span>[<span class="number">2</span>] <span class="op">=</span> <span class="ident">u32x4</span>(<span class="ident">w</span>[<span class="number">11</span>], <span class="ident">w</span>[<span class="number">10</span>], <span class="ident">w</span>[<span class="number">9</span>], <span class="ident">w</span>[<span class="number">8</span>]);
<span class="ident">work</span>[<span class="number">3</span>] <span class="op">=</span> <span class="ident">u32x4</span>(<span class="ident">w</span>[<span class="number">15</span>], <span class="ident">w</span>[<span class="number">14</span>], <span class="ident">w</span>[<span class="number">13</span>], <span class="ident">w</span>[<span class="number">12</span>]);
}
<span class="kw">fn</span> <span class="ident">schedule4_work</span>(<span class="ident">work</span>: <span class="kw-2">&amp;</span><span class="kw-2">mut</span> [<span class="ident">u32x4</span>], <span class="ident">t</span>: <span class="ident">usize</span>) {
<span class="comment">// this is the core expression</span>
<span class="ident">work</span>[<span class="ident">t</span>] <span class="op">=</span> <span class="ident">sha256msg2</span>(<span class="ident">sha256msg1</span>(<span class="ident">work</span>[<span class="ident">t</span> <span class="op">-</span> <span class="number">4</span>], <span class="ident">work</span>[<span class="ident">t</span> <span class="op">-</span> <span class="number">3</span>]) <span class="op">+</span>
<span class="ident">sha256load</span>(<span class="ident">work</span>[<span class="ident">t</span> <span class="op">-</span> <span class="number">2</span>], <span class="ident">work</span>[<span class="ident">t</span> <span class="op">-</span> <span class="number">1</span>]),
<span class="ident">work</span>[<span class="ident">t</span> <span class="op">-</span> <span class="number">1</span>])
}</pre>
<p>instead of 4 rounds of:</p>
<pre class="rust rust-example-rendered">
<span class="kw">fn</span> <span class="ident">schedule_work</span>(<span class="ident">w</span>: <span class="kw-2">&amp;</span><span class="kw-2">mut</span> [<span class="ident">u32</span>], <span class="ident">t</span>: <span class="ident">usize</span>) {
<span class="ident">w</span>[<span class="ident">t</span>] <span class="op">=</span> <span class="macro">sigma1</span><span class="macro">!</span>(<span class="ident">w</span>[<span class="ident">t</span> <span class="op">-</span> <span class="number">2</span>]) <span class="op">+</span> <span class="ident">w</span>[<span class="ident">t</span> <span class="op">-</span> <span class="number">7</span>] <span class="op">+</span> <span class="macro">sigma0</span><span class="macro">!</span>(<span class="ident">w</span>[<span class="ident">t</span> <span class="op">-</span> <span class="number">15</span>]) <span class="op">+</span> <span class="ident">w</span>[<span class="ident">t</span> <span class="op">-</span> <span class="number">16</span>];
}</pre>
<p>and the digest-related instructions allow 4 rounds to be calculated as:</p>
<pre class="rust rust-example-rendered">
<span class="kw">use</span> <span class="ident">std</span>::<span class="ident">simd</span>::<span class="ident">u32x4</span>;
<span class="kw">use</span> <span class="self">self</span>::<span class="ident">crypto</span>::<span class="ident">sha2</span>::{<span class="ident">K32X4</span>,
<span class="ident">sha256rnds2</span>,
<span class="ident">sha256swap</span>
};
<span class="kw">fn</span> <span class="ident">rounds4</span>(<span class="ident">state</span>: <span class="kw-2">&amp;</span><span class="kw-2">mut</span> [<span class="ident">u32</span>; <span class="number">8</span>], <span class="ident">work</span>: <span class="kw-2">&amp;</span><span class="kw-2">mut</span> [<span class="ident">u32x4</span>], <span class="ident">t</span>: <span class="ident">usize</span>) {
<span class="kw">let</span> [<span class="ident">a</span>, <span class="ident">b</span>, <span class="ident">c</span>, <span class="ident">d</span>, <span class="ident">e</span>, <span class="ident">f</span>, <span class="ident">g</span>, <span class="ident">h</span>]: [<span class="ident">u32</span>; <span class="number">8</span>] <span class="op">=</span> <span class="kw-2">*</span><span class="ident">state</span>;
<span class="comment">// this is to illustrate the data order</span>
<span class="kw">let</span> <span class="kw-2">mut</span> <span class="ident">abef</span> <span class="op">=</span> <span class="ident">u32x4</span>(<span class="ident">a</span>, <span class="ident">b</span>, <span class="ident">e</span>, <span class="ident">f</span>);
<span class="kw">let</span> <span class="kw-2">mut</span> <span class="ident">cdgh</span> <span class="op">=</span> <span class="ident">u32x4</span>(<span class="ident">c</span>, <span class="ident">d</span>, <span class="ident">g</span>, <span class="ident">h</span>);
<span class="kw">let</span> <span class="ident">temp</span> <span class="op">=</span> <span class="ident">K32X4</span>[<span class="ident">t</span>] <span class="op">+</span> <span class="ident">work</span>[<span class="ident">t</span>];
<span class="comment">// this is the core expression</span>
<span class="ident">cdgh</span> <span class="op">=</span> <span class="ident">sha256rnds2</span>(<span class="ident">cdgh</span>, <span class="ident">abef</span>, <span class="ident">temp</span>);
<span class="ident">abef</span> <span class="op">=</span> <span class="ident">sha256rnds2</span>(<span class="ident">abef</span>, <span class="ident">cdgh</span>, <span class="ident">sha256swap</span>(<span class="ident">temp</span>));
<span class="kw-2">*</span><span class="ident">state</span> <span class="op">=</span> [<span class="ident">abef</span>.<span class="number">0</span>, <span class="ident">abef</span>.<span class="number">1</span>, <span class="ident">cdgh</span>.<span class="number">0</span>, <span class="ident">cdgh</span>.<span class="number">1</span>,
<span class="ident">abef</span>.<span class="number">2</span>, <span class="ident">abef</span>.<span class="number">3</span>, <span class="ident">cdgh</span>.<span class="number">2</span>, <span class="ident">cdgh</span>.<span class="number">3</span>];
}</pre>
<p>instead of 4 rounds of:</p>
<pre class="rust rust-example-rendered">
<span class="kw">fn</span> <span class="ident">round</span>(<span class="ident">state</span>: <span class="kw-2">&amp;</span><span class="kw-2">mut</span> [<span class="ident">u32</span>; <span class="number">8</span>], <span class="ident">w</span>: <span class="kw-2">&amp;</span><span class="kw-2">mut</span> [<span class="ident">u32</span>], <span class="ident">t</span>: <span class="ident">usize</span>) {
<span class="kw">let</span> [<span class="ident">a</span>, <span class="ident">b</span>, <span class="ident">c</span>, <span class="kw-2">mut</span> <span class="ident">d</span>, <span class="ident">e</span>, <span class="ident">f</span>, <span class="ident">g</span>, <span class="kw-2">mut</span> <span class="ident">h</span>]: [<span class="ident">u32</span>; <span class="number">8</span>] <span class="op">=</span> <span class="kw-2">*</span><span class="ident">state</span>;
<span class="ident">h</span> <span class="op">+=</span> <span class="macro">big_sigma1</span><span class="macro">!</span>(<span class="ident">e</span>) <span class="op">+</span> <span class="macro">choose</span><span class="macro">!</span>(<span class="ident">e</span>, <span class="ident">f</span>, <span class="ident">g</span>) <span class="op">+</span> <span class="ident">K32</span>[<span class="ident">t</span>] <span class="op">+</span> <span class="ident">w</span>[<span class="ident">t</span>]; <span class="ident">d</span> <span class="op">+=</span> <span class="ident">h</span>;
<span class="ident">h</span> <span class="op">+=</span> <span class="macro">big_sigma0</span><span class="macro">!</span>(<span class="ident">a</span>) <span class="op">+</span> <span class="macro">majority</span><span class="macro">!</span>(<span class="ident">a</span>, <span class="ident">b</span>, <span class="ident">c</span>);
<span class="kw-2">*</span><span class="ident">state</span> <span class="op">=</span> [<span class="ident">h</span>, <span class="ident">a</span>, <span class="ident">b</span>, <span class="ident">c</span>, <span class="ident">d</span>, <span class="ident">e</span>, <span class="ident">f</span>, <span class="ident">g</span>];
}</pre>
<p><strong>NOTE</strong>: It is important to note, however, that these instructions are not implemented
by any CPU (at the time of this writing), and so they are emulated in this library
until the instructions become more common, and gain support in LLVM (and GCC, etc.).</p>
</div></section>
<section id='search' class="content hidden"></section>
<section class="footer"></section>
<aside id="help" class="hidden">
<div>
<h1 class="hidden">Help</h1>
<div class="shortcuts">
<h2>Keyboard Shortcuts</h2>
<dl>
<dt>?</dt>
<dd>Show this help dialog</dd>
<dt>S</dt>
<dd>Focus the search field</dd>
<dt>&larrb;</dt>
<dd>Move up in search results</dd>
<dt>&rarrb;</dt>
<dd>Move down in search results</dd>
<dt>&#9166;</dt>
<dd>Go to active search result</dd>
<dt>+</dt>
<dd>Collapse/expand all sections</dd>
</dl>
</div>
<div class="infos">
<h2>Search Tricks</h2>
<p>
Prefix searches with a type followed by a colon (e.g.
<code>fn:</code>) to restrict the search to a given type.
</p>
<p>
Accepted types are: <code>fn</code>, <code>mod</code>,
<code>struct</code>, <code>enum</code>,
<code>trait</code>, <code>type</code>, <code>macro</code>,
and <code>const</code>.
</p>
<p>
Search functions by type signature (e.g.
<code>vec -> usize</code> or <code>* -> vec</code>)
</p>
</div>
</div>
</aside>
<script>
window.rootPath = "../../";
window.currentCrate = "crypto";
</script>
<script src="../../main.js"></script>
<script defer src="../../search-index.js"></script>
</body>
</html>