diff --git a/dev/bench/data.js b/dev/bench/data.js
deleted file mode 100644
index 140996f8..00000000
--- a/dev/bench/data.js
+++ /dev/null
@@ -1,188 +0,0 @@
-window.BENCHMARK_DATA = {
-  "lastUpdate": 1704943579132,
-  "repoUrl": "https://github.com/zcash/orchard",
-  "entries": {
-    "Orchard Benchmarks": [
-      {
-        "commit": {
-          "author": {
-            "email": "jack@electriccoin.co",
-            "name": "str4d",
-            "username": "str4d"
-          },
-          "committer": {
-            "email": "noreply@github.com",
-            "name": "GitHub",
-            "username": "web-flow"
-          },
-          "distinct": true,
-          "id": "d5fa3e105089337d05f1b4e43535c62fb573b708",
-          "message": "Merge pull request #413 from zcash/zcash_spec-0.1\n\nMigrate to `zcash_spec 0.1`",
-          "timestamp": "2024-01-11T03:11:36Z",
-          "tree_id": "cadb4a3e03a221d38888f66a923b6af249d443f8",
-          "url": "https://github.com/zcash/orchard/commit/d5fa3e105089337d05f1b4e43535c62fb573b708"
-        },
-        "date": 1704943577402,
-        "tool": "cargo",
-        "benches": [
-          {
-            "name": "proving/bundle/1",
-            "value": 2902358602,
-            "range": "± 35890404",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "proving/bundle/2",
-            "value": 2891976176,
-            "range": "± 8924090",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "proving/bundle/3",
-            "value": 4127953396,
-            "range": "± 8477399",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "proving/bundle/4",
-            "value": 5374611073,
-            "range": "± 37504681",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "verifying/bundle/1",
-            "value": 25124293,
-            "range": "± 591931",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "verifying/bundle/2",
-            "value": 25293841,
-            "range": "± 631791",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "verifying/bundle/3",
-            "value": 28165889,
-            "range": "± 678468",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "verifying/bundle/4",
-            "value": 31822172,
-            "range": "± 465633",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "note-decryption/valid",
-            "value": 1524739,
-            "range": "± 33085",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "note-decryption/invalid",
-            "value": 127496,
-            "range": "± 1024",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "note-decryption/compact-valid",
-            "value": 1521792,
-            "range": "± 6619",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "compact-note-decryption/invalid",
-            "value": 1357827088,
-            "range": "± 4612477",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/valid/10",
-            "value": 16100593,
-            "range": "± 73440",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/invalid/10",
-            "value": 2170660,
-            "range": "± 8197",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/compact-valid/10",
-            "value": 16083968,
-            "range": "± 94221",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/compact-invalid/10",
-            "value": 2136541,
-            "range": "± 7065",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/valid/50",
-            "value": 80438246,
-            "range": "± 219110",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/invalid/50",
-            "value": 10790022,
-            "range": "± 31270",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/compact-valid/50",
-            "value": 80348661,
-            "range": "± 351165",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/compact-invalid/50",
-            "value": 10628186,
-            "range": "± 156519",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/valid/100",
-            "value": 160918499,
-            "range": "± 347253",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/invalid/100",
-            "value": 21568109,
-            "range": "± 58786",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/compact-valid/100",
-            "value": 160716801,
-            "range": "± 3049581",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "batch-note-decryption/compact-invalid/100",
-            "value": 21241470,
-            "range": "± 69666",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "derive_fvk",
-            "value": 465399,
-            "range": "± 4062",
-            "unit": "ns/iter"
-          },
-          {
-            "name": "default_address",
-            "value": 500204,
-            "range": "± 1320",
-            "unit": "ns/iter"
-          }
-        ]
-      }
-    ]
-  }
-}
\ No newline at end of file
diff --git a/dev/bench/index.html b/dev/bench/index.html
deleted file mode 100644
index 6c887805..00000000
--- a/dev/bench/index.html
+++ /dev/null
@@ -1,281 +0,0 @@
-<!DOCTYPE html>
-<html>
-  <head>
-    <meta charset="utf-8" />
-    <meta name="viewport" content="width=device-width, minimum-scale=1.0, initial-scale=1, user-scalable=yes" />
-    <style>
-      html {
-        font-family: BlinkMacSystemFont,-apple-system,"Segoe UI",Roboto,Oxygen,Ubuntu,Cantarell,"Fira Sans","Droid Sans","Helvetica Neue",Helvetica,Arial,sans-serif;
-        -webkit-font-smoothing: antialiased;
-        background-color: #fff;
-        font-size: 16px;
-      }
-      body {
-        color: #4a4a4a;
-        margin: 8px;
-        font-size: 1em;
-        font-weight: 400;
-      }
-      header {
-        margin-bottom: 8px;
-        display: flex;
-        flex-direction: column;
-      }
-      main {
-        width: 100%;
-        display: flex;
-        flex-direction: column;
-      }
-      a {
-        color: #3273dc;
-        cursor: pointer;
-        text-decoration: none;
-      }
-      a:hover {
-        color: #000;
-      }
-      button {
-        color: #fff;
-        background-color: #3298dc;
-        border-color: transparent;
-        cursor: pointer;
-        text-align: center;
-      }
-      button:hover {
-        background-color: #2793da;
-        flex: none;
-      }
-      .spacer {
-        flex: auto;
-      }
-      .small {
-        font-size: 0.75rem;
-      }
-      footer {
-        margin-top: 16px;
-        display: flex;
-        align-items: center;
-      }
-      .header-label {
-        margin-right: 4px;
-      }
-      .benchmark-set {
-        margin: 8px 0;
-        width: 100%;
-        display: flex;
-        flex-direction: column;
-      }
-      .benchmark-title {
-        font-size: 3rem;
-        font-weight: 600;
-        word-break: break-word;
-        text-align: center;
-      }
-      .benchmark-graphs {
-        display: flex;
-        flex-direction: row;
-        justify-content: space-around;
-        align-items: center;
-        flex-wrap: wrap;
-        width: 100%;
-      }
-      .benchmark-chart {
-        max-width: 1000px;
-      }
-    </style>
-    <title>Benchmarks</title>
-  </head>
-
-  <body>
-    <header id="header">
-      <div class="header-item">
-        <strong class="header-label">Last Update:</strong>
-        <span id="last-update"></span>
-      </div>
-      <div class="header-item">
-        <strong class="header-label">Repository:</strong>
-        <a id="repository-link" rel="noopener"></a>
-      </div>
-    </header>
-    <main id="main"></main>
-    <footer>
-      <button id="dl-button">Download data as JSON</button>
-      <div class="spacer"></div>
-      <div class="small">Powered by <a rel="noopener" href="https://github.com/marketplace/actions/continuous-benchmark">github-action-benchmark</a></div>
-    </footer>
-
-    <script src="https://cdn.jsdelivr.net/npm/chart.js@2.9.2/dist/Chart.min.js"></script>
-    <script src="data.js"></script>
-    <script id="main-script">
-      'use strict';
-      (function() {
-        // Colors from https://github.com/github/linguist/blob/master/lib/linguist/languages.yml
-        const toolColors = {
-          cargo: '#dea584',
-          go: '#00add8',
-          benchmarkjs: '#f1e05a',
-          benchmarkluau: '#000080',
-          pytest: '#3572a5',
-          googlecpp: '#f34b7d',
-          catch2: '#f34b7d',
-          julia: '#a270ba',
-          jmh: '#b07219',
-          benchmarkdotnet: '#178600',
-          customBiggerIsBetter: '#38ff38',
-          customSmallerIsBetter: '#ff3838',
-          _: '#333333'
-        };
-
-        function init() {
-          function collectBenchesPerTestCase(entries) {
-            const map = new Map();
-            for (const entry of entries) {
-              const {commit, date, tool, benches} = entry;
-              for (const bench of benches) {
-                const result = { commit, date, tool, bench };
-                const arr = map.get(bench.name);
-                if (arr === undefined) {
-                  map.set(bench.name, [result]);
-                } else {
-                  arr.push(result);
-                }
-              }
-            }
-            return map;
-          }
-
-          const data = window.BENCHMARK_DATA;
-
-          // Render header
-          document.getElementById('last-update').textContent = new Date(data.lastUpdate).toString();
-          const repoLink = document.getElementById('repository-link');
-          repoLink.href = data.repoUrl;
-          repoLink.textContent = data.repoUrl;
-
-          // Render footer
-          document.getElementById('dl-button').onclick = () => {
-            const dataUrl = 'data:,' + JSON.stringify(data, null, 2);
-            const a = document.createElement('a');
-            a.href = dataUrl;
-            a.download = 'benchmark_data.json';
-            a.click();
-          };
-
-          // Prepare data points for charts
-          return Object.keys(data.entries).map(name => ({
-            name,
-            dataSet: collectBenchesPerTestCase(data.entries[name]),
-          }));
-        }
-
-        function renderAllChars(dataSets) {
-
-          function renderGraph(parent, name, dataset) {
-            const canvas = document.createElement('canvas');
-            canvas.className = 'benchmark-chart';
-            parent.appendChild(canvas);
-
-            const color = toolColors[dataset.length > 0 ? dataset[0].tool : '_'];
-            const data = {
-              labels: dataset.map(d => d.commit.id.slice(0, 7)),
-              datasets: [
-                {
-                  label: name,
-                  data: dataset.map(d => d.bench.value),
-                  borderColor: color,
-                  backgroundColor: color + '60', // Add alpha for #rrggbbaa
-                }
-              ],
-            };
-            const options = {
-              scales: {
-                xAxes: [
-                  {
-                    scaleLabel: {
-                      display: true,
-                      labelString: 'commit',
-                    },
-                  }
-                ],
-                yAxes: [
-                  {
-                    scaleLabel: {
-                      display: true,
-                      labelString: dataset.length > 0 ? dataset[0].bench.unit : '',
-                    },
-                    ticks: {
-                      beginAtZero: true,
-                    }
-                  }
-                ],
-              },
-              tooltips: {
-                callbacks: {
-                  afterTitle: items => {
-                    const {index} = items[0];
-                    const data = dataset[index];
-                    return '\n' + data.commit.message + '\n\n' + data.commit.timestamp + ' committed by @' + data.commit.committer.username + '\n';
-                  },
-                  label: item => {
-                    let label = item.value;
-                    const { range, unit } = dataset[item.index].bench;
-                    label += ' ' + unit;
-                    if (range) {
-                      label += ' (' + range + ')';
-                    }
-                    return label;
-                  },
-                  afterLabel: item => {
-                    const { extra } = dataset[item.index].bench;
-                    return extra ? '\n' + extra : '';
-                  }
-                }
-              },
-              onClick: (_mouseEvent, activeElems) => {
-                if (activeElems.length === 0) {
-                  return;
-                }
-                // XXX: Undocumented. How can we know the index?
-                const index = activeElems[0]._index;
-                const url = dataset[index].commit.url;
-                window.open(url, '_blank');
-              },
-            };
-
-            new Chart(canvas, {
-              type: 'line',
-              data,
-              options,
-            });
-          }
-
-          function renderBenchSet(name, benchSet, main) {
-            const setElem = document.createElement('div');
-            setElem.className = 'benchmark-set';
-            main.appendChild(setElem);
-
-            const nameElem = document.createElement('h1');
-            nameElem.className = 'benchmark-title';
-            nameElem.textContent = name;
-            setElem.appendChild(nameElem);
-
-            const graphsElem = document.createElement('div');
-            graphsElem.className = 'benchmark-graphs';
-            setElem.appendChild(graphsElem);
-
-            for (const [benchName, benches] of benchSet.entries()) {
-              renderGraph(graphsElem, benchName, benches)
-            }
-          }
-
-          const main = document.getElementById('main');
-          for (const {name, dataSet} of dataSets) {
-            renderBenchSet(name, dataSet, main);
-          }
-        }
-
-        renderAllChars(init()); // Start
-      })();
-    </script>
-  </body>
-</html>