RFC 5832

GOST R 34.10-2001: Digital Signature Algorithm

๐Ÿ“… published March 2010, from ietf

GOST R 34.10-2001: Digital Signature Algorithm ๐ŸŽ€

okay bestie, the title block is giving very formal, so here's the tea โ˜•. This is RFC 5832 ๐Ÿ“œ, an Independent Submission written by V. Dolmatov, Ed. from Cryptocom, Ltd. It came out in March 2010 ๐ŸŒธ. Its category is Informational, which means it's a source of info and not a standard, and it has ISSN 2070-1721. The title block doesn't list any RFCs that it obsoletes or updates ๐Ÿฆ‹.

Abstract

okay so this doc is basically a info-dump about GOST R 34.10-2001, the Russian federal standard for digital signatures โœจ. It's one of the Russian cryptographic standard algorithms, and people call them GOST algorithms ๐Ÿ”. Russian cryptography is now showing up in Internet applications, so this doc was made as a guide for devs and users of GOST R 34.10-2001 for digital signature generation and verification ๐Ÿ’–.

Status of This Memo

ngl this part is kinda important ๐Ÿ‘€. This document is not an Internet Standards Track spec. It's just published for info purposes ๐ŸŒˆ.

It's a contribution to the RFC Series, and it's independent of any other RFC stream ๐Ÿ’…. The RFC Editor picked to publish it at their discretion, and they make no statement about its value for implementation or deployment ๐Ÿซถ. Docs the RFC Editor approves for publication are not a candidate for any level of Internet Standard. Check Section 2 of RFC 5741 for the deets ๐Ÿ“š.

For the current status, any errata, and how to give feedback, go to http://www.rfc-editor.org/info/rfc5832 ๐Ÿฆ‹.

Copyright (c) 2010 IETF Trust and the persons identified as the document authors. All rights reserved ๐Ÿ’œ.

This document is subject to BCP 78 and the IETF Trust's Legal Provisions Relating to IETF Documents, which you can find at http://trustee.ietf.org/license-info as they stand on the publication date ๐Ÿ“. Please read these carefully, because they spell out your rights and restrictions for this doc ๐Ÿ™ˆ.

This document may not be modified, and derivative works of it may not be created, except to format it for publication as an RFC or to translate it into languages other than English ๐Ÿซถ.

Table of Contents

   1. Introduction ....................................................3
      1.1. General Information ........................................3
      1.2. The Purpose of GOST R 34.10-2001 ...........................3
   2. Applicability ...................................................4
   3. Definitions and Notations .......................................4
      3.1. Definitions ................................................4
      3.2. Notations ..................................................6
   4. General Statements ..............................................7
   5. Mathematical Conventions ........................................8
      5.1. Mathematical Definitions ...................................9
      5.2. Digital Signature Parameters ..............................10
      5.3. Binary Vectors ............................................11
   6. Main Processes .................................................12
      6.1. Digital Signature Generation Process ......................12
      6.2. Digital Signature Verification ............................13
   7. Test Examples (Appendix to GOST R 34.10-2001) ..................14
      7.1. The Digital Signature Scheme Parameters ...................14
      7.2. Digital Signature Process (Algorithm I) ...................16
      7.3. Verification Process of Digital Signature (Algorithm II) ..17
   8. Security Considerations ........................................19
   9. References .....................................................19
      9.1. Normative References ......................................19
      9.2. Informative References ....................................19
   Appendix A. Extra Terms in the Digital Signature Area .............21
   Appendix B. Contributors ..........................................22

1. Introduction โœจ

1.1. General Information

okay here's the origin story ๐Ÿงš:

  1. GOST R 34.10-2001 [GOST3410] was developed by the Federal Agency for Government Communication and Information under the President of the Russian Federation, with the participation of the All-Russia Scientific and Research Institute of Standardization ๐Ÿ›๏ธ.

GOST R 34.10-2001 was submitted by Federal Agency for Government Communication and Information at President of the Russian Federation ๐Ÿ“ฌ.

  1. GOST R 34.10-2001 was accepted and activated by Act 380-st of 12.09.2001, issued by the Government Committee of Russia for Standards ๐ŸŽ‰.
  2. GOST R 34.10-2001 was developed in line with the terminology and concepts of these international standards: ISO 2382-2:1976 "Data processing - Vocabulary - Part 2: Arithmetic and logic operations"; ISO/IEC 9796:1991 "Information technology -- Security techniques -- Digital signature schemes giving message recovery"; ISO/IEC 14888 "Information technology - Security techniques - Digital signatures with appendix"; and ISO/IEC 10118 "Information technology - Security techniques - Hash-functions" ๐Ÿค“.
  3. GOST R 34.10-2001 replaces GOST R 34.10-94 ๐Ÿ”„.

1.2. The Purpose of GOST R 34.10-2001

so the whole point ๐Ÿ’…: GOST R 34.10-2001 describes how digital signatures get generated and verified. It's based on operations with an elliptic curve points group, defined over a prime finite field ๐Ÿฆ‹.

It was built to replace GOST R 34.10-94 ๐ŸŒธ. Why? Digital signatures needed more security against unauthorized modification ๐Ÿ”’. The security comes from two things: how hard discrete logarithm calculation is in an elliptic curve points group, and the security of the hash function being used (according to [GOST3411]) ๐Ÿง .

Terminology-wise and concept-wise, GOST R 34.10-2001 lines up with ISO 2382-2 [ISO2382-2], ISO/IEC 9796 [ISO9796-1991], ISO/IEC 14888 Parts 1-3 [ISO14888-1]-[ISO14888-3], and ISO/IEC 10118 Parts 1-4 [ISO10118-1]-[ISO10118-4] ๐ŸŽ€.

Note: the main part of GOST R 34.10-2001 comes with three appendixes ๐Ÿ“š:

  • "Extra Terms in the Digital Signature Area" (Appendix A of this memo);
  • "Test Examples" (Section 7 of this memo);
  • "A Bibliography in the Digital Signature Area" (Section 9.2 of this memo).

2. Applicability

this section is about where it's used ๐ŸŒ. GOST R 34.10-2001 defines an electronic digital signature (or just digital signature) scheme, plus the generation and verification processes for a given message (document). It's meant for transmission over insecure public telecom channels in data processing systems with all kinds of purposes ๐Ÿ“ก.

Using a digital signature based on GOST R 34.10-2001 makes transmitted messages more resistant to forgery and loss of integrity ๐Ÿ›ก๏ธ. That's a glow-up compared to the digital signature scheme in the previous standard โœจ.

GOST R 34.10-2001 is obligatory to use in the Russian Federation in all data processing systems that provide public services ๐Ÿ‡ท๐Ÿ‡บ.

3. Definitions and Notations ๐Ÿงฉ

3.1. Definitions

here are the terms the standard uses ๐Ÿ’œ:

Appendix: Bit string, formed by a digital signature and by the arbitrary text field [ISO14888-1].

Signature key: Element of secret data, specific to the subject and used only by this subject during the signature generation process [ISO14888-1] ๐Ÿ”‘.

Verification key: Element of data mathematically linked to the signature key data element, used by the verifier during the digital signature verification process [ISO14888-1] ๐Ÿ‘€.

Domain parameter: Element of data that is common for all the subjects of the digital signature scheme, known or accessible to all the subjects [ISO14888-1] ๐ŸŒ.

Signed message: A set of data elements, which consists of the message and the appendix, which is a part of the message ๐Ÿ“จ.

Pseudo-random number sequence: A sequence of numbers, which is obtained during some arithmetic (calculation) process, used in a specific case instead of a true random number sequence [ISO2382-2] ๐ŸŽฒ.

Random number sequence: A sequence of numbers none of which can be predicted (calculated) using only the preceding numbers of the same sequence [ISO2382-2] ๐ŸŽฐ.

Verification process: A process that uses the signed message, the verification key, and the digital signature scheme parameters as initial data and that gives the conclusion about digital signature validity or invalidity as a result [ISO14888-1] โœ….

Signature generation process: A process that uses the message, the signature key, and the digital signature scheme parameters as initial data and that generates the digital signature as the result [ISO14888-1] โœ๏ธ.

Witness: Element of data (resulting from the verification process) that states to the verifier whether the digital signature is valid or invalid [ISO148881-1]) ๐Ÿ”.

Random number: A number chosen from the definite number set in such a way that every number from the set can be chosen with equal probability [ISO2382-2] ๐ŸŽฏ.

Message: String of bits of a limited length [ISO9796-1991] ๐Ÿ’Œ.

Hash code: String of bits that is a result of the hash function [ISO148881-1] ๐Ÿงพ.

Hash function: The function, mapping bit strings onto bit strings of fixed length, observing the following properties ๐Ÿ”:

  1. It is difficult to calculate the input data, that is the pre-image of the given function value;
  2. It is difficult to find another input data that is the pre-image of the same function value as is the given input data;
  3. It is difficult to find a pair of different input data, producing the same hash function value.

Note: Property 1 in the context of the digital signature area means that it is impossible to recover the initial message using the digital signature. Property 2 means that it is difficult to find another (falsified) message that produces the same digital signature as a given message. Property 3 means that it is difficult to find some pair of different messages, which both produce the same signature ๐Ÿ•ต๏ธโ€โ™€๏ธ.

(Electronic) Digital signature: String of bits obtained as a result of the signature generation process. This string has an internal structure, depending on the specific signature generation mechanism ๐Ÿ–‹๏ธ.

Note: In GOST R 34.10-2001 terms, "Digital signature" and "Electronic digital signature" are synonymous to save terminological succession to native legal documents currently in force and scientific publications ๐Ÿ“–.

3.2. Notations

in GOST R 34.10-2001, these are the notations used ๐Ÿ”ข:

  • V256 - set of all binary vectors of a 256-bit length
  • V_all - set of all binary vectors of an arbitrary finite length
  • Z - set of all integers
  • p - prime number, p > 3
  • GF(p) - finite prime field represented by a set of integers {0, 1, ..., p - 1}
  • b (mod p) - minimal non-negative number, congruent to b modulo p
  • M - user's message, M belongs to V_all
  • (H1 || H2 ) - concatenation of two binary vectors
  • a,b - elliptic curve coefficients
  • m - points of the elliptic curve group order
  • q - subgroup order of group of points of the elliptic curve
  • O - zero point of the elliptic curve
  • P - elliptic curve point of order q
  • d - integer - a signature key
  • Q - elliptic curve point - a verification key
  • ^ - the power operator
  • /= - non-equality
  • sqrt - square root
  • zeta - digital signature for the message M

4. General Statements โœจ

okay so let's talk about the big picture ๐Ÿซถ A commonly accepted digital signature scheme (model) (see Section 6 of [ISO/IEC14888-1]) has three processes:

  • generation of a pair of keys (for signature generation and for signature verification);
  • signature generation;
  • signature verification.

ngl, GOST R 34.10-2001 doesn't define that first one, the key pair generation ๐Ÿ™ˆ The characteristics and the way it actually gets done are up to the involved subjects, who work out the parameters by agreement. Very collab, very bestie ๐Ÿค

The digital signature mechanism comes down to two main processes (see Section 7) ๐Ÿฆ‹:

  • signature generation (see Section 6.1), and
  • signature verification (see Section 6.2).

The digital signature is there to authenticate the signatory of the electronic message โœจ Plus, using a digital signature lets you get these properties while the signed message is being transmitted:

  • control of the transmitted signed message integrity,
  • proof of the authorship of the signatory of the message,
  • protection of the message against possible forgery.

main character energy for sure ๐Ÿ’… Here's what a signed message looks like (Figure 1):

                                   appendix
                                      |
                      +-------------------------------+
                      |                               |
      +-----------+   +------------------------+- - - +
      | message M |---| digital signature zeta | text |
      +-----------+   +------------------------+- - - +

Figure 1: Signed message scheme

The "digital signature" field gets a buddy, the "text" field (see Figure 1) ๐Ÿ’Œ It can hold things like the identifiers of the message's signatory and/or a time label.

The digital signature scheme defined in GOST R 34.10-2001 must be implemented using operations on the elliptic curve points group, defined over a finite prime field, and it also uses a hash function ๐Ÿ”ฅ

The cryptographic security of the scheme is based on how hard it is to calculate the discrete logarithm in the elliptic curve points group, plus the security of the hash function being used ๐Ÿ” The hash function calculation algorithm is defined in [GOST3411].

The digital signature scheme parameters needed for signature generation and verification are defined in Section 5.2 ๐Ÿงš

GOST R 34.10-2001 doesn't define the process for generating the parameters needed for the digital signature scheme ๐Ÿ™ƒ Possible sets of these parameters are defined, for example, in [RFC4357].

The digital signature, represented as a binary vector of 512-bit length, must be calculated using a definite set of rules, as stated in Section 6.1 โœจ

The digital signature of a received message is accepted or denied according to the set of rules stated in Section 6.2 ๐ŸŽ€


5. Mathematical Conventions ๐Ÿงฎ

To define a digital signature scheme, you need to describe the basic mathematical objects used in the signature generation and verification processes ๐ŸŒธ This section lays out those basic mathematical definitions and the requirements for the parameters of the digital signature scheme.

5.1. Mathematical Definitions

Suppose a prime number p > 3 is given. Then an elliptic curve E, defined over a finite prime field GF(p), is the set of number pairs (x,y), where x, y belong to Fp and satisfy the identity:

y^2 = x^3 + a*x + b (mod p),                                      (1)

where a, b belong to GF(p) and 4*a^3 + 27*b^2 is not congruent to zero modulo p.

An invariant of the elliptic curve is the value J(E), which satisfies the equality:

                 4*a^3
J(E) = 1728 * ------------ (mod p)                                (2)
               4*a^3+27*b^2

The coefficients a, b of the elliptic curve E are defined from the invariant J(E) like this ๐Ÿฆ‹:

| a=3*k (mod p)
|                              J(E)
| b=2*k (mod p), where k = ----------- (mod p), J(E) /= 0 or 1728 (3)
                              1728 - J(E)

The pairs (x,y) that satisfy identity (1) are called the elliptic curve E points. x and y are called the x- and y-coordinates of the point, respectively ๐Ÿ“

We'll denote elliptic curve points as Q(x,y) or just Q. Two elliptic curve points are equal if their x- and y-coordinates are equal ๐Ÿ’–

Now the addition operation, denoted by "+", on the set of all elliptic curve E points. For two arbitrary elliptic curve E points Q1 (x1, y1) and Q2 (x2, y2), we'll look at several variants โœจ

First, suppose the coordinates of points Q1 and Q2 satisfy the condition x1 /= x2. In this case their sum is a point Q3 (x3,y3), with coordinates given by these congruences:

| x3=lambda^2-x1-x2 (mod p),                  y1-y2
|                              where lambda= ------- (mod p).     (4)
| y3=lambda*(x1-x3)-y1 (mod p),               x1-x2

If x1 = x2 and y1 = y2 /= 0, then the Q3 coordinates are defined like this ๐Ÿ‘‘:

| x3=lambda^2-x1*2 (mod p),                    3*x1^2+a
|                               where lambda= --------- (mod p)   (5)
| y3=lambda*(x1-x3)-y1 (mod p),                 y1*2

If x1 = x2 and y1 = - y2 (mod p), then the sum of points Q1 and Q2 is called a zero point O, without determining its x- and y-coordinates. In this case, point Q2 is called the negative of point Q1 ๐Ÿ™ˆ For the zero point, these equalities hold:

O+Q=Q+O=Q,                                                        (6)

where Q is an arbitrary point of elliptic curve E.

The set of all points of elliptic curve E, including the zero point, forms a finite abelian (commutative) group of order m under the addition operation we just introduced ๐ŸŒˆ For m, these inequalities hold:

p + 1 - 2*sqrt(p) =< m =< p + 1 + 2*sqrt(p).                      (7)

A point Q is called a point of multiplicity k, or just a multiple point of the elliptic curve E, if for some point P this equality holds ๐Ÿงš:

Q = P + ... + P = k*P.                                            (8)
    -----+-----
         k

5.2. Digital Signature Parameters

The digital signature parameters are these ๐Ÿ’…:

  • prime number p is the elliptic curve modulus, satisfying the inequality p > 2^255. The upper bound for this number must be determined for the specific realization of the digital signature scheme;
  • elliptic curve E, defined by its invariant J(E) or by coefficients a, b belonging to GF(p);
  • integer m is the order of the elliptic curve E points group;
  • prime number q is the order of a cyclic subgroup of the elliptic curve E points group, which satisfies these conditions:
m = nq, n belongs to Z , n>=1
                                                                 (9)
2^254 < q < 2^256
  • point P /= O of an elliptic curve E, with coordinates (x_p, y_p), satisfying the equality q*P=O;
  • hash function h(.):V_all -> V256, which maps messages represented as binary vectors of arbitrary finite length onto binary vectors of 256-bit length. The hash function is defined in [GOST3411].

Every user of the digital signature scheme must have their own personal keys ๐Ÿ”‘:

  • signature key, which is an integer d, satisfying the inequality 0 < d < q;
  • verification key, which is an elliptic curve point Q with coordinates (x_q, y_q), satisfying the equality d*P=Q.

The digital signature parameters introduced above must satisfy these requirements ๐Ÿซถ:

  • it is necessary that the condition p^t /= 1 (mod q ) holds for all integers t = 1, 2, ... B, where B satisfies the inequality B >= 31;
  • it is necessary that the inequality m /= p holds;
  • the curve invariant must satisfy the condition J(E) /= 0, 1728.

5.3. Binary Vectors

To determine the digital signature generation and verification processes, you need to map the set of integers onto the set of binary vectors of 256-bit length ๐ŸŒธ

Consider the following binary vector of 256-bit length, where the low-order bits are placed on the right and the high-order ones on the left:

H = (alpha[255], ... , alpha[0]), H belongs to V256              (10)

where alpha[i], i = 0, ... , 255 are equal to 1 or to 0. We'll say that the number alpha belonging to Z is mapped onto the binary vector h if this equality holds:

alpha = alpha[0]*2^0 + alpha[1]*2^1 + ... + alpha[255]*2^255     (11)

For two binary vectors H1 and H2, which correspond to integers alpha and beta, we define a concatenation (union) operation like this. If:

H1 = (alpha[255], ... , alpha[0]),
                                                                (12)
H2 = (beta[255], ..., beta[0]),

then their union is:

H1||H2 = (alpha[255], ... , alpha[0], beta[255], ..., beta[0])
                                                                (13)

that is a binary vector of 512-bit length, consisting of the coefficients of the vectors H1 and H2 ๐Ÿ“

The formulae above also give a way to split a binary vector H of 512-bit length into two binary vectors of 256-bit length, where H is the concatenation of the two โœจ


6. Main Processes โš™๏ธ

In this section we define the digital signature generation and verification processes for a user's message ๐Ÿ’–

For these processes to work, all users need to know the digital signature scheme parameters, which satisfy the requirements of Section 5.2.

Besides that, every user must have the signature key d and the verification key Q(x[q], y[q]), which also must satisfy the requirements of Section 5.2 ๐ŸŽ€

6.1. Digital Signature Generation Process

To get the digital signature for the message M belonging to V_all, you perform the following actions (steps) according to Algorithm I ๐Ÿ”ฅ

Step 1 - calculate the message hash code M: H = h(M). (14)

Step 2 - calculate an integer alpha, whose binary representation is the vector H, and determine e = alpha (mod q ). (15)

If e = 0, then assign e = 1.

Step 3 - generate a random (pseudorandom) integer k, satisfying the inequality:

0 < k < q.                                                       (16)

Step 4 - calculate the elliptic curve point C = k*P and determine if:

r = x_C (mod q),                                                 (17)

where x_C is the x-coordinate of the point C. If r = 0, return to step 3 ๐Ÿ”„

Step 5 - calculate the value:

s = (r*d + k*e) (mod q).                                         (18)

If s = 0, return to step 3 ๐Ÿ™ˆ

Step 6 - calculate the binary vectors R and S, corresponding to r and s, and determine the digital signature zeta = (R || S) as a concatenation of these two binary vectors โœจ

The initial data for this process are the signature key d and the message M to be signed. The output result is the digital signature zeta ๐Ÿซง

6.2. Digital Signature Verification ๐Ÿ”

okay bestie, so verifying a signature is basically a 7-step checklist ๐Ÿ“‹. To verify digital signatures for the received message M that belongs to V_all, you run these steps in order according to Algorithm II:

Step 1 - calculate the integers r and s using the received signature zeta. If the inequalities 0 < r < q, 0 < s < q hold, go to the next step. Otherwise, the signature is invalid. ๐Ÿšซ

Step 2 - calculate the hash code of the received message M:

H = h(M).                                                        (19)

Step 3 - calculate the integer alpha, the binary representation of which is the vector H, and determine if:

e = alpha (mod q).                                               (20)

If e = 0, then assign e = 1. ๐Ÿงฎ

Step 4 - calculate the value v = e^(-1) (mod q).

v = e^(-1) (mod q).                                              (21)

Step 5 - calculate the values:

z1 =  s*v (mod q), z2 = -r*v (mod q).                            (22)

Step 6 - calculate the elliptic curve point C = z1*P + z2*Q and determine if:

R = x_C (mod q),                                                 (23)

where x_C is x-coordinate of the point. ๐Ÿ“

Step 7 - if the equality R = r holds, then the signature is accepted. Otherwise, the signature is invalid. โœ…

The input data of the process are the signed message M, the digital signature zeta, and the verification key Q. The output result is the witness of the signature validity or invalidity. ๐Ÿซถ


7. Test Examples (Appendix to GOST R 34.10-2001) ๐Ÿงช

This section is included in GOST R 34.10-2001 as a reference appendix but is not officially mentioned as a part of the standard. ๐Ÿ“Ž

The values given here for the parameters p, a, b, m, q, P, the signature key d, and the verification key Q are recommended only for testing the correctness of actual realizations of the algorithms described in GOST R 34.10-2001. ๐Ÿงชโœจ

All numerical values are introduced in decimal and hexadecimal notations. The numbers beginning with 0x are in hexadecimal notation. The symbol "\" denotes a hyphenation of a number to the next line. For example, the notation:

12345\\
67890

0x499602D2

represents 1234567890 in decimal and hexadecimal number systems, respectively. ๐Ÿ”ข

7.1. The Digital Signature Scheme Parameters ๐ŸŽ€

The following parameters must be used for the digital signature generation and verification (see Section 5.2). ๐Ÿ’–

7.1.1. Elliptic Curve Modulus

The following value is assigned to parameter p in this example:

p= 57896044618658097711785492504343953926\\
634992332820282019728792003956564821041

p = 0x8000000000000000000000000000\\
000000000000000000000000000000000431

7.1.2. Elliptic Curve Coefficients

Parameters a and b take the following values in this example:

a = 7
a = 0x7

b = 43308876546767276905765904595650931995\\
942111794451039583252968842033849580414

b = 0x5FBFF498AA938CE739B8E022FBAFEF40563\\
F6E6A3472FC2A514C0CE9DAE23B7E

7.1.3. Elliptic Curve Points Group Order

Parameter m takes the following value in this example:

m = 5789604461865809771178549250434395392\\
7082934583725450622380973592137631069619

m = 0x80000000000000000000000000000\\
00150FE8A1892976154C59CFC193ACCF5B3

7.1.4. Order of Cyclic Subgroup of Elliptic Curve Points Group

Parameter q takes the following value in this example:

q = 5789604461865809771178549250434395392\\
7082934583725450622380973592137631069619

q = 0x80000000000000000000000000000001\\
50FE8A1892976154C59CFC193ACCF5B3

7.1.5. Elliptic Curve Point Coordinates

Point P coordinates take the following values in this example:

x_p = 2
x_p = 0x2

y_p = 40189740565390375033354494229370597\\
75635739389905545080690979365213431566280

y_p = 0x8E2A8A0E65147D4BD6316030E16D19\\
C85C97F0A9CA267122B96ABBCEA7E8FC8

7.1.6. Signature Key

It is supposed, in this example, that the user has the following signature key d: ๐Ÿ”

d = 554411960653632461263556241303241831\\
96576709222340016572108097750006097525544

d = 0x7A929ADE789BB9BE10ED359DD39A72C\\
11B60961F49397EEE1D19CE9891EC3B28

7.1.7. Verification Key

It is supposed, in this example, that the user has the verification key Q with the following coordinate values: ๐Ÿ”‘

x_q = 57520216126176808443631405023338071\\
176630104906313632182896741342206604859403

x_q = 0x7F2B49E270DB6D90D8595BEC458B5\\
0C58585BA1D4E9B788F6689DBD8E56FD80B

y_q = 17614944419213781543809391949654080\\
031942662045363639260709847859438286763994

y_q = 0x26F1B489D6701DD185C8413A977B3\\
CBBAF64D1C593D26627DFFB101A87FF77DA

7.2. Digital Signature Process (Algorithm I) โœ๏ธ

Suppose that after steps 1-3, according to Algorithm I (Section 6.1), are performed, the following numerical values are obtained: ๐Ÿ“Š

e = 2079889367447645201713406156150827013\\
0637142515379653289952617252661468872421
e = 0x2DFBC1B372D89A1188C09C52E0EE\\
C61FCE52032AB1022E8E67ECE6672B043EE5

k = 538541376773484637314038411479966192\\
41504003434302020712960838528893196233395

k = 0x77105C9B20BCD3122823C8CF6FCC\\
7B956DE33814E95B7FE64FED924594DCEAB3

And the multiple point C = k * P has the coordinates:

x_C = 297009809158179528743712049839382569\\
90422752107994319651632687982059210933395

x_C = 0x41AA28D2F1AB148280CD9ED56FED\\
A41974053554A42767B83AD043FD39DC0493

y[C] = 328425352786846634770946653225170845\\
06804721032454543268132854556539274060910

y[C] = 0x489C375A9941A3049E33B34361DD\\
204172AD98C3E5916DE27695D22A61FAE46E

Parameter r = x_C(mod q) takes the value:

r = 297009809158179528743712049839382569\\
90422752107994319651632687982059210933395

r = 0x41AA28D2F1AB148280CD9ED56FED\\
A41974053554A42767B83AD043FD39DC0493

Parameter s = (r*d + k*e)(mod q) takes the value:

s = 57497340027008465417892531001914703\\
8455227042649098563933718999175515839552

s = 0x1456C64BA4642A1653C235A98A602\\
49BCD6D3F746B631DF928014F6C5BF9C40

7.3. Verification Process of Digital Signature (Algorithm II) ๐Ÿ•ต๏ธโ€โ™€๏ธ

Suppose that after steps 1-3, according to Algorithm II (Section 6.2), are performed, the following numerical value is obtained: ๐Ÿง

e = 2079889367447645201713406156150827013\\
0637142515379653289952617252661468872421
e = 0x2DFBC1B372D89A1188C09C52E0EE\\
C61FCE52032AB1022E8E67ECE6672B043EE5

And the parameter v = e^(-1) (mod q) takes the value:

v = 176866836059344686773017138249002685\\
62746883080675496715288036572431145718978

v = 0x271A4EE429F84EBC423E388964555BB\\
29D3BA53C7BF945E5FAC8F381706354C2

The parameters z1 = s*v(mod q) and z2 = -r*v(mod q) take the values:

z1 = 376991675009019385568410572935126561\\
08841345190491942619304532412743720999759

z1 = 0x5358F8FFB38F7C09ABC782A2DF2A\\
3927DA4077D07205F763682F3A76C9019B4F

z2 = 141719984273434721125159179695007657\\
6924665583897286211449993265333367109221

z2 = 0x3221B4FBBF6D101074EC14AFAC2D4F7\\
EFAC4CF9FEC1ED11BAE336D27D527665

The point C = z1*P + z2*Q has the coordinates:

x_C = 2970098091581795287437120498393825699\\
0422752107994319651632687982059210933395

x_C = 0x41AA28D2F1AB148280CD9ED56FED\\
A41974053554A42767B83AD043FD39DC0493

y[C] = 3284253527868466347709466532251708450\\
6804721032454543268132854556539274060910

y[C] = 0x489C375A9941A3049E33B34361DD\\
204172AD98C3E5916DE27695D22A61FAE46E

Then the parameter R = x_C (mod q) takes the value:

R = 2970098091581795287437120498393825699\\
0422752107994319651632687982059210933395

R = 0x41AA28D2F1AB148280CD9ED56FED\\
A41974053554A42767B83AD043FD39DC0493

Since the equality R = r holds, the digital signature is accepted. ๐ŸŽ‰๐Ÿ‘‘


8. Security Considerations ๐Ÿ”

This entire document is about security considerations. ๐Ÿ’€

Current cryptographic resistance of GOST R 34.10-2001 digital signature algorithm is estimated as 2^128 operations of multiple elliptic curve point computations on prime modulus of order 2^256. ๐Ÿ›ก๏ธ

9. References ๐Ÿ“š

9.1. Normative References

[GOST3410]       "Information technology.  Cryptographic data
                 security.  Signature and verification processes of
                 [electronic] digital signature.", GOST R 34.10-2001,
                 Gosudarstvennyi Standard of Russian Federation,
                 Government Committee of Russia for Standards, 2001.
                 (In Russian)

[GOST3411]       "Information technology.  Cryptographic Data
                 Security.  Hashing function.", GOST R 34.10-94,
                 Gosudarstvennyi Standard of Russian Federation,
                 Government Committee of Russia for Standards, 1994.
                 (In Russian)

[RFC4357]        Popov, V., Kurepkin, I., and S. Leontiev,
                 "Additional Cryptographic Algorithms for Use with
                 GOST 28147-89, GOST R 34.10-94, GOST R 34.10-2001,
                 and GOST R 34.11-94 Algorithms", RFC 4357, January
                 2006.

9.2. Informative References

[ISO2382-2]      ISO 2382-2 (1976), "Data processing - Vocabulary -
                 Part 2: Arithmetic and logic operations".

[ISO9796-1991]   ISO/IEC 9796:1991, "Information technology --
                 Security techniques -- Digital signature schemes
                 giving message recovery."

[ISO14888-1]     ISO/IEC 14888-1 (1998), "Information technology -
                 Security techniques - Digital signatures with
                 appendix - Part 1: General".

[ISO14888-2]     ISO/IEC 14888-2 (1999), "Information technology -
                 Security techniques - Digital signatures with
                 appendix - Part 2: Identity-based mechanisms".

[ISO14888-3]     ISO/IEC 14888-3 (1998), "Information technology -
                 Security techniques - Digital signatures with
                 appendix - Part 3: Certificate-based mechanisms".

[ISO10118-1]     ISO/IEC 10118-1 (2000), "Information technology -
                 Security techniques - Hash-functions - Part 1:
                 General".

[ISO10118-2]     ISO/IEC 10118-2 (2000), "Information technology -
                 Security techniques - Hash-functions - Part 2: Hash-
                 functions using an n-bit block cipher algorithm".

[ISO10118-3]     ISO/IEC 10118-3 (2004), "Information technology -
                 Security techniques - Hash-functions - Part 3:
                 Dedicated hash-functions".

[ISO10118-4]     ISO/IEC 10118-4 (1998), "Information technology -
                 Security techniques - Hash-functions - Part 4: Hash-
                 functions using modular arithmetic".

Appendix A. Extra Terms in the Digital Signature Area ๐Ÿ“–

The appendix gives extra international terms applied in the considered and allied areas. ๐ŸŒธ

  1. Padding: Extending a data string with extra bits [ISO10118-1].
  2. Identification data: A list of data elements, including specific object identifier, that belongs to the object and is used for its denotation [ISO14888-1].
  3. Signature equation: An equation, defined by the digital signature function [ISO14888-1].
  4. Verification function: A verification process function, defined by the verification key, which outputs a witness of the signature authenticity [ISO14888-1].
  5. Signature function: A function within a signature generation process, defined by the signature key and by the digital signature scheme parameters. This function inputs a part of initial data and, probably, a pseudo-random number sequence generator (randomizer), and outputs the second part of the digital signature.

Appendix B. Contributors โœจ

okay bestie, these are the people who contributed to this spec ๐Ÿซถ Three contributors are listed with their affiliations and contact info, so you know exactly who to thank ๐Ÿ’…

Dmitry Kabelev
Cryptocom, Ltd.
14 Kedrova St., Bldg. 2
Moscow, 117218
Russian Federation

EMail: kdb@cryptocom.ru
Igor Ustinov
Cryptocom, Ltd.
14 Kedrova St., Bldg. 2
Moscow, 117218
Russian Federation

EMail: igus@cryptocom.ru
Sergey Vyshensky
Moscow State University
Leninskie gory, 1
Moscow, 119991
Russian Federation

EMail: svysh@pn.sinp.msu.ru

Author's Address ๐Ÿ’œ

and this one is the author's info ๐Ÿฆ‹ Vasily Dolmatov is the editor listed here, and he's also with Cryptocom, Ltd. ๐ŸŒธ

Vasily Dolmatov, Ed.
Cryptocom, Ltd.
14 Kedrova St., Bldg. 2
Moscow, 117218
Russian Federation

EMail: dol@cryptocom.ru

and that's a wrap on the whole document, periodt! ๐ŸŒˆ๐Ÿ‘‘

๐Ÿ“ฆ where this page comes from