Set up first steps (overview + maven) + how-do-I

Author: JanBobolz

_data/navigation.yaml

@@ -1,8 +1,8 @@
 docs:
 - title: Getting Started
   children:
-    - title: "Installation"
-      url: /getting-started/installation.html
+    - title: "First Steps"
+      url: /getting-started/first-steps.html
     - title: "5-minute Tutorial"
       url: /getting-started/5-minute-tutorial.html
     - title: "Pairing Tutorial"

assets/cryptimeleon_overview_parts.png

@@ -11,9 +11,9 @@ If you are not sure which repository exactly the issue belongs to, just pick one
 ## What software is required to use the libraries?
 
 In general you only need Java SDK Version 8 or higher.
-To use the Cryptimeleon Mclwrap wrapper, you additionally need to install the Mcl Java bindings (more info on this [here]({% link getting-started/installation.md %})).
+To use the Cryptimeleon Mclwrap wrapper, you additionally need to install the Mcl Java bindings (more info on this [here]({% link getting-started/first-steps.md %})).
 
 ## Which operating systems do you support?
 
 Since Java is cross-platform, the libraries should run on Linux, Mac OS and Windows.
-Keep in mind that we develop on Linux/Mac OS and do not necessarily test on Windows.
+Keep in mind that we develop on Linux/Mac OS and do not necessarily test on Windows.

docs/faq.md

@@ -0,0 +1,13 @@
+---
+title: How do I ...?
+mathjax: true
+toc: true
+---
+
+This page addresses a bunch of questions of the form "how do I do xyz in Cryptimeleon?".
+Consider it Stack-Overflow-style help.
+
+# How do I set up a group?
+# How do I compute a pairing?
+# How do I hash something?
+# How do I send or store a group element?

docs/how-do-I.md

@@ -0,0 +1,77 @@
+---
+title: First Steps
+toc: true
+---
+
+# Project structure overview
+Cryptimeleon is composed of several libraries.
+![Overview of Cryptimeleon libraries](/assets/cryptimeleon_overview_parts.png)
+
+## Base libraries
+### Math
+The [Math](https://github.com/cryptimeleon/math) library contains all the basics like bilinear groups, hashing, randomness generation, and serialization. 
+It is the basis for every other Cryptimeleon library.
+
+### Craco
+[Craco](https://github.com/cryptimeleon/craco) (the name has historical reasons) implements various cryptographic primitives and low-level constructions. This includes reusable primitives such as accumulators, commitment schemes, signature and encryption schemes, Sigma protocols, and many more.
+
+The goal of Craco is to provide common cryptographic schemes for use in more high-level protocols.
+
+### Mclwrap
+[Mclwrap](https://github.com/cryptimeleon/mclwrap) provides an efficient BN-254 bilinear group implementation (powered by [MCL](https://github.com/herumi/mcl)). 
+You should definitely use this if you want to run timing benchmarks.
+
+### Predenc, Groupsig
+Implementations of various [predicate encryption schemes](https://github.com/cryptimeleon/predenc) and [group signature schemes](https://github.com/cryptimeleon/groupsig).
+
+# Starting from scratch
+If you don't have anything right now, it's easiest to get started with our template projects.
+
+- Java: [tbd]
+- Android: [tbd]
+
+If you want to use Zero-knowledge proofs, you can generate a basic project containing your protocol with [subzero](https://cptml.org/subzero).
+
+# Including our libraries into your existing project
+Our libraries are hosted on Maven Central. 
+For the sake of this, we assume you want to import Math and Craco (which is usually what you need).
+
+## Maven
+Add these dependencies to your `pom.xml`:
+
+```xml
+<dependency>
+    <groupId>org.cryptimeleon</groupId>
+    <artifactId>math</artifactId>
+    <version>{{site.mathversion}}</version>
+</dependency>
+<dependency>
+    <groupId>org.cryptimeleon</groupId>
+    <artifactId>craco</artifactId>
+    <version>{{site.cracoversion}}</version>
+</dependency>
+```
+
+## Gradle
+Add these entries to your `build.gradle`.
+
+```gradle
+plugins {
+  id 'java-library'
+}
+
+repositories {
+  mavenCentral()
+}
+
+dependencies {
+  implementation 'org.cryptimeleon:math:{{site.mathversion}}'
+  implementation 'org.cryptimeleon:craco:{{site.cracoversion}}'
+}
+```
+
+# Mclwrap Installation
+Eventually, you should probably install [mclwrap](https://github.com/herumi/mcl) because it is a _much_ more efficient bilinear group than [what is available](/docs/bilinear-groups.html) in the Math library by default.
+
+To use MCL in your project, you need to (1) compile and install MCL, and then (2) add the dependency to our the Java bindings.
+This process is explained [here](https://github.com/cryptimeleon/mclwrap/blob/main/README.md).

getting-started/first-steps.md

@@ -36,7 +36,7 @@ Cryptimeleon supports the following features (plus others):
 ## Getting started
 - 🙋 To read more, consider our paper [to be published].
 - 🧑‍💻 To see example code, read the [5 minute tutorial](/getting-started/5-minute-tutorial.html) or generate a Sigma protocol with [subzero](https://cptml.org/subzero).
-- 👷 To build your own application with Cryptimeleon, [install](/getting-started/installation.html) it via Maven or Gradle.
+- 👷 To build your own application with Cryptimeleon, [import our projects](/getting-started/first-steps.html) via Maven or gradle. Check out our ["how do I ..."](/docs/how-do-I.html) page if you're stuck.
 - 🧙 For everything else, consult this documentation page, follow our [Twitter](https://twitter.com/cryptimeleon), find the code on [GitHub](https://github.com/cryptimeleon), or [contact us](mailto:contactus@cryptimeleon.org).