About this document

Proof of Digital Signature Algorithm by cat8eagle is a document available to read on EtoBox.

This document provides a proof that in digital signature verification using the Digital Signature Algorithm (DSA), the value v will equal r if the signature is valid. It first presents four lemmas: 1) for any integer t, gt mod p equals gt mod q mod p if g has a particular property; 2) two numbers modulo q and modulo p can be combined; 3) y(rw)mod q mod p equals g(xrw) mod q mod p; and 4) (H(M)+xrw)mod q equals k. It then uses these lemmas to prove that v equals r in the signature verification process.

Author

cat8eagle

Language

EN