Fixed segfaults caused by older versions of Relic

README.md

@@ -33,11 +33,14 @@ The code will then be accessible from the `/vagrant` directory, in the virtual m
 Instructions are available [here](doc/install_bionic.md).
 
 ### Manual Installation
-Our code requires Python 3.6, and the Charm-Crypto library (v0.50) built with the Relic toolkit (v0.5.0), as described on these pages:
+Our code requires Python 3.6, and the Charm-Crypto library (v0.50) built with the Relic Toolkit (v0.5.0), as described on these pages:
 
-1. Relic toolkit: https://jhuisi.github.io/charm/relic.html#charm-with-relic
-2. Charm-Crypto:  https://jhuisi.github.io/charm/install_source.html#platform-install-manual
+1. Relic Toolkit: https://jhuisi.github.io/charm/relic.html#charm-with-relic
 
+   (Download Relic from its [github repository](https://github.com/relic-toolkit/relic) and checkout the version identified by commit id `0534bd5cc7`.)
+2. Charm-Crypto:  https://jhuisi.github.io/charm/install_source.html#platform-install-manual
+   
+   (Download Charm from its [github repository](https://github.com/JHUISI/charm))
 > Note: Charm-Crypto additionally requires PBC (v0.5.14) and GMP (v6.2.1). 
 
 Finally, use the following command to install Openpyxl (v3.0.6) and Texttable (v1.6.3): 

Vagrantfile

@@ -76,6 +76,9 @@ Vagrant.configure("2") do |config|
     wget https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz
     wget https://crypto.stanford.edu/pbc/files/pbc-0.5.14.tar.gz
     git clone "https://github.com/JHUISI/charm.git"
+    cd charm
+    git checkout -q acb55513b2
+    cd ..
     tar -xvf gmp-6.2.1.tar.xz
     tar -xvf pbc-0.5.14.tar.gz
     cd gmp-6.2.1
@@ -89,10 +92,12 @@ Vagrant.configure("2") do |config|
     make install
     cd ..
     cd charm/charm/core/math/pairing/relic
-    wget https://github.com/relic-toolkit/relic/archive/relic-toolkit-0.5.0.tar.gz
-    tar -xvf relic-toolkit-0.5.0.tar.gz
+    git clone https://github.com/relic-toolkit/relic.git
+    cd relic
+    git checkout -q 0534bd5cc7
+    cd ..
     mkdir relic-target && cd relic-target
-    ../buildRELIC.sh ../relic-relic-toolkit-0.5.0/
+    ../buildRELIC.sh ../relic/
     cd /home/vagrant/requirements/charm
     ./configure.sh --enable-pairing-relic
     make

doc/install_bionic.md

@@ -34,6 +34,8 @@ You could alternatively use our `install_ubuntu.sh` script located in the root d
    $ wget https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz
    $ wget https://crypto.stanford.edu/pbc/files/pbc-0.5.14.tar.gz
    $ git clone "https://github.com/JHUISI/charm.git"
+   $ cd charm && git checkout -q acb55513b2
+   $ cd ..
    $ tar -xvf gmp-6.2.1.tar.xz
    $ tar -xvf pbc-0.5.14.tar.gz
    ```
@@ -57,10 +59,12 @@ You could alternatively use our `install_ubuntu.sh` script located in the root d
 
    ```
    $ cd charm/charm/core/math/pairing/relic
-   $ wget https://github.com/relic-toolkit/relic/archive/relic-toolkit-0.5.0.tar.gz
-   $ tar -xvf relic-toolkit-0.5.0.tar.gz
+   $ git clone https://github.com/relic-toolkit/relic.git
+   $ cd relic
+   $ git checkout -q 0534bd5cc7
+   $ cd ..
    $ mkdir relic-target && cd relic-target
-   $ sudo ../buildRELIC.sh ../relic-relic-toolkit-0.5.0/
+   $ sudo ../buildRELIC.sh ../relic/
    $ cd ../../../../../../
    ```
 

install_ubuntu.sh

-#!/bin/bash
+#!/bin/sh
 # SPDX-FileCopyrightText: 2021 University of Luxembourg
 # SPDX-License-Identifier: CC0-1.0
 # SPDXVersion: SPDX-2.2
@@ -8,6 +8,9 @@ mkdir requirements && cd requirements
 wget https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz
 wget https://crypto.stanford.edu/pbc/files/pbc-0.5.14.tar.gz
 git clone "https://github.com/JHUISI/charm.git"
+cd charm
+git checkout -q acb55513b2
+cd ..
 tar -xvf gmp-6.2.1.tar.xz
 tar -xvf pbc-0.5.14.tar.gz
 cd gmp-6.2.1
@@ -21,10 +24,12 @@ make
 sudo make install
 cd ..
 cd charm/charm/core/math/pairing/relic
-wget https://github.com/relic-toolkit/relic/archive/relic-toolkit-0.5.0.tar.gz
-tar -xvf relic-toolkit-0.5.0.tar.gz
+git clone https://github.com/relic-toolkit/relic.git
+cd relic
+git checkout -q 0534bd5cc7
+cd ..
 mkdir relic-target && cd relic-target
-sudo ../buildRELIC.sh ../relic-relic-toolkit-0.5.0/
+sudo ../buildRELIC.sh ../relic/
 cd ../../../../../../
 ./configure.sh --enable-pairing-relic
 make
@@ -32,4 +37,4 @@ sudo make install
 sudo ldconfig -v
 cd ../../
 python3.6 -m pip install -r requirements.txt
-python3.6 ./protocol.py -h
\ No newline at end of file
+python3.6 ./protocol.py -h