SimpleTest.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "id": "695c3645",
   "metadata": {},
   "source": [
    "# Using quivr4s\n",
    "\n",
    "First we import the library and the required operations."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "id": "58654902",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "\u001b[32mimport \u001b[39m\u001b[36m$ivy.$                     \n",
       "\n",
       "\u001b[39m\n",
       "\u001b[32mimport \u001b[39m\u001b[36mco.topl.quivr.Box\n",
       "\u001b[39m\n",
       "\u001b[32mimport \u001b[39m\u001b[36mco.topl.quivr.interpreters.NativeTransaction\n",
       "\u001b[39m\n",
       "\u001b[32mimport \u001b[39m\u001b[36mscorex.crypto.signatures.Curve25519\n",
       "\u001b[39m\n",
       "\u001b[32mimport \u001b[39m\u001b[36mco.topl.quivr.algebras.QuivrContractAlgebraSyntax._\n",
       "\u001b[39m\n",
       "\u001b[32mimport \u001b[39m\u001b[36mco.topl.quivr.algebras._\u001b[39m"
      ]
     },
     "execution_count": 7,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "import $ivy.`co.topl::quivr4s:0.1`\n",
    "\n",
    "import co.topl.quivr.Box\n",
    "import co.topl.quivr.interpreters.NativeTransaction\n",
    "import scorex.crypto.signatures.Curve25519\n",
    "import co.topl.quivr.algebras.QuivrContractAlgebraSyntax._\n",
    "import co.topl.quivr.algebras._"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "b755d14c",
   "metadata": {},
   "source": [
    "# Generating Keypairs\n",
    "\n",
    "We generate three key pairs and store them in lists."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "id": "9009b6a7",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "\u001b[36mkeyPair1\u001b[39m: (\u001b[32mscorex\u001b[39m.\u001b[32mcrypto\u001b[39m.\u001b[32msignatures\u001b[39m.\u001b[32mpackage\u001b[39m.\u001b[32mPrivateKey\u001b[39m, \u001b[32mscorex\u001b[39m.\u001b[32mcrypto\u001b[39m.\u001b[32msignatures\u001b[39m.\u001b[32mpackage\u001b[39m.\u001b[32mPublicKey\u001b[39m) = (\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m88\u001b[39m,\n",
       "    \u001b[32m12\u001b[39m,\n",
       "    \u001b[32m-97\u001b[39m,\n",
       "    \u001b[32m-124\u001b[39m,\n",
       "    \u001b[32m48\u001b[39m,\n",
       "    \u001b[32m-57\u001b[39m,\n",
       "    \u001b[32m67\u001b[39m,\n",
       "    \u001b[32m88\u001b[39m,\n",
       "    \u001b[32m7\u001b[39m,\n",
       "    \u001b[32m-33\u001b[39m,\n",
       "    \u001b[32m-117\u001b[39m,\n",
       "    \u001b[32m-87\u001b[39m,\n",
       "    \u001b[32m-92\u001b[39m,\n",
       "    \u001b[32m118\u001b[39m,\n",
       "    \u001b[32m-29\u001b[39m,\n",
       "    \u001b[32m-15\u001b[39m,\n",
       "    \u001b[32m41\u001b[39m,\n",
       "    \u001b[32m93\u001b[39m,\n",
       "    \u001b[32m70\u001b[39m,\n",
       "    \u001b[32m-17\u001b[39m,\n",
       "    \u001b[32m33\u001b[39m,\n",
       "    \u001b[32m15\u001b[39m,\n",
       "    \u001b[32m110\u001b[39m,\n",
       "    \u001b[32m-6\u001b[39m,\n",
       "    \u001b[32m-30\u001b[39m,\n",
       "    \u001b[32m4\u001b[39m,\n",
       "    \u001b[32m58\u001b[39m,\n",
       "    \u001b[32m76\u001b[39m,\n",
       "    \u001b[32m8\u001b[39m,\n",
       "    \u001b[32m90\u001b[39m,\n",
       "    \u001b[32m86\u001b[39m,\n",
       "    \u001b[32m94\u001b[39m\n",
       "  ),\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m-12\u001b[39m,\n",
       "    \u001b[32m-15\u001b[39m,\n",
       "...\n",
       "\u001b[36mkeyPair2\u001b[39m: (\u001b[32mscorex\u001b[39m.\u001b[32mcrypto\u001b[39m.\u001b[32msignatures\u001b[39m.\u001b[32mpackage\u001b[39m.\u001b[32mPrivateKey\u001b[39m, \u001b[32mscorex\u001b[39m.\u001b[32mcrypto\u001b[39m.\u001b[32msignatures\u001b[39m.\u001b[32mpackage\u001b[39m.\u001b[32mPublicKey\u001b[39m) = (\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m24\u001b[39m,\n",
       "    \u001b[32m79\u001b[39m,\n",
       "    \u001b[32m14\u001b[39m,\n",
       "    \u001b[32m-104\u001b[39m,\n",
       "    \u001b[32m81\u001b[39m,\n",
       "    \u001b[32m-105\u001b[39m,\n",
       "    \u001b[32m25\u001b[39m,\n",
       "    \u001b[32m-104\u001b[39m,\n",
       "    \u001b[32m-25\u001b[39m,\n",
       "    \u001b[32m50\u001b[39m,\n",
       "    \u001b[32m7\u001b[39m,\n",
       "    \u001b[32m-123\u001b[39m,\n",
       "    \u001b[32m68\u001b[39m,\n",
       "    \u001b[32m-55\u001b[39m,\n",
       "    \u001b[32m107\u001b[39m,\n",
       "    \u001b[32m54\u001b[39m,\n",
       "    \u001b[32m-61\u001b[39m,\n",
       "    \u001b[32m-48\u001b[39m,\n",
       "    \u001b[32m28\u001b[39m,\n",
       "    \u001b[32m-19\u001b[39m,\n",
       "    \u001b[32m-9\u001b[39m,\n",
       "    \u001b[32m-54\u001b[39m,\n",
       "    \u001b[32m-93\u001b[39m,\n",
       "    \u001b[32m50\u001b[39m,\n",
       "    \u001b[32m53\u001b[39m,\n",
       "    \u001b[32m-99\u001b[39m,\n",
       "    \u001b[32m111\u001b[39m,\n",
       "    \u001b[32m29\u001b[39m,\n",
       "    \u001b[32m-125\u001b[39m,\n",
       "    \u001b[32m86\u001b[39m,\n",
       "    \u001b[32m112\u001b[39m,\n",
       "    \u001b[32m84\u001b[39m\n",
       "  ),\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m70\u001b[39m,\n",
       "    \u001b[32m82\u001b[39m,\n",
       "...\n",
       "\u001b[36mkeyPair3\u001b[39m: (\u001b[32mscorex\u001b[39m.\u001b[32mcrypto\u001b[39m.\u001b[32msignatures\u001b[39m.\u001b[32mpackage\u001b[39m.\u001b[32mPrivateKey\u001b[39m, \u001b[32mscorex\u001b[39m.\u001b[32mcrypto\u001b[39m.\u001b[32msignatures\u001b[39m.\u001b[32mpackage\u001b[39m.\u001b[32mPublicKey\u001b[39m) = (\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m96\u001b[39m,\n",
       "    \u001b[32m48\u001b[39m,\n",
       "    \u001b[32m58\u001b[39m,\n",
       "    \u001b[32m-30\u001b[39m,\n",
       "    \u001b[32m43\u001b[39m,\n",
       "    \u001b[32m-103\u001b[39m,\n",
       "    \u001b[32m-120\u001b[39m,\n",
       "    \u001b[32m97\u001b[39m,\n",
       "    \u001b[32m-68\u001b[39m,\n",
       "    \u001b[32m-29\u001b[39m,\n",
       "    \u001b[32m-78\u001b[39m,\n",
       "    \u001b[32m-113\u001b[39m,\n",
       "    \u001b[32m51\u001b[39m,\n",
       "    \u001b[32m-18\u001b[39m,\n",
       "    \u001b[32m-63\u001b[39m,\n",
       "    \u001b[32m-66\u001b[39m,\n",
       "    \u001b[32m117\u001b[39m,\n",
       "    \u001b[32m-118\u001b[39m,\n",
       "    \u001b[32m33\u001b[39m,\n",
       "    \u001b[32m60\u001b[39m,\n",
       "    \u001b[32m-122\u001b[39m,\n",
       "    \u001b[32m-55\u001b[39m,\n",
       "    \u001b[32m60\u001b[39m,\n",
       "    \u001b[32m7\u001b[39m,\n",
       "    \u001b[32m109\u001b[39m,\n",
       "    \u001b[32m-66\u001b[39m,\n",
       "    \u001b[32m-97\u001b[39m,\n",
       "    \u001b[32m85\u001b[39m,\n",
       "    \u001b[32m-116\u001b[39m,\n",
       "    \u001b[32m17\u001b[39m,\n",
       "    \u001b[32m-57\u001b[39m,\n",
       "    \u001b[32m82\u001b[39m\n",
       "  ),\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m-1\u001b[39m,\n",
       "    \u001b[32m-68\u001b[39m,\n",
       "...\n",
       "\u001b[36mlistVks\u001b[39m: \u001b[32mList\u001b[39m[\u001b[32mscorex\u001b[39m.\u001b[32mcrypto\u001b[39m.\u001b[32msignatures\u001b[39m.\u001b[32mpackage\u001b[39m.\u001b[32mPublicKey\u001b[39m] = \u001b[33mList\u001b[39m(\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m-12\u001b[39m,\n",
       "    \u001b[32m-15\u001b[39m,\n",
       "    \u001b[32m52\u001b[39m,\n",
       "    \u001b[32m19\u001b[39m,\n",
       "    \u001b[32m-5\u001b[39m,\n",
       "    \u001b[32m127\u001b[39m,\n",
       "    \u001b[32m59\u001b[39m,\n",
       "    \u001b[32m100\u001b[39m,\n",
       "    \u001b[32m-44\u001b[39m,\n",
       "    \u001b[32m-85\u001b[39m,\n",
       "    \u001b[32m8\u001b[39m,\n",
       "    \u001b[32m126\u001b[39m,\n",
       "    \u001b[32m-66\u001b[39m,\n",
       "    \u001b[32m16\u001b[39m,\n",
       "    \u001b[32m122\u001b[39m,\n",
       "    \u001b[32m-81\u001b[39m,\n",
       "    \u001b[32m-86\u001b[39m,\n",
       "    \u001b[32m-96\u001b[39m,\n",
       "    \u001b[32m-116\u001b[39m,\n",
       "    \u001b[32m109\u001b[39m,\n",
       "    \u001b[32m123\u001b[39m,\n",
       "    \u001b[32m-14\u001b[39m,\n",
       "    \u001b[32m-79\u001b[39m,\n",
       "    \u001b[32m123\u001b[39m,\n",
       "    \u001b[32m-65\u001b[39m,\n",
       "    \u001b[32m35\u001b[39m,\n",
       "    \u001b[32m-32\u001b[39m,\n",
       "    \u001b[32m-128\u001b[39m,\n",
       "    \u001b[32m109\u001b[39m,\n",
       "    \u001b[32m-8\u001b[39m,\n",
       "    \u001b[32m107\u001b[39m,\n",
       "    \u001b[32m5\u001b[39m\n",
       "  ),\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m70\u001b[39m,\n",
       "    \u001b[32m82\u001b[39m,\n",
       "    \u001b[32m72\u001b[39m,\n",
       "...\n",
       "\u001b[36mlistSks\u001b[39m: \u001b[32mList\u001b[39m[\u001b[32mscorex\u001b[39m.\u001b[32mcrypto\u001b[39m.\u001b[32msignatures\u001b[39m.\u001b[32mpackage\u001b[39m.\u001b[32mPrivateKey\u001b[39m] = \u001b[33mList\u001b[39m(\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m88\u001b[39m,\n",
       "    \u001b[32m12\u001b[39m,\n",
       "    \u001b[32m-97\u001b[39m,\n",
       "    \u001b[32m-124\u001b[39m,\n",
       "    \u001b[32m48\u001b[39m,\n",
       "    \u001b[32m-57\u001b[39m,\n",
       "    \u001b[32m67\u001b[39m,\n",
       "    \u001b[32m88\u001b[39m,\n",
       "    \u001b[32m7\u001b[39m,\n",
       "    \u001b[32m-33\u001b[39m,\n",
       "    \u001b[32m-117\u001b[39m,\n",
       "    \u001b[32m-87\u001b[39m,\n",
       "    \u001b[32m-92\u001b[39m,\n",
       "    \u001b[32m118\u001b[39m,\n",
       "    \u001b[32m-29\u001b[39m,\n",
       "    \u001b[32m-15\u001b[39m,\n",
       "    \u001b[32m41\u001b[39m,\n",
       "    \u001b[32m93\u001b[39m,\n",
       "    \u001b[32m70\u001b[39m,\n",
       "    \u001b[32m-17\u001b[39m,\n",
       "    \u001b[32m33\u001b[39m,\n",
       "    \u001b[32m15\u001b[39m,\n",
       "    \u001b[32m110\u001b[39m,\n",
       "    \u001b[32m-6\u001b[39m,\n",
       "    \u001b[32m-30\u001b[39m,\n",
       "    \u001b[32m4\u001b[39m,\n",
       "    \u001b[32m58\u001b[39m,\n",
       "    \u001b[32m76\u001b[39m,\n",
       "    \u001b[32m8\u001b[39m,\n",
       "    \u001b[32m90\u001b[39m,\n",
       "    \u001b[32m86\u001b[39m,\n",
       "    \u001b[32m94\u001b[39m\n",
       "  ),\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m24\u001b[39m,\n",
       "    \u001b[32m79\u001b[39m,\n",
       "    \u001b[32m14\u001b[39m,\n",
       "...\n",
       "\u001b[36motherListSks\u001b[39m: \u001b[32mList\u001b[39m[\u001b[32mscorex\u001b[39m.\u001b[32mcrypto\u001b[39m.\u001b[32msignatures\u001b[39m.\u001b[32mpackage\u001b[39m.\u001b[32mPrivateKey\u001b[39m] = \u001b[33mList\u001b[39m(\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m88\u001b[39m,\n",
       "    \u001b[32m12\u001b[39m,\n",
       "    \u001b[32m-97\u001b[39m,\n",
       "    \u001b[32m-124\u001b[39m,\n",
       "    \u001b[32m48\u001b[39m,\n",
       "    \u001b[32m-57\u001b[39m,\n",
       "    \u001b[32m67\u001b[39m,\n",
       "    \u001b[32m88\u001b[39m,\n",
       "    \u001b[32m7\u001b[39m,\n",
       "    \u001b[32m-33\u001b[39m,\n",
       "    \u001b[32m-117\u001b[39m,\n",
       "    \u001b[32m-87\u001b[39m,\n",
       "    \u001b[32m-92\u001b[39m,\n",
       "    \u001b[32m118\u001b[39m,\n",
       "    \u001b[32m-29\u001b[39m,\n",
       "    \u001b[32m-15\u001b[39m,\n",
       "    \u001b[32m41\u001b[39m,\n",
       "    \u001b[32m93\u001b[39m,\n",
       "    \u001b[32m70\u001b[39m,\n",
       "    \u001b[32m-17\u001b[39m,\n",
       "    \u001b[32m33\u001b[39m,\n",
       "    \u001b[32m15\u001b[39m,\n",
       "    \u001b[32m110\u001b[39m,\n",
       "    \u001b[32m-6\u001b[39m,\n",
       "    \u001b[32m-30\u001b[39m,\n",
       "    \u001b[32m4\u001b[39m,\n",
       "    \u001b[32m58\u001b[39m,\n",
       "    \u001b[32m76\u001b[39m,\n",
       "    \u001b[32m8\u001b[39m,\n",
       "    \u001b[32m90\u001b[39m,\n",
       "    \u001b[32m86\u001b[39m,\n",
       "    \u001b[32m94\u001b[39m\n",
       "  ),\n",
       "  \u001b[33mArray\u001b[39m(\n",
       "    \u001b[32m96\u001b[39m,\n",
       "    \u001b[32m48\u001b[39m,\n",
       "    \u001b[32m58\u001b[39m,\n",
       "..."
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "val keyPair1 = Curve25519.createKeyPair(\"test0\".getBytes())\n",
    "\n",
    "val keyPair2 = Curve25519.createKeyPair(\"test1\".getBytes())\n",
    "\n",
    "val keyPair3 = Curve25519.createKeyPair(\"test2\".getBytes())\n",
    "\n",
    "val listVks = List(keyPair1._2, keyPair2._2, keyPair3._2)\n",
    "\n",
    "val listSks = List(keyPair1._1, keyPair2._1, keyPair3._1)\n",
    "\n",
    "val otherListSks = List(keyPair1._1, keyPair3._1, keyPair2._1)\n",
    "\n"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "aa9100ee",
   "metadata": {},
   "source": [
    "# Contracts\n",
    "\n",
    "Creating some contracts."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "id": "e74300fb",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "\u001b[36mcontract\u001b[39m: \u001b[32mQuivrContractExpr\u001b[39m[\u001b[32mIndexedSignature\u001b[39m] = \u001b[33mAnd\u001b[39m(\n",
       "  left = \u001b[33mHeightLock\u001b[39m(height = \u001b[32m5L\u001b[39m),\n",
       "  right = \u001b[33mAnd\u001b[39m(\n",
       "    left = \u001b[33mSignature\u001b[39m(signObject = \u001b[33mIndexedSignature\u001b[39m(idx = \u001b[32m1\u001b[39m)),\n",
       "    right = \u001b[33mSignature\u001b[39m(signObject = \u001b[33mIndexedSignature\u001b[39m(idx = \u001b[32m2\u001b[39m))\n",
       "  )\n",
       ")\n",
       "\u001b[36motherContract\u001b[39m: \u001b[32mQuivrContractExpr\u001b[39m[\u001b[32mIndexedSignature\u001b[39m] = \u001b[33mAnd\u001b[39m(\n",
       "  left = \u001b[33mSignature\u001b[39m(signObject = \u001b[33mIndexedSignature\u001b[39m(idx = \u001b[32m1\u001b[39m)),\n",
       "  right = \u001b[33mSignature\u001b[39m(signObject = \u001b[33mIndexedSignature\u001b[39m(idx = \u001b[32m3\u001b[39m))\n",
       ")"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "\n",
    "val contract = and(heightLock(5), and(signature(1), signature(2)))\n",
    "\n",
    "val otherContract = and(signature(1), signature(3))\n"
   ]
  },
  {
   "cell_type": "markdown",
   "id": "3e7d60b2",
   "metadata": {},
   "source": [
    "# Full flow\n",
    "\n",
    "We proceed to create a proposition, a proof and a verify them."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "id": "db5e9a02",
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "\u001b[36mpropositionCtx\u001b[39m: \u001b[32mProposerContext\u001b[39m = \u001b[33mProposerContext\u001b[39m(\n",
       "  vks = \u001b[33mList\u001b[39m(\n",
       "    \u001b[33mArray\u001b[39m(\n",
       "      \u001b[32m-12\u001b[39m,\n",
       "      \u001b[32m-15\u001b[39m,\n",
       "      \u001b[32m52\u001b[39m,\n",
       "      \u001b[32m19\u001b[39m,\n",
       "      \u001b[32m-5\u001b[39m,\n",
       "      \u001b[32m127\u001b[39m,\n",
       "      \u001b[32m59\u001b[39m,\n",
       "      \u001b[32m100\u001b[39m,\n",
       "      \u001b[32m-44\u001b[39m,\n",
       "      \u001b[32m-85\u001b[39m,\n",
       "      \u001b[32m8\u001b[39m,\n",
       "      \u001b[32m126\u001b[39m,\n",
       "      \u001b[32m-66\u001b[39m,\n",
       "      \u001b[32m16\u001b[39m,\n",
       "      \u001b[32m122\u001b[39m,\n",
       "      \u001b[32m-81\u001b[39m,\n",
       "      \u001b[32m-86\u001b[39m,\n",
       "      \u001b[32m-96\u001b[39m,\n",
       "      \u001b[32m-116\u001b[39m,\n",
       "      \u001b[32m109\u001b[39m,\n",
       "      \u001b[32m123\u001b[39m,\n",
       "      \u001b[32m-14\u001b[39m,\n",
       "      \u001b[32m-79\u001b[39m,\n",
       "      \u001b[32m123\u001b[39m,\n",
       "      \u001b[32m-65\u001b[39m,\n",
       "      \u001b[32m35\u001b[39m,\n",
       "      \u001b[32m-32\u001b[39m,\n",
       "      \u001b[32m-128\u001b[39m,\n",
       "      \u001b[32m109\u001b[39m,\n",
       "      \u001b[32m-8\u001b[39m,\n",
       "      \u001b[32m107\u001b[39m,\n",
       "      \u001b[32m5\u001b[39m\n",
       "    ),\n",
       "    \u001b[33mArray\u001b[39m(\n",
       "      \u001b[32m70\u001b[39m,\n",
       "      \u001b[32m82\u001b[39m,\n",
       "...\n",
       "\u001b[36mproposition\u001b[39m: \u001b[32mQuivrContractExpr\u001b[39m[\u001b[32mSignatureProposition\u001b[39m] = \u001b[33mAnd\u001b[39m(\n",
       "  left = \u001b[33mHeightLock\u001b[39m(height = \u001b[32m5L\u001b[39m),\n",
       "  right = \u001b[33mAnd\u001b[39m(\n",
       "    left = \u001b[33mSignature\u001b[39m(\n",
       "      signObject = \u001b[33mSignatureProposition\u001b[39m(\n",
       "        idx = \u001b[32m1\u001b[39m,\n",
       "        vk = \u001b[33mArray\u001b[39m(\n",
       "          \u001b[32m-12\u001b[39m,\n",
       "          \u001b[32m-15\u001b[39m,\n",
       "          \u001b[32m52\u001b[39m,\n",
       "          \u001b[32m19\u001b[39m,\n",
       "          \u001b[32m-5\u001b[39m,\n",
       "          \u001b[32m127\u001b[39m,\n",
       "          \u001b[32m59\u001b[39m,\n",
       "          \u001b[32m100\u001b[39m,\n",
       "          \u001b[32m-44\u001b[39m,\n",
       "          \u001b[32m-85\u001b[39m,\n",
       "          \u001b[32m8\u001b[39m,\n",
       "          \u001b[32m126\u001b[39m,\n",
       "          \u001b[32m-66\u001b[39m,\n",
       "          \u001b[32m16\u001b[39m,\n",
       "          \u001b[32m122\u001b[39m,\n",
       "          \u001b[32m-81\u001b[39m,\n",
       "          \u001b[32m-86\u001b[39m,\n",
       "          \u001b[32m-96\u001b[39m,\n",
       "          \u001b[32m-116\u001b[39m,\n",
       "          \u001b[32m109\u001b[39m,\n",
       "          \u001b[32m123\u001b[39m,\n",
       "          \u001b[32m-14\u001b[39m,\n",
       "          \u001b[32m-79\u001b[39m,\n",
       "          \u001b[32m123\u001b[39m,\n",
       "          \u001b[32m-65\u001b[39m,\n",
       "          \u001b[32m35\u001b[39m,\n",
       "          \u001b[32m-32\u001b[39m,\n",
       "          \u001b[32m-128\u001b[39m,\n",
       "          \u001b[32m109\u001b[39m,\n",
       "          \u001b[32m-8\u001b[39m,\n",
       "          \u001b[32m107\u001b[39m,\n",
       "          \u001b[32m5\u001b[39m\n",
       "...\n",
       "\u001b[36mtransaction\u001b[39m: \u001b[32mNativeTransaction\u001b[39m[\u001b[32mBox\u001b[39m.\u001b[32mValue\u001b[39m] = \u001b[33mNativeTransaction\u001b[39m(\n",
       "  inputs = \u001b[33mList\u001b[39m(),\n",
       "  outputs = \u001b[33mList\u001b[39m(),\n",
       "  datum = \u001b[32mNone\u001b[39m\n",
       ")\n",
       "\u001b[36mproverCtx\u001b[39m: \u001b[32mProverContext\u001b[39m = \u001b[33mProverContext\u001b[39m(\n",
       "  vks = \u001b[33mList\u001b[39m(\n",
       "    \u001b[33mArray\u001b[39m(\n",
       "      \u001b[32m-12\u001b[39m,\n",
       "      \u001b[32m-15\u001b[39m,\n",
       "      \u001b[32m52\u001b[39m,\n",
       "      \u001b[32m19\u001b[39m,\n",
       "      \u001b[32m-5\u001b[39m,\n",
       "      \u001b[32m127\u001b[39m,\n",
       "      \u001b[32m59\u001b[39m,\n",
       "      \u001b[32m100\u001b[39m,\n",
       "      \u001b[32m-44\u001b[39m,\n",
       "      \u001b[32m-85\u001b[39m,\n",
       "      \u001b[32m8\u001b[39m,\n",
       "      \u001b[32m126\u001b[39m,\n",
       "      \u001b[32m-66\u001b[39m,\n",
       "      \u001b[32m16\u001b[39m,\n",
       "      \u001b[32m122\u001b[39m,\n",
       "      \u001b[32m-81\u001b[39m,\n",
       "      \u001b[32m-86\u001b[39m,\n",
       "      \u001b[32m-96\u001b[39m,\n",
       "      \u001b[32m-116\u001b[39m,\n",
       "      \u001b[32m109\u001b[39m,\n",
       "      \u001b[32m123\u001b[39m,\n",
       "      \u001b[32m-14\u001b[39m,\n",
       "      \u001b[32m-79\u001b[39m,\n",
       "      \u001b[32m123\u001b[39m,\n",
       "      \u001b[32m-65\u001b[39m,\n",
       "      \u001b[32m35\u001b[39m,\n",
       "      \u001b[32m-32\u001b[39m,\n",
       "      \u001b[32m-128\u001b[39m,\n",
       "      \u001b[32m109\u001b[39m,\n",
       "      \u001b[32m-8\u001b[39m,\n",
       "      \u001b[32m107\u001b[39m,\n",
       "      \u001b[32m5\u001b[39m\n",
       "    ),\n",
       "    \u001b[33mArray\u001b[39m(\n",
       "      \u001b[32m70\u001b[39m,\n",
       "      \u001b[32m82\u001b[39m,\n",
       "...\n",
       "\u001b[36mproof\u001b[39m: \u001b[32mQuivrContractExpr\u001b[39m[\u001b[32mSignatureProof\u001b[39m] = \u001b[33mAnd\u001b[39m(\n",
       "  left = \u001b[33mHeightLock\u001b[39m(height = \u001b[32m5L\u001b[39m),\n",
       "  right = \u001b[33mAnd\u001b[39m(\n",
       "    left = \u001b[33mSignature\u001b[39m(\n",
       "      signObject = \u001b[33mSignatureProof\u001b[39m(\n",
       "        signature = \u001b[33mArray\u001b[39m(\n",
       "          \u001b[32m-29\u001b[39m,\n",
       "          \u001b[32m-47\u001b[39m,\n",
       "          \u001b[32m104\u001b[39m,\n",
       "          \u001b[32m-59\u001b[39m,\n",
       "          \u001b[32m5\u001b[39m,\n",
       "          \u001b[32m87\u001b[39m,\n",
       "          \u001b[32m4\u001b[39m,\n",
       "          \u001b[32m68\u001b[39m,\n",
       "          \u001b[32m-55\u001b[39m,\n",
       "          \u001b[32m-17\u001b[39m,\n",
       "          \u001b[32m-54\u001b[39m,\n",
       "          \u001b[32m-23\u001b[39m,\n",
       "          \u001b[32m-45\u001b[39m,\n",
       "          \u001b[32m119\u001b[39m,\n",
       "          \u001b[32m32\u001b[39m,\n",
       "          \u001b[32m66\u001b[39m,\n",
       "          \u001b[32m42\u001b[39m,\n",
       "          \u001b[32m-96\u001b[39m,\n",
       "          \u001b[32m28\u001b[39m,\n",
       "          \u001b[32m-68\u001b[39m,\n",
       "          \u001b[32m-115\u001b[39m,\n",
       "          \u001b[32m-103\u001b[39m,\n",
       "          \u001b[32m106\u001b[39m,\n",
       "          \u001b[32m8\u001b[39m,\n",
       "          \u001b[32m7\u001b[39m,\n",
       "          \u001b[32m30\u001b[39m,\n",
       "          \u001b[32m76\u001b[39m,\n",
       "          \u001b[32m46\u001b[39m,\n",
       "          \u001b[32m58\u001b[39m,\n",
       "          \u001b[32m-52\u001b[39m,\n",
       "          \u001b[32m28\u001b[39m,\n",
       "          \u001b[32m-53\u001b[39m,\n",
       "          \u001b[32m-1\u001b[39m,\n",
       "...\n",
       "\u001b[36mverifierCtx\u001b[39m: \u001b[32mVerifierContext\u001b[39m = \u001b[33mVerifierContext\u001b[39m(\n",
       "  vks = \u001b[33mList\u001b[39m(\n",
       "    \u001b[33mArray\u001b[39m(\n",
       "      \u001b[32m-12\u001b[39m,\n",
       "      \u001b[32m-15\u001b[39m,\n",
       "      \u001b[32m52\u001b[39m,\n",
       "      \u001b[32m19\u001b[39m,\n",
       "      \u001b[32m-5\u001b[39m,\n",
       "      \u001b[32m127\u001b[39m,\n",
       "      \u001b[32m59\u001b[39m,\n",
       "      \u001b[32m100\u001b[39m,\n",
       "      \u001b[32m-44\u001b[39m,\n",
       "      \u001b[32m-85\u001b[39m,\n",
       "      \u001b[32m8\u001b[39m,\n",
       "      \u001b[32m126\u001b[39m,\n",
       "      \u001b[32m-66\u001b[39m,\n",
       "      \u001b[32m16\u001b[39m,\n",
       "      \u001b[32m122\u001b[39m,\n",
       "      \u001b[32m-81\u001b[39m,\n",
       "      \u001b[32m-86\u001b[39m,\n",
       "      \u001b[32m-96\u001b[39m,\n",
       "      \u001b[32m-116\u001b[39m,\n",
       "      \u001b[32m109\u001b[39m,\n",
       "      \u001b[32m123\u001b[39m,\n",
       "      \u001b[32m-14\u001b[39m,\n",
       "      \u001b[32m-79\u001b[39m,\n",
       "      \u001b[32m123\u001b[39m,\n",
       "      \u001b[32m-65\u001b[39m,\n",
       "      \u001b[32m35\u001b[39m,\n",
       "      \u001b[32m-32\u001b[39m,\n",
       "      \u001b[32m-128\u001b[39m,\n",
       "      \u001b[32m109\u001b[39m,\n",
       "      \u001b[32m-8\u001b[39m,\n",
       "      \u001b[32m107\u001b[39m,\n",
       "      \u001b[32m5\u001b[39m\n",
       "    ),\n",
       "    \u001b[33mArray\u001b[39m(\n",
       "      \u001b[32m70\u001b[39m,\n",
       "      \u001b[32m82\u001b[39m,\n",
       "...\n",
       "\u001b[36mres9_6\u001b[39m: \u001b[32mBoolean\u001b[39m = \u001b[32mtrue\u001b[39m"
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "val propositionCtx = ProposerContext(listVks)\n",
    "\n",
    "val proposition = Proposer.eval(contract)(propositionCtx)\n",
    "\n",
    "val transaction = NativeTransaction[Box.Value](\n",
    "  List(),\n",
    "  List(),\n",
    "  None\n",
    ")\n",
    "\n",
    "val proverCtx = ProverContext(\n",
    "  listVks,\n",
    "  listSks,\n",
    "  transaction\n",
    ")\n",
    "\n",
    "val proof = Prover.prove(contract)(proverCtx)\n",
    "\n",
    "implicit val verifierCtx =\n",
    "  VerifierContext(listVks, 5L, transaction)\n",
    "\n",
    "Verifier.eval(Verifier.verify(proposition, proof)(verifierCtx))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "7335307c",
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Scala",
   "language": "scala",
   "name": "scala"
  },
  "language_info": {
   "codemirror_mode": "text/x-scala",
   "file_extension": ".sc",
   "mimetype": "text/x-scala",
   "name": "scala",
   "nbconvert_exporter": "script",
   "version": "2.13.8"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}