exercise-4b-display.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "a69f51a5-1afe-45c6-899f-0ea5d5f92b0b",
   "metadata": {},
   "source": [
    "# Exercise 4b - ZKP Considerations - plots\n",
    "\n",
    "This notebook takes the measurements from the exercise 4a and plots the results.\n",
    "Some important notes:\n",
    "\n",
    "- **The y axis is logarithmic!**\n",
    "- **All measurements depend on the docknetwork/crypto library** - optimizing proofs can often reduce load and communication by orders of magnitude.\n",
    "\n",
    "## Sections\n",
    "\n",
    "1. Load on server and client\n",
    "2. Communication Sizes"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "6264208b-3770-4512-902a-7b61da802210",
   "metadata": {},
   "source": [
    "---\n",
    "\n",
    "## 1. Load on server and client\n",
    "\n",
    "For LegoGroth16, the following steps need to be done:\n",
    "1. server (verifier) creates the setup and sends it to the holder\n",
    "2. client (holder) creates the proof and sends it to the verifier\n",
    "3. server (verifier) verifies the proof\n",
    "\n",
    "For BulletProofs++, the following steps need to be done:\n",
    "1. client (holder) creates the setup and the proof and sends the proof to the server\n",
    "2. server (verifier) creates the setup and verifies the proof\n",
    "\n",
    "- **Total verifier load** shows the load for LG16 (blue/yellow, setup + verification) and Bp++ (purple/red, setup + verification)  \n",
    "- **Total holder load** shows the load for LG16 (yellow, proof creation) and Bp++ (purple/red, setup + proof creation)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "78cf7b74-485d-42a8-bfda-89779585aad6",
   "metadata": {},
   "outputs": [],
   "source": [
    "import matplotlib.pyplot as plt\n",
    "from matplotlib.lines import Line2D\n",
    "import numpy as np\n",
    "\n",
    "labels = ['Setup', '1', '2', '3']\n",
    "\n",
    "# Total verifier time-based load for LG16 (blue, setup + verification) and Bp++ (red, setup + verification)  \n",
    "lg16_verifiers_setup_times = [10.563, 0, 0, 0]\n",
    "lg16_verifiers_verification_times = [0, 0.133, 0.235, 0.342]\n",
    "\n",
    "bp_verifiers_setup_times = [0.113, 0, 0, 0]\n",
    "bp_verifiers_verification_times = [0, 0.048, 0.06, 0.073]\n",
    "\n",
    "# Total holder time-based load for LG16 (blue, proof creation) and Bp++ (red, setup + proof creation)\n",
    "lg16_holders_proof_creation_times = [0, 5.954, 11.906, 17.98]\n",
    "\n",
    "bp_holders_setup_times = [0.113, 0, 0, 0]\n",
    "bp_holders_proof_creation_times = [0, 0.36, 0.692, 1.051]\n",
    "\n",
    "width = 0.2       # the width of the bars: can also be len(x) sequence\n",
    "\n",
    "fig, axes = plt.subplots(1, 2, figsize=[12, 5])\n",
    "\n",
    "# ------------------------------ Setting up first graph For verifiers -------------------------------------------------------------------------\n",
    "\n",
    "h1 = axes[0].bar([i - 0.11 for i in range(4)], lg16_verifiers_setup_times, width, label='LG16 setup', color=\"blue\")\n",
    "h2 = axes[0].bar([i - 0.11 for i in range(4)], lg16_verifiers_verification_times, width, bottom=lg16_verifiers_setup_times, label='LG16 Verification', color=\"orange\")\n",
    "\n",
    "h3 = axes[0].bar([i + 0.11 for i in range(4)], bp_verifiers_setup_times, width, label='BP++ setup', color=\"red\")\n",
    "h4 = axes[0].bar([i + 0.11 for i in range(4)], bp_verifiers_verification_times, width, bottom=bp_verifiers_setup_times, label='BP++ Verification', color=\"purple\")\n",
    "\n",
    "axes[0].set_ylabel('LOG Proof Verification Time (seconds)')\n",
    "axes[0].set_title('Total verifier load (based on total consumed time)')\n",
    "axes[0].set_yscale('log')\n",
    "axes[0].set_ylim(0.02, 20)\n",
    "axes[0].yaxis.grid(True, which='both', linestyle='--', linewidth=0.5)\n",
    "axes[0].set_xticks(range(len(labels)), labels)\n",
    "axes[0].legend(loc=\"center left\", handles=[h1, h3, h2, h4], ncols=2);\n",
    "\n",
    "# ------------------------------ Setting up Second graph for holders -------------------------------------------------------------------------\n",
    "\n",
    "#axes[1].bar([i - 0.11 for i in range(4)], lg16_holders_setup_times, width, label='LG16 setupTime', color=\"blue\")\n",
    "h1 = Line2D([], [], color='none', label='')\n",
    "h2 = axes[1].bar([i - 0.11 for i in range(4)], lg16_holders_proof_creation_times, width, label='LG16 Proof Gen', color=\"orange\")\n",
    "\n",
    "h3 = axes[1].bar([i + 0.11 for i in range(4)], bp_holders_setup_times, width, label='BP++ setup', color=\"red\")\n",
    "h4 = axes[1].bar([i + 0.11 for i in range(4)], bp_holders_proof_creation_times, width, bottom=bp_holders_setup_times, label='BP++ Proof Gen', color=\"purple\")\n",
    "\n",
    "axes[1].set_ylabel('LOG Proof Generation Time (seconds)')\n",
    "axes[1].set_title('Total holder load (based on total consumed time)')\n",
    "axes[1].set_yscale('log')\n",
    "axes[1].set_ylim(0.02, 20)\n",
    "axes[1].yaxis.grid(True, which='both', linestyle='--', linewidth=0.5)\n",
    "axes[1].set_xticks(range(len(labels)), labels)\n",
    "axes[1].legend(loc=\"lower right\", handles=[h3, h1, h2, h4], ncols=2);\n",
    "\n",
    "\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "d1054112-6c1e-4fdd-b5bd-aa3b25536d84",
   "metadata": {},
   "source": [
    "---\n",
    "\n",
    "## 2. Communication Sizes"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "9f2aaf7c-6bc6-40ac-95d5-fc595eb82d6f",
   "metadata": {},
   "outputs": [],
   "source": [
    "import matplotlib.pyplot as plt\n",
    "\n",
    "legoGroth16Size = [930100/1000, 0.892, 1.293, 1.694]\n",
    "bulletProofSize = [0, 1.798, 3.105, 4.412]\n",
    "\n",
    "# Create the bar chart\n",
    "plt.bar([i - 0.1 for i in range(len(legoGroth16Size))], legoGroth16Size, width=0.2, label=\"LegoGroth16\", color=\"blue\")\n",
    "plt.bar([i + 0.1 for i in range(len(bulletProofSize))], bulletProofSize, width=0.2, label=\"BulletProof++\", color=\"red\")\n",
    "\n",
    "# Add labels and title\n",
    "plt.xlabel(\"Number of range proofs\")\n",
    "plt.ylabel(\"LOG Size of communication in kB\")\n",
    "plt.yscale('log')\n",
    "plt.title(\"Comparison of Communication Sizes\")\n",
    "plt.xticks(range(len(legoGroth16Size)), [\"Setup\", \"1\", \"2\", \"3\"])\n",
    "plt.grid(True, which='both', linestyle='--', linewidth=0.5, axis=\"y\")\n",
    "plt.legend()\n",
    "\n",
    "# Show the plot\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "973c60ef-c27d-4f25-83df-c0c26ee28554",
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3 (ipykernel)",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.11.10"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}