5 Minute Tutorial

5-minute-tutorial: Cryptimeleon Math

Cryptimeleon Math is a library supplying the mathematical basics for cryptography (usually elliptic curve/pairing-based).

To give you some insight into the library, let’s implement the well-known Pedersen commitment scheme over an elliptic curve as an example.


Note: You can also check this page out in an interactive Jupyter notebook by clicking the badge below:

Binder


Setup 🔨

Let’s include the Cryptimeleon Math library and set up the secp256k1 elliptic curve group.

%maven org.cryptimeleon:math:3.0.1
import org.cryptimeleon.math.structures.groups.elliptic.nopairing.Secp256k1;
import org.cryptimeleon.math.structures.groups.lazy.LazyGroup;
import org.cryptimeleon.math.structures.groups.*;

Group group = new Secp256k1(); //this is a LazyGroup which evaluates group operations lazily (see later)

A Group plays the role of the set \(\mathbb{G}\). It has a size() and a bunch of useful methods to instantiate its GroupElements.

var n = group.size();
System.out.println("group size() = " + n);
group size() = 115792089237316195423570985008687907852837564279074904382605163141518161494337

Now let’s set up the public parameters for the Pedersen commitment: two random group elements \(g,h\in\mathbb{G}\).

var g = group.getUniformlyRandomNonNeutral(); 
var h = group.getUniformlyRandomNonNeutral(); 

g and h are GroupElements. Their most important methods are op(...) (for the group operation) and pow(...) (for exponentiation/scalar multiplication).

GroupElements are lazy 😴

Let’s look at the group elements:

System.out.println(g);
System.out.println(h);
LazyGroupElement{computationState=NOTHING}
LazyGroupElement{computationState=NOTHING}

Most operations concerning group elements in Math are lazy, i.e. they are only evaluated when necessary (and we consider toString() not to be necessary but rather a debugging tool). This has a bunch of advantages that we’ll get to later. When working with g and h, this doesn’t really change anything - though their values are not yet known, you can pretend that they are (when they are needed, they will be computed transparently).

Precomputation 🔮

g and h are fixed and publicly known and we’ll later compute lots of expressions of the form \(C = g^m\cdot h^r\). To speed that up, we can invest some time and memory to do some precomputation now. Thankfully, this is very easy to do:

g.precomputePow();
h.precomputePow();
System.out.println("Precomputation done.");
Precomputation done.

Future computations g.pow(...) and h.pow(...) will benefit from precomputation.

As a side-effect, the values of g and h have been explicitly computed and can now be printed by println() above. You can now see that they indeed look like elliptic curve points.

Committing 😱

Choosing a message 📝

Now let’s commit to a message \(m\). For Pedersen commitments, \(m\) lives in \(\mathbb{Z}_n\) (because exponents are to be interpreted modulo the group order \(n\)). We can get the appropriate \(\mathbb{Z}_n\) object from the group:

var zn = group.getZn();

Similar to how a Group is a structure that has GroupElements, zp is a structure that contains ZnElements.

We can now instantiate our message \(m\), which will be a ZnElement, in any of the following ways:

var m = zn.valueOf(23).mul(42); //simply the number 23*42 (mod p)
System.out.println(m);
966
var m = zn.getUniformlyRandomElement(); //a random number in Zn
System.out.println(m);
24686216323106602084253147696977614646204459857337378459938106491648055846014
import org.cryptimeleon.math.structures.rings.zn.HashIntoZn;

var m = new HashIntoZn(zn).hash("We attack at midnight! ⚔️"); //the hash of the given String into Zn
System.out.println(m);
810052306909394450800266714096184223616907450636387903217280471689702165748

Computing the commitment 🎲

Now that we have \(m\), let’s compute the Pedersen commitment, which is

\[C = g^m\cdot h^r\]

for a random \(r\in\mathbb{Z}_n\).

var r = zn.getUniformlyRandomElement();
var C = g.pow(m).op(h.pow(r));
System.out.println(C);
LazyGroupElement{computationState=NOTHING}

On automatic multiexponentiation 🤖

One advantage of the LazyGroup approach is that after calling g.pow(m), that value is not immediately computed. This allows us to compute \(C\) as a multiexponentiation behind the scenes, i.e. more efficiently than computing \(g^m\) and \(h^r\) separately and then multiplying them.

This is done automatically when the value of \(C\) is needed. We can force computation of \(C\) by calling computeSync() for the sake of illustration.

C.computeSync() //computes the value of C and blocks the caller until it's done.
(14852434596900525704736599405945637519338686918933244957816482500227148779326,95689918192894832251420258508473421813585544065329071297259135301743416757531)

The committer can now transmit \(C\) to the verifier, who won’t learn anything from it (\(C\) is uniformly random in \(\mathbb{G}\)) but will be assured that we cannot later change our mind about \(m\).

For this transmission, we’d have to talk about serialization. Very roughly: every GroupElement is able to represent itself as a Representation, which is safe to send, and its corresponding Group is able to undo this process.

C.getRepresentation()
{"__type":"OBJ","x":"INT:20d62e199855e7eb5d52ccfd535a2af6165bce8a01440fe2534948a1ba1f8f3e","y":"INT:d38e930b32d88f58adf89108ebef3fad3c317a3f12bf1a68d7d16881b2a4cd1b","z":"INT:1"}
group.restoreElement(C.getRepresentation()).equals(C)
true

For more information on serialization, see our documentation regarding Representations.

Verifying the commitment 🕵️

When we’ve additionally given \(m,r\) to the verifier, they can now check whether \(m,r\) is a valid opening for \(C\) by checking the following equation:

g.pow(m).op(h.pow(r)).equals(C)
true

Note that here, \(g^m\cdot h^r\) is also automatically computed as multiexponentiation.

… and that’s already it for implementing the Pedersen commitment scheme.

Bonus: Parallelizing 🦑

Another advantage of the LazyGroup approach is that it makes group computations easily parallelizable. Consider the following code snippet where we’ll compute a whole bunch of commitments:

List<GroupElement> commitments = new ArrayList<>();

for (int i=0;i<500;i++) {
    var commitment = g.pow(i).op(h.pow(zn.getUniformlyRandomElement())).compute();
        //compute() returns immediately but starts computing the concrete value on a background thread.
    commitments.add(commitment); //what we add to the list here could technically be compared to a Future<GroupElement>
}

As a result, the code above doesn’t really run a any group computations itself and hence returns very quickly. All the commitments will be computed on other threads concurrently in the background, utilizing all your CPU cores.

You can go on working with all the commitments as you wish (no need to consider whether they’re done computing yet). Calls that require the result of the internal computations above may block until the result is there.

Conceptually, calling compute() or computeSync() doesn’t have any effect semantically, so for the sake of writing correct code, you’ll never have to use them (semantically they are return this; operations). But if you want to write fast code, calling compute() on some values may enable concurrency and speed things up.

… what’s next? 🎉

If you’re still curious about the library, consider our pairing tutorial, where we go through some advanced examples for the library.