Skip to content

Commit

Permalink
add Linux-nvidia_rtx_a5000 (cargo) benchmark result for 0082c8830c91c…
Browse files Browse the repository at this point in the history
…c342ed7fb40e214b8f48c69596e
  • Loading branch information
github-action-benchmark committed Dec 1, 2023
1 parent 14bf5b6 commit b79e51e
Showing 1 changed file with 79 additions and 1 deletion.
80 changes: 79 additions & 1 deletion dev/bench/data.js
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
window.BENCHMARK_DATA = {
"lastUpdate": 1701470826018,
"lastUpdate": 1701471357005,
"repoUrl": "https://github.com/risc0/risc0",
"entries": {
"macOS-cpu": [
Expand Down Expand Up @@ -27772,6 +27772,84 @@ window.BENCHMARK_DATA = {
"unit": "ns/iter"
}
]
},
{
"commit": {
"author": {
"email": "[email protected]",
"name": "Victor Graf",
"username": "nategraf"
},
"committer": {
"email": "[email protected]",
"name": "GitHub",
"username": "web-flow"
},
"distinct": true,
"id": "0082c8830c91cc342ed7fb40e214b8f48c69596e",
"message": "Add the `resolve` recursion program (#1179)\n\nThis PR adds the `resolve` recursion program. With this program it\r\nbecomes possible to produce succinct proofs for zkVM executions that\r\nutilize proof composition through the `env::verify` API for logically\r\nverifying RISC Zero receipts within the RISC Zero zkVM.\r\n\r\nAs part of this PR, these is additional plumbing of `ReceiptMetadata`\r\nstructs such that the all required information is available for the\r\n`resolve` program. In particular, the `seal` of a `SegmentReceipt`\r\nincludes the top level fields of the `ReceiptMetadata`, but does not\r\ninclude the full `Output`. In order to run `resolve` the head of the\r\nassumptions list must be available. So this PR adds a an explicit\r\n`metadata` field to `SegmentReceipt` and ensures metadata is preserved\r\nwhen passing through `lift` and `join` operations. The `pub(crate)\r\nMerge` trait is added to `ReceiptMetadata` to help facilitate this and\r\nalso check for consistency through the steps of recursion. (This\r\nactually identified a consistency issue with how the PC was being\r\nhandled in `risc0-zkvm` and in the recursion circuit.)\r\n\r\nResolves: https://github.com/risc0/risc0/issues/991\r\n\r\n---------\r\n\r\nCo-authored-by: Frank Laub <[email protected]>",
"timestamp": "2023-12-01T22:40:26Z",
"tree_id": "738b4fe26beb6ab6a37ce2b1cde41e89ee0e2433",
"url": "https://github.com/risc0/risc0/commit/0082c8830c91cc342ed7fb40e214b8f48c69596e"
},
"date": 1701471354222,
"tool": "cargo",
"benches": [
{
"name": "fib/100/execute",
"value": 39456114,
"range": "± 174301",
"unit": "ns/iter"
},
{
"name": "fib/1000/execute",
"value": 40024688,
"range": "± 87170",
"unit": "ns/iter"
},
{
"name": "fib/10000/execute",
"value": 45958985,
"range": "± 192183",
"unit": "ns/iter"
},
{
"name": "fib/100/prove",
"value": 997355248,
"range": "± 7206469",
"unit": "ns/iter"
},
{
"name": "fib/1000/prove",
"value": 1004194015,
"range": "± 3782009",
"unit": "ns/iter"
},
{
"name": "fib/10000/prove",
"value": 2451239645,
"range": "± 11795891",
"unit": "ns/iter"
},
{
"name": "fib/100/total",
"value": 1038984239,
"range": "± 3869021",
"unit": "ns/iter"
},
{
"name": "fib/1000/total",
"value": 1057972481,
"range": "± 7501063",
"unit": "ns/iter"
},
{
"name": "fib/10000/total",
"value": 2517471605,
"range": "± 8557793",
"unit": "ns/iter"
}
]
}
],
"Linux-cpu": [
Expand Down

0 comments on commit b79e51e

Please sign in to comment.