This commit is contained in:
ebfull 2023-03-21 23:49:23 +00:00
parent 057de4874f
commit 6dee82a949
4 changed files with 7 additions and 737 deletions

View File

@ -1,452 +0,0 @@
window.BENCHMARK_DATA = {
"lastUpdate": 1679435203237,
"repoUrl": "https://github.com/zcash/halo2",
"entries": {
"halo2 Benchmark": [
{
"commit": {
"author": {
"email": "ewillbefull@gmail.com",
"name": "ebfull",
"username": "ebfull"
},
"committer": {
"email": "noreply@github.com",
"name": "GitHub",
"username": "web-flow"
},
"distinct": true,
"id": "cae65c4b60b54ead3ed285fb81adfee5f1b089c2",
"message": "Merge pull request #741 from zcash/738-tracing-floor-planner\n\nCreate a `TracingFloorPlanner` for debugging purposes",
"timestamp": "2023-03-21T14:48:15-06:00",
"tree_id": "fb5ba4fafd0a1840b15f48146945f7bcadf44a25",
"url": "https://github.com/zcash/halo2/commit/cae65c4b60b54ead3ed285fb81adfee5f1b089c2"
},
"date": 1679435195437,
"tool": "cargo",
"benches": [
{
"name": "WIDTH = 3, RATE = 2-prover",
"value": 90722975,
"range": "± 6146315",
"unit": "ns/iter"
},
{
"name": "WIDTH = 3, RATE = 2-verifier",
"value": 4565839,
"range": "± 431297",
"unit": "ns/iter"
},
{
"name": "WIDTH = 9, RATE = 8-prover",
"value": 169267657,
"range": "± 4778869",
"unit": "ns/iter"
},
{
"name": "WIDTH = 9, RATE = 8-verifier",
"value": 5487430,
"range": "± 469320",
"unit": "ns/iter"
},
{
"name": "WIDTH = 12, RATE = 11-prover",
"value": 227331119,
"range": "± 7012224",
"unit": "ns/iter"
},
{
"name": "WIDTH = 12, RATE = 11-verifier",
"value": 6503977,
"range": "± 597041",
"unit": "ns/iter"
},
{
"name": "Poseidon/2-to-1",
"value": 38727,
"range": "± 23",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/hash-to-point/510",
"value": 142102,
"range": "± 221",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/hash/510",
"value": 154456,
"range": "± 230",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/commit/510",
"value": 250574,
"range": "± 250",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/short-commit/510",
"value": 250508,
"range": "± 226",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/hash-to-point/520",
"value": 144938,
"range": "± 723",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/hash/520",
"value": 157375,
"range": "± 227",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/commit/520",
"value": 253495,
"range": "± 603",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/short-commit/520",
"value": 253373,
"range": "± 279",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/hash-to-point/1086",
"value": 303544,
"range": "± 425",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/hash/1086",
"value": 316016,
"range": "± 437",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/commit/1086",
"value": 412272,
"range": "± 536",
"unit": "ns/iter"
},
{
"name": "Sinsemilla/short-commit/1086",
"value": 412012,
"range": "± 450",
"unit": "ns/iter"
},
{
"name": "double-and-add",
"value": 3083905,
"range": "± 17640",
"unit": "ns/iter"
},
{
"name": "dev-lookup/14",
"value": 5817894,
"range": "± 1488",
"unit": "ns/iter"
},
{
"name": "dev-lookup/15",
"value": 10045379,
"range": "± 25411",
"unit": "ns/iter"
},
{
"name": "dev-lookup/16",
"value": 22270703,
"range": "± 238709",
"unit": "ns/iter"
},
{
"name": "dev-lookup/17",
"value": 41502264,
"range": "± 479762",
"unit": "ns/iter"
},
{
"name": "dev-lookup/18",
"value": 81472376,
"range": "± 542895",
"unit": "ns/iter"
},
{
"name": "fft/k/3",
"value": 7223,
"range": "± 121",
"unit": "ns/iter"
},
{
"name": "fft/k/4",
"value": 8639,
"range": "± 2110",
"unit": "ns/iter"
},
{
"name": "fft/k/5",
"value": 14883,
"range": "± 3547",
"unit": "ns/iter"
},
{
"name": "fft/k/6",
"value": 18792,
"range": "± 441",
"unit": "ns/iter"
},
{
"name": "fft/k/7",
"value": 25754,
"range": "± 2886",
"unit": "ns/iter"
},
{
"name": "fft/k/8",
"value": 42231,
"range": "± 5345",
"unit": "ns/iter"
},
{
"name": "fft/k/9",
"value": 97267,
"range": "± 14057",
"unit": "ns/iter"
},
{
"name": "fft/k/10",
"value": 201877,
"range": "± 35417",
"unit": "ns/iter"
},
{
"name": "fft/k/11",
"value": 438236,
"range": "± 64444",
"unit": "ns/iter"
},
{
"name": "fft/k/12",
"value": 852316,
"range": "± 105725",
"unit": "ns/iter"
},
{
"name": "fft/k/13",
"value": 1616970,
"range": "± 204727",
"unit": "ns/iter"
},
{
"name": "fft/k/14",
"value": 3314644,
"range": "± 354267",
"unit": "ns/iter"
},
{
"name": "fft/k/15",
"value": 6986590,
"range": "± 248537",
"unit": "ns/iter"
},
{
"name": "fft/k/16",
"value": 15222976,
"range": "± 676094",
"unit": "ns/iter"
},
{
"name": "fft/k/17",
"value": 33442476,
"range": "± 609491",
"unit": "ns/iter"
},
{
"name": "fft/k/18",
"value": 75789165,
"range": "± 881063",
"unit": "ns/iter"
},
{
"name": "hash-to-curve/Pallas",
"value": 28582,
"range": "± 17",
"unit": "ns/iter"
},
{
"name": "hash-to-curve/Vesta",
"value": 28622,
"range": "± 58",
"unit": "ns/iter"
},
{
"name": "plonk-keygen/8",
"value": 152385242,
"range": "± 10932156",
"unit": "ns/iter"
},
{
"name": "plonk-keygen/9",
"value": 325705033,
"range": "± 63870212",
"unit": "ns/iter"
},
{
"name": "plonk-keygen/10",
"value": 710228211,
"range": "± 12780391",
"unit": "ns/iter"
},
{
"name": "plonk-keygen/11",
"value": 1507434781,
"range": "± 4950249",
"unit": "ns/iter"
},
{
"name": "plonk-keygen/12",
"value": 3224859275,
"range": "± 9852960",
"unit": "ns/iter"
},
{
"name": "plonk-keygen/13",
"value": 6904439418,
"range": "± 17169707",
"unit": "ns/iter"
},
{
"name": "plonk-keygen/14",
"value": 14734684269,
"range": "± 40841003",
"unit": "ns/iter"
},
{
"name": "plonk-keygen/15",
"value": 31272477357,
"range": "± 55142789",
"unit": "ns/iter"
},
{
"name": "plonk-keygen/16",
"value": 66103345254,
"range": "± 50650931",
"unit": "ns/iter"
},
{
"name": "plonk-prover/8",
"value": 100981802,
"range": "± 4354761",
"unit": "ns/iter"
},
{
"name": "plonk-prover/9",
"value": 177518179,
"range": "± 5612069",
"unit": "ns/iter"
},
{
"name": "plonk-prover/10",
"value": 311921961,
"range": "± 4311348",
"unit": "ns/iter"
},
{
"name": "plonk-prover/11",
"value": 555480750,
"range": "± 13453469",
"unit": "ns/iter"
},
{
"name": "plonk-prover/12",
"value": 1010198060,
"range": "± 16048770",
"unit": "ns/iter"
},
{
"name": "plonk-prover/13",
"value": 1876489808,
"range": "± 11817391",
"unit": "ns/iter"
},
{
"name": "plonk-prover/14",
"value": 3567600839,
"range": "± 16762341",
"unit": "ns/iter"
},
{
"name": "plonk-prover/15",
"value": 6908085325,
"range": "± 17132005",
"unit": "ns/iter"
},
{
"name": "plonk-prover/16",
"value": 13262263794,
"range": "± 107750973",
"unit": "ns/iter"
},
{
"name": "plonk-verifier/8",
"value": 5060826,
"range": "± 409334",
"unit": "ns/iter"
},
{
"name": "plonk-verifier/9",
"value": 7787460,
"range": "± 586765",
"unit": "ns/iter"
},
{
"name": "plonk-verifier/10",
"value": 12661714,
"range": "± 903659",
"unit": "ns/iter"
},
{
"name": "plonk-verifier/11",
"value": 21584946,
"range": "± 1484832",
"unit": "ns/iter"
},
{
"name": "plonk-verifier/12",
"value": 36816563,
"range": "± 1974379",
"unit": "ns/iter"
},
{
"name": "plonk-verifier/13",
"value": 66048203,
"range": "± 4339258",
"unit": "ns/iter"
},
{
"name": "plonk-verifier/14",
"value": 117971780,
"range": "± 4499993",
"unit": "ns/iter"
},
{
"name": "plonk-verifier/15",
"value": 220044887,
"range": "± 12895042",
"unit": "ns/iter"
},
{
"name": "plonk-verifier/16",
"value": 411753884,
"range": "± 6809579",
"unit": "ns/iter"
}
]
}
]
}
}

View File

@ -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>

File diff suppressed because one or more lines are too long

View File

@ -105,6 +105,7 @@
<a href="#90" id="90">90</a>
<a href="#91" id="91">91</a>
<a href="#92" id="92">92</a>
<a href="#93" id="93">93</a>
</pre><pre class="rust"><code><span class="kw">use </span>std::error;
<span class="kw">use </span>std::fmt;
<span class="kw">use </span>std::io;
@ -113,7 +114,8 @@
<span class="doccomment">/// This is an error that could occur during proving or circuit synthesis.
</span><span class="comment">// TODO: these errors need to be cleaned up
</span><span class="attr">#[derive(Debug)]
</span><span class="attr">#[non_exhaustive]
#[derive(Debug)]
</span><span class="kw">pub enum </span>Error {
<span class="doccomment">/// This is an error that can occur during synthesis of the circuit, for
/// example, when the witness is not present.