-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
test: validating public keys & signatures (size & format)
Signed-off-by: Marco Aurélio da Silva <[email protected]>
- Loading branch information
1 parent
8b27f8e
commit 0482cdf
Showing
39 changed files
with
272 additions
and
145 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,2 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Hash (hieroglyphs.Hieroglyphs__.Hash)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Hash</nav><h1>Module <code>Hieroglyphs__.Hash</code></h1></header><dl><dt class="spec value" id="val-digest"><a href="#val-digest" class="anchor"></a><code><span class="keyword">val </span>digest : Stdlib.String.t <span>-></span> string</code></dt><dt class="spec value" id="val-sha256"><a href="#val-sha256" class="anchor"></a><code><span class="keyword">val </span>sha256 : Stdlib.String.t <span>-></span> string</code></dt></dl></div></body></html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Hash (hieroglyphs.Hieroglyphs__.Hash)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Hash</nav><h1>Module <code>Hieroglyphs__.Hash</code></h1></header><dl><dt class="spec value" id="val-digest"><a href="#val-digest" class="anchor"></a><code><span class="keyword">val </span>digest : string <span>-></span> string</code></dt><dt class="spec value" id="val-sha256"><a href="#val-sha256" class="anchor"></a><code><span class="keyword">val </span>sha256 : string <span>-></span> string</code></dt></dl></div></body></html> |
2 changes: 2 additions & 0 deletions
2
docs/apiref/hieroglyphs/Hieroglyphs__/Keys/Bisect_visit___lib___keys___ml/index.html
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Bisect_visit___lib___keys___ml (hieroglyphs.Hieroglyphs__.Keys.Bisect_visit___lib___keys___ml)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">hieroglyphs</a> » <a href="../../index.html">Hieroglyphs__</a> » <a href="../index.html">Keys</a> » Bisect_visit___lib___keys___ml</nav><h1>Module <code>Keys.Bisect_visit___lib___keys___ml</code></h1></header><dl><dt class="spec value" id="val-___bisect_visit___"><a href="#val-___bisect_visit___" class="anchor"></a><code><span class="keyword">val </span>___bisect_visit___ : int <span>-></span> unit</code></dt></dl></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,2 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Keys (hieroglyphs.Hieroglyphs__.Keys)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Keys</nav><h1>Module <code>Hieroglyphs__.Keys</code></h1></header><div class="spec module" id="module-List"><a href="#module-List" class="anchor"></a><code><span class="keyword">module </span>List = Core.List</code></div><div class="spec module" id="module-String"><a href="#module-String" class="anchor"></a><code><span class="keyword">module </span>String = Core.String</code></div><div class="spec module" id="module-Float"><a href="#module-Float" class="anchor"></a><code><span class="keyword">module </span>Float = Core.Float</code></div><div class="spec module" id="module-Int64"><a href="#module-Int64" class="anchor"></a><code><span class="keyword">module </span>Int64 = Core.Int64</code></div><div class="spec module" id="module-Option"><a href="#module-Option" class="anchor"></a><code><span class="keyword">module </span>Option = Core.Option</code></div><dl><dt class="spec value" id="val-populate"><a href="#val-populate" class="anchor"></a><code><span class="keyword">val </span>populate : <a href="index.html#module-String">String</a>.t <span>-></span> <span class="type-var">'a</span> <span>-></span> string</code></dt><dt class="spec value" id="val-length"><a href="#val-length" class="anchor"></a><code><span class="keyword">val </span>length : int</code></dt><dt class="spec value" id="val-timestamp"><a href="#val-timestamp" class="anchor"></a><code><span class="keyword">val </span>timestamp : unit <span>-></span> Core_kernel__.Import.string</code></dt><dt class="spec value" id="val-generate"><a href="#val-generate" class="anchor"></a><code><span class="keyword">val </span>generate : unit <span>-></span> string <a href="index.html#module-List">List</a>.t</code></dt><dt class="spec value" id="val-derive"><a href="#val-derive" class="anchor"></a><code><span class="keyword">val </span>derive : Stdlib.String.t <a href="index.html#module-List">List</a>.t <span>-></span> string <a href="index.html#module-List">List</a>.t</code></dt><dt class="spec value" id="val-export"><a href="#val-export" class="anchor"></a><code><span class="keyword">val </span>export : priv:string <a href="index.html#module-List">List</a>.t <span>-></span> pass:string <span>-></span> string</code></dt><dt class="spec value" id="val-import"><a href="#val-import" class="anchor"></a><code><span class="keyword">val </span>import : cipher:string <span>-></span> pass:string <span>-></span> <a href="../Utils/index.html#module-String">Hieroglyphs__.Utils.String</a>.t <a href="../Utils/index.html#module-List">Hieroglyphs__.Utils.List</a>.t <a href="index.html#module-Option">Option</a>.t</code></dt><dt class="spec value" id="val-load"><a href="#val-load" class="anchor"></a><code><span class="keyword">val </span>load : <a href="../Serialization/index.html#module-String">Hieroglyphs__.Serialization.String</a>.t <span>-></span> <a href="../Utils/index.html#module-String">Hieroglyphs__.Utils.String</a>.t <a href="../Utils/index.html#module-List">Hieroglyphs__.Utils.List</a>.t option</code></dt><dt class="spec value" id="val-show"><a href="#val-show" class="anchor"></a><code><span class="keyword">val </span>show : string <a href="../Serialization/index.html#module-List">Hieroglyphs__.Serialization.List</a>.t <span>-></span> string</code></dt><dt class="spec value" id="val-address"><a href="#val-address" class="anchor"></a><code><span class="keyword">val </span>address : Stdlib.String.t <a href="../Serialization/index.html#module-List">Hieroglyphs__.Serialization.List</a>.t <span>-></span> string</code></dt><dt class="spec value" id="val-sign"><a href="#val-sign" class="anchor"></a><code><span class="keyword">val </span>sign : priv:string <a href="../Utils/index.html#module-List">Hieroglyphs__.Utils.List</a>.t <span>-></span> msg:Stdlib.String.t <span>-></span> string</code></dt><dt class="spec value" id="val-verify"><a href="#val-verify" class="anchor"></a><code><span class="keyword">val </span>verify : pub:string <a href="../Utils/index.html#module-List">Hieroglyphs__.Utils.List</a>.t <span>-></span> msg:Stdlib.String.t <span>-></span> signature:<a href="../Verification/index.html#module-String">Hieroglyphs__.Verification.String</a>.t <span>-></span> bool</code></dt></dl></div></body></html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Keys (hieroglyphs.Hieroglyphs__.Keys)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Keys</nav><h1>Module <code>Hieroglyphs__.Keys</code></h1></header><div class="spec module" id="module-Bisect_visit___lib___keys___ml"><a href="#module-Bisect_visit___lib___keys___ml" class="anchor"></a><code><span class="keyword">module </span><a href="Bisect_visit___lib___keys___ml/index.html">Bisect_visit___lib___keys___ml</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-List"><a href="#module-List" class="anchor"></a><code><span class="keyword">module </span>List = Core.List</code></div><div class="spec module" id="module-String"><a href="#module-String" class="anchor"></a><code><span class="keyword">module </span>String = Core.String</code></div><div class="spec module" id="module-Float"><a href="#module-Float" class="anchor"></a><code><span class="keyword">module </span>Float = Core.Float</code></div><div class="spec module" id="module-Int64"><a href="#module-Int64" class="anchor"></a><code><span class="keyword">module </span>Int64 = Core.Int64</code></div><div class="spec module" id="module-Option"><a href="#module-Option" class="anchor"></a><code><span class="keyword">module </span>Option = Core.Option</code></div><dl><dt class="spec value" id="val-populate"><a href="#val-populate" class="anchor"></a><code><span class="keyword">val </span>populate : <a href="index.html#module-String">String</a>.t <span>-></span> <span class="type-var">'a</span> <span>-></span> string</code></dt><dt class="spec value" id="val-length"><a href="#val-length" class="anchor"></a><code><span class="keyword">val </span>length : int</code></dt><dt class="spec value" id="val-timestamp"><a href="#val-timestamp" class="anchor"></a><code><span class="keyword">val </span>timestamp : unit <span>-></span> Core_kernel__.Import.string</code></dt><dt class="spec value" id="val-generate"><a href="#val-generate" class="anchor"></a><code><span class="keyword">val </span>generate : unit <span>-></span> string <a href="index.html#module-List">List</a>.t</code></dt><dt class="spec value" id="val-derive"><a href="#val-derive" class="anchor"></a><code><span class="keyword">val </span>derive : string <a href="index.html#module-List">List</a>.t <span>-></span> string <a href="index.html#module-List">List</a>.t</code></dt><dt class="spec value" id="val-export"><a href="#val-export" class="anchor"></a><code><span class="keyword">val </span>export : priv:string <a href="index.html#module-List">List</a>.t <span>-></span> pass:string <span>-></span> string</code></dt><dt class="spec value" id="val-import"><a href="#val-import" class="anchor"></a><code><span class="keyword">val </span>import : cipher:string <span>-></span> pass:string <span>-></span> string list <a href="index.html#module-Option">Option</a>.t</code></dt><dt class="spec value" id="val-load"><a href="#val-load" class="anchor"></a><code><span class="keyword">val </span>load : string <span>-></span> string list option</code></dt><dt class="spec value" id="val-show"><a href="#val-show" class="anchor"></a><code><span class="keyword">val </span>show : string list <span>-></span> string</code></dt><dt class="spec value" id="val-address"><a href="#val-address" class="anchor"></a><code><span class="keyword">val </span>address : string list <span>-></span> string</code></dt><dt class="spec value" id="val-sign"><a href="#val-sign" class="anchor"></a><code><span class="keyword">val </span>sign : priv:string list <span>-></span> msg:string <span>-></span> string</code></dt><dt class="spec value" id="val-verify"><a href="#val-verify" class="anchor"></a><code><span class="keyword">val </span>verify : pub:string list <span>-></span> msg:string <span>-></span> signature:string <span>-></span> bool</code></dt></dl></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,2 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Random (hieroglyphs.Hieroglyphs__.Random)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Random</nav><h1>Module <code>Hieroglyphs__.Random</code></h1></header><dl><dt class="spec value" id="val-generate"><a href="#val-generate" class="anchor"></a><code><span class="keyword">val </span>generate : unit <span>-></span> Nocrypto.Rng.Int64.t</code></dt></dl></div></body></html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Random (hieroglyphs.Hieroglyphs__.Random)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Random</nav><h1>Module <code>Hieroglyphs__.Random</code></h1></header><dl><dt class="spec value" id="val-generate"><a href="#val-generate" class="anchor"></a><code><span class="keyword">val </span>generate : unit <span>-></span> int64</code></dt></dl></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,2 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Serialization (hieroglyphs.Hieroglyphs__.Serialization)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Serialization</nav><h1>Module <code>Hieroglyphs__.Serialization</code></h1></header><div class="spec module" id="module-List"><a href="#module-List" class="anchor"></a><code><span class="keyword">module </span>List = Core.List</code></div><div class="spec module" id="module-String"><a href="#module-String" class="anchor"></a><code><span class="keyword">module </span>String = Core.String</code></div><dl><dt class="spec value" id="val-show"><a href="#val-show" class="anchor"></a><code><span class="keyword">val </span>show : string <a href="index.html#module-List">List</a>.t <span>-></span> string</code></dt><dt class="spec value" id="val-load"><a href="#val-load" class="anchor"></a><code><span class="keyword">val </span>load : <a href="index.html#module-String">String</a>.t <span>-></span> <a href="../Utils/index.html#module-String">Hieroglyphs__.Utils.String</a>.t <a href="../Utils/index.html#module-List">Hieroglyphs__.Utils.List</a>.t option</code></dt><dt class="spec value" id="val-address"><a href="#val-address" class="anchor"></a><code><span class="keyword">val </span>address : Stdlib.String.t <a href="index.html#module-List">List</a>.t <span>-></span> string</code></dt></dl></div></body></html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Serialization (hieroglyphs.Hieroglyphs__.Serialization)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Serialization</nav><h1>Module <code>Hieroglyphs__.Serialization</code></h1></header><dl><dt class="spec value" id="val-address"><a href="#val-address" class="anchor"></a><code><span class="keyword">val </span>address : string list <span>-></span> string</code></dt><dt class="spec value" id="val-show"><a href="#val-show" class="anchor"></a><code><span class="keyword">val </span>show : string list <span>-></span> string</code></dt><dt class="spec value" id="val-load"><a href="#val-load" class="anchor"></a><code><span class="keyword">val </span>load : string <span>-></span> string list option</code></dt></dl></div></body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,2 +1,2 @@ | ||
| <!DOCTYPE html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Signing (hieroglyphs.Hieroglyphs__.Signing)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Signing</nav><h1>Module <code>Hieroglyphs__.Signing</code></h1></header><div class="spec module" id="module-List"><a href="#module-List" class="anchor"></a><code><span class="keyword">module </span>List = Core.List</code></div><dl><dt class="spec value" id="val-sign"><a href="#val-sign" class="anchor"></a><code><span class="keyword">val </span>sign : priv:string <a href="../Utils/index.html#module-List">Hieroglyphs__.Utils.List</a>.t <span>-></span> msg:Stdlib.String.t <span>-></span> string</code></dt></dl></div></body></html> | ||
| <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Signing (hieroglyphs.Hieroglyphs__.Signing)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">hieroglyphs</a> » <a href="../index.html">Hieroglyphs__</a> » Signing</nav><h1>Module <code>Hieroglyphs__.Signing</code></h1></header><dl><dt class="spec value" id="val-sign"><a href="#val-sign" class="anchor"></a><code><span class="keyword">val </span>sign : priv:string list <span>-></span> msg:string <span>-></span> string</code></dt></dl></div></body></html> |
Oops, something went wrong.
0482cdfThere was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
(Itch, I hate when code formatters yield unexpected and surprising output code - blame on you
ocamlformat😂 ...)