Milagro Crypto Concepts
One of the critical points about information security is to give access to resources only to authorised entities and deny access to unauthorised ones. Preventing unauthorised access very often comes down to making it almost impossible, i.e., tough, expensive, complicated, and time-consuming for the unauthorised entities to get access to resources.
The same principles apply to cryptography. In most cases, a suitable encryption mechanism satisfies at least two basic requirements:
- It is possible to give easy access to encrypted, cryptographically protected content to authorised entities.
- It is possible to make it extremely challenging for unauthorised entities to access encrypted (ditto) content.
Using the above, we can define an operation: Encryption that is tough to reverse without possessing a particular parameter, for example, a decryption key. In RSA-based encryption two prime numbers, the private key, are multiplied to generate a public key, so that it is almost impossible to reverse the operation and retrieve the original prime numbers.
Multiple sources are available online to read more on the topic. We recommend this short paper from Cal Berkeley at this link.
As noted in the mentioned paper, with RSA, we need enormous prime numbers to make it almost impossible to break the encryption, hence to find the two big prime numbers. On elliptic curves, multiplication of a point by a number can be defined so that much shorter numbers than in the big prime number case are needed to reach the same level of almost impossibility.
Elliptic Curve Cryptography
Elliptic curves are another way to do encryption. Elliptic curves are mathematical structures, on which operations like addition and multiplications of points are easily defined. In particular, multiplication of a point by a number is a relatively easy operation to compute, while it is almost impossible to reverse the process, that is, to determine the multiplier knowing the result of the multiplication.
The problem of reversing the multiplication is known as the Discrete Logarithm Problem on elliptic curves (ECDLP). The difference in computational complexity (between performing the multiplication and reversing the result to retrieve the multiplier) is one of the essential cornerstones of elliptic curve cryptography.
Pairing Based Cryptography
Using elliptic curves we can now define on some elliptic curve a bilinear function called a pairing, which enables a mapping from two points on the same curve (or points on two related curves) into a different mathematical structure called a finite field. The bilinearity of the pairing is the key characteristic that makes pairing interesting and widely used in cryptography.
Identity Based Encryption
Pairing-based cryptography builds on elliptic curve-based cryptography, but the extra functionality of the pairing enables us to design schemes which would otherwise be impossible to realise, or would be prohibitively expensive to do using RSA-based cryptosystems.
Identity-based encryption (IBE) is one such scheme that has received a large of amount of attention from the crypto community, and where commercially available products have been on the market for some time and are in wide use today.
IBE is similar to classical asymmetric key cryptography, in that each user has a public key for encryption and a private key for decryption. But there are many differences:
- IBE allows public keys to be set to the value of a pre-existing identifier, such as an email address, while in PKI the public key does not contain the notion of an identity, and the association with an identifier is created by a certificate signed by a third party (Certification Authority).
- Clients or individual users do not generate private keys, but must instead download them from a trusted third party known as the Trust Authority (TA).
- In IBE, to encrypt messages, the sender must obtain public “system parameters” from the Trust Authority (TA). These system parameters are used in combination with the intended recipient’s identity string (e.g. email address) to generate an encrypted message.
Zero Knowledge Proof (from Wikipedia article)
"In cryptography, a zero-knowledge proof or zero-knowledge protocol is a method by which one party (the prover) can prove to another party (the verifier) that a given statement is true, without conveying any information apart from the fact that the statement is indeed true.
If proving the statement requires knowledge of some secret information on the part of the prover, the definition implies that the verifier will not be able to prove the statement in turn to anyone else, since the verifier does not possess the secret information.
Notice that the statement being proved must include the assertion that the prover has such knowledge (otherwise, the statement would not be proved in zero-knowledge, since at the end of the protocol the verifier would gain the additional information that the prover has knowledge of the required secret information).
If the statement consists only of the fact that the prover possesses the secret information, it is a special case known as zero-knowledge proof of knowledge, and it nicely illustrates the essence of the notion of zero-knowledge proofs: proving that one has knowledge of certain information is trivial if one is allowed to simply reveal that information; the challenge is proving that one has such knowledge without revealing the secret information or anything else."
Elliptic curve cryptography is an attractive alternative to conventional public key cryptography for implementation on constrained devices, where the significant computational resources i.e. speed, memory are limited and low-power wireless communication protocols is essential. It attains the same security levels as traditional cryptosystems using smaller parameter sizes.
Pairing-based cryptography builds on elliptic curve-based cryptography, but the extra functionality of the pairing enables us to design schemes which would otherwise be impossible to realise, or would be prohibitively expensive. Examples include identity-based encryption, group signatures and non-interactive zero-knowledge proofs.
Identity-based encryption doesn’t require certificates and certificate authorities. A trusted third party generates all the private keys, but all the public keys can be derived knowing the identity of the public key owner, for example, an email address. That means that no certificate is needed to bind a public key to its owner. Typically, it is up to the application to verify the owner possesses access to the unique identity attribute during the enrolment process in which a client obtains a private key.
A zero-knowledge proof is a method by which one party (the prover) can prove to another party (the verifier) that a given statement is true, without conveying any information apart from the fact that the statement is indeed true.
The protocols currently in use within the Milagro framework exploit at least the first three of the four listed attributes. In the case of the M-Pin Protocol, it utilises all four listed attributes above.
For an in-depth dive into the cryptographic protocols in use within the Milagro framework, see the next section Pairing Crypto Protocols.