This is the semz.minisign-verify Reference Manual, version 1.0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Jul 13 21:18:05 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
semz.minisign-verifyPortable dependency-free implementation of Minisign signature verification
Sebastian Melzer <semz@semelz.de>
Sebastian Melzer <semz@semelz.de>
MIT
1.0.1
minisign-verify.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
semz.minisign-verify/semz.minisign-verify.asdsemz.minisign-verify (system).
semz.minisign-verify/minisign-verify.lispsemz.minisign-verify (system).
verification-error (condition).
verify (function).
*blake-var-decls* (special variable).
*blake-var-decls/half* (special variable).
*blake-vars* (special variable).
*blake-vars/half* (special variable).
*blake2b-init-vector* (special variable).
*blake2b-sigma* (special variable).
*sha-512-iv* (special variable).
*sha-512-k* (special variable).
*trusted-prefix* (special variable).
*untrusted-prefix* (special variable).
*use-split-blake-p* (special variable).
+bx+ (constant).
+by+ (constant).
+d+ (constant).
+l+ (constant).
+p+ (constant).
b2b (structure).
b2b-b (reader).
(setf b2b-b) (writer).
b2b-count (reader).
(setf b2b-count) (writer).
b2b-fp (reader).
(setf b2b-fp) (writer).
b2b-h (reader).
(setf b2b-h) (writer).
b2b-p (function).
blake2b (function).
blake2b-compress (function).
blake2b-compress/split (function).
blake2b-final (function).
blake2b-update (function).
buffer (type).
checksum-data (function).
copy-b2b (function).
copy-hpt (function).
copy-s512 (function).
decode-b64 (function).
die (function).
ed25519-verify (function).
get-le (macro).
hpt (structure).
hpt-p (function).
hpt-t (reader).
(setf hpt-t) (writer).
hpt-x (reader).
(setf hpt-x) (writer).
hpt-y (reader).
(setf hpt-y) (writer).
hpt-z (reader).
(setf hpt-z) (writer).
lines (function).
make-b2b (function).
make-hpt (function).
make-s512 (function).
modp* (function).
modp+ (function).
modp- (function).
modpexpt (function).
parse-ed25519-point (function).
parse-pubkey (function).
parse-signature (function).
positions (function).
pt* (function).
pt+ (function).
pt= (function).
rotr64 (function).
rotr64/s (macro).
s512 (structure).
s512-b (reader).
(setf s512-b) (writer).
s512-count (reader).
(setf s512-count) (writer).
s512-fp (reader).
(setf s512-fp) (writer).
s512-h (reader).
(setf s512-h) (writer).
s512-p (function).
sha-512 (function).
sha-512-compress (function).
sha-512-final (function).
sha-512-update (function).
starts-with-subseq (function).
ub32 (type).
ub64 (type).
ub64+ (function).
ub64+/s (macro).
ub8 (type).
Packages are listed by definition order.
semz.minisign-verifycommon-lisp.
verification-error (condition).
verify (function).
*blake-var-decls* (special variable).
*blake-var-decls/half* (special variable).
*blake-vars* (special variable).
*blake-vars/half* (special variable).
*blake2b-init-vector* (special variable).
*blake2b-sigma* (special variable).
*sha-512-iv* (special variable).
*sha-512-k* (special variable).
*trusted-prefix* (special variable).
*untrusted-prefix* (special variable).
*use-split-blake-p* (special variable).
+bx+ (constant).
+by+ (constant).
+d+ (constant).
+l+ (constant).
+p+ (constant).
b2b (structure).
b2b-b (reader).
(setf b2b-b) (writer).
b2b-count (reader).
(setf b2b-count) (writer).
b2b-fp (reader).
(setf b2b-fp) (writer).
b2b-h (reader).
(setf b2b-h) (writer).
b2b-p (function).
blake2b (function).
blake2b-compress (function).
blake2b-compress/split (function).
blake2b-final (function).
blake2b-update (function).
buffer (type).
checksum-data (function).
copy-b2b (function).
copy-hpt (function).
copy-s512 (function).
decode-b64 (function).
die (function).
ed25519-verify (function).
get-le (macro).
hpt (structure).
hpt-p (function).
hpt-t (reader).
(setf hpt-t) (writer).
hpt-x (reader).
(setf hpt-x) (writer).
hpt-y (reader).
(setf hpt-y) (writer).
hpt-z (reader).
(setf hpt-z) (writer).
lines (function).
make-b2b (function).
make-hpt (function).
make-s512 (function).
modp* (function).
modp+ (function).
modp- (function).
modpexpt (function).
parse-ed25519-point (function).
parse-pubkey (function).
parse-signature (function).
positions (function).
pt* (function).
pt+ (function).
pt= (function).
rotr64 (function).
rotr64/s (macro).
s512 (structure).
s512-b (reader).
(setf s512-b) (writer).
s512-count (reader).
(setf s512-count) (writer).
s512-fp (reader).
(setf s512-fp) (writer).
s512-h (reader).
(setf s512-h) (writer).
s512-p (function).
sha-512 (function).
sha-512-compress (function).
sha-512-final (function).
sha-512-update (function).
starts-with-subseq (function).
ub32 (type).
ub64 (type).
ub64+ (function).
ub64+/s (macro).
ub8 (type).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Returns the trusted and untrusted comments of SIGNATURE if SIGNATURE is a valid
Minisign signature for DATA with respect to PUBKEY; signals VERIFICATION-ERROR
otherwise, including when SIGNATURE or PUBKEY are malformed.
DATA is a sequence or stream of octets. Stream data is read and used entirely.
SIGNATURE is the content of a Minisign signature file (as a sequence of octets).
PUBKEY is either the content of a Minisign public key file (as a sequence of
octets) or a function.
If PUBKEY is a function, it is called with the key ID (an array of 8 octets) specified in SIGNATURE and must return either the content of an appropriate Minisign public key file (which will then be used) or NIL (which will signal a VERIFICATION-ERROR). This option allows the use of multiple public keys.
Signalled when verification fails, for whatever reason.
simple-error.
If true, use an implementation of Blake2b-512 that’s based on split 32-bit arithmetic. This can significantly improve performance on many implementations.
structure-object.
(simple-array semz.minisign-verify::ub8 (128))
(make-array 128 :element-type (quote semz.minisign-verify::ub8) :initial-element 0)
(integer 0 128)
0
(simple-array semz.minisign-verify::ub64 (8))
(let ((semz.minisign-verify::a (subseq semz.minisign-verify::*blake2b-init-vector* 0))) (setf (aref semz.minisign-verify::a 0) (logxor (aref semz.minisign-verify::a 0) 16842752 (ash 0 8) 64)) semz.minisign-verify::a)
common-lisp.
(integer 0 *)
0
structure-object.
(integer 0 *)
0
(integer 0 *)
1
(integer 0 *)
1
common-lisp.
(integer 0 *)
0
structure-object.
(semz.minisign-verify::buffer 128)
(make-array 128 :element-type (quote semz.minisign-verify::ub8) :initial-element 0)
(integer 0 1024)
0
(simple-array semz.minisign-verify::ub64 (8))
(subseq semz.minisign-verify::*sha-512-iv* 0)
common-lisp.
(integer 0 *)
0
| Jump to: | (
B C D E F G H L M P R S U V |
|---|
| Jump to: | (
B C D E F G H L M P R S U V |
|---|
| Jump to: | *
+
B C F H S T X Y Z |
|---|
| Jump to: | *
+
B C F H S T X Y Z |
|---|
| Jump to: | B C F H M P S T U V |
|---|
| Jump to: | B C F H M P S T U V |
|---|