A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Digital Signatures

Graduate Depth 98 in the knowledge graph I know this Set as goal
3topics build on this
527prerequisites beneath it
See this on the map →
Hash Functions and Collision ResistanceThe RSA CryptosystemBlockchain Consensus CryptographyPublic Key Infrastructure+1 more
digital-signature non-repudiation rsa-pss dsa euf-cma

Core Idea

A digital signature scheme lets a signer with a private key produce a signature on a message that anyone with the corresponding public key can verify. Unlike MACs, signatures provide non-repudiation: the signer cannot deny having signed because only they possess the private key. Security requires existential unforgeability under chosen-message attack (EUF-CMA). RSA-PSS, DSA, and ECDSA are the main schemes. Signatures are applied to message hashes (not raw messages) for efficiency and to prevent algebraic attacks. They are foundational to PKI, code signing, certificates, and blockchain transactions.

Explainer

A digital signature is the public-key analog of a handwritten signature: it binds a message to the identity of the signer in a way that anyone can verify but only the signer can produce. A signature scheme consists of three algorithms: key generation (produce a public-private key pair), signing (use the private key to compute a signature on a message), and verification (use the public key to check whether a signature is valid). The security goal is EUF-CMA (existential unforgeability under chosen-message attack): an adversary who can obtain signatures on any messages of their choosing still cannot forge a valid signature on any new message.

The simplest conceptual scheme is RSA signatures. The signer computes s = H(m)d mod n, where d is the private key and H is a cryptographic hash. The verifier checks that se mod n = H(m), where e is the public key. Hashing is essential for two reasons: it compresses the message to a fixed size for the RSA operation, and it prevents algebraic forgery attacks that exploit RSA's multiplicative homomorphism. In practice, RSA-PSS adds randomized padding to the hash before signing, providing a tighter security proof. DSA and ECDSA use a different approach based on discrete logarithms in a prime-order group (or elliptic curve group), where the signature is a pair (r, s) computed using the private key and a per-signature random nonce.

The nonce in DSA/ECDSA is a critical security parameter. If the same nonce is ever reused for two different messages, the private key can be algebraically recovered from the two signatures. This is not a theoretical curiosity — Sony's PlayStation 3 ECDSA implementation used a constant nonce, allowing hackers to recover the signing key and run unauthorized software. Deterministic signatures (Ed25519, or ECDSA with RFC 6979) eliminate nonce-related risks by deriving the nonce deterministically from the private key and the message, ensuring it is unique per message without relying on a random number generator.

The most transformative application of digital signatures is Public Key Infrastructure (PKI), the trust system underlying HTTPS. A certificate authority (CA) signs a binding between a domain name and a public key, producing a certificate. When your browser connects to a website, it verifies the certificate's signature using the CA's public key (which is pre-installed in the browser's trust store). If the signature checks out, the browser trusts that the public key belongs to the claimed domain and proceeds with a DH key exchange. This chain of trust — from CA to certificate to session key — is what makes secure web browsing possible. It also creates a concentration of trust: a compromised CA can forge certificates for any domain, which is why the security of CAs is one of the most critical (and fragile) aspects of internet infrastructure.

Practice Questions 5 questions

Prerequisite Chain

Understanding ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical EquivalencesBoolean AlgebraBoolean Type and Truth ValuesComparison Operators and Boolean TestsLogical Operators and Boolean AlgebraBoolean Algebra and Fundamental LawsLogic Gates FundamentalsImplementing Boolean Functions with GatesKarnaugh Map SimplificationCombinational Circuit DesignFlip-Flops and LatchesFinite State Machines (FSMs)Deterministic Finite Automata (DFA)Nondeterministic Finite Automata (NFA)Two-Way Finite AutomataNFA to DFA Conversion (Subset Construction)DFA Properties and Minimization AlgorithmsRegular Languages: Definition and CharacterizationContext-Free Grammars (CFGs)Pushdown Automata (PDA)Equivalence of CFGs and Pushdown AutomataClosure Properties of Context-Free LanguagesLimitations of Context-Free LanguagesPumping Lemma for Context-Free LanguagesTuring MachinesVariants of Turing Machines and EquivalenceNondeterministic Time Complexity and NPThe P vs. NP ProblemComplexity Class P: Polynomial TimeHash Functions and Collision ResistanceThe RSA CryptosystemDigital Signatures

Longest path: 99 steps · 527 total prerequisite topics

Prerequisites (2)

Leads To (3)