Skip to content

Commit

Permalink
LEM circuit refactor (#1184)
Browse files Browse the repository at this point in the history
* Better LEM synthesizer

* Suggestions and comments

* Suggestions and simplifications

* into_iter -> iter

* Brought back output hints

* Removed weird test
  • Loading branch information
gabriel-barrett authored Mar 2, 2024
1 parent eaf996c commit de92cfb
Show file tree
Hide file tree
Showing 3 changed files with 115 additions and 151 deletions.
Loading

1 comment on commit de92cfb

@github-actions
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Benchmarks

Table of Contents

Overview

This benchmark report shows the Fibonacci GPU benchmark.
NVIDIA L4
Intel(R) Xeon(R) CPU @ 2.20GHz
32 vCPUs
125 GB RAM
Workflow run: https://github.com/lurk-lab/lurk-rs/actions/runs/8119934170

Benchmark Results

LEM Fibonacci Prove - rc = 100

ref=eaf996c69d0c47c6f316b9359ff144ddcaf17f47 ref=de92cfbcc0b405978b94c6a36df644b02b457215
num-100 1.46 s (✅ 1.00x) 1.45 s (✅ 1.00x faster)
num-200 2.77 s (✅ 1.00x) 2.78 s (✅ 1.00x slower)

LEM Fibonacci Prove - rc = 600

ref=eaf996c69d0c47c6f316b9359ff144ddcaf17f47 ref=de92cfbcc0b405978b94c6a36df644b02b457215
num-100 1.83 s (✅ 1.00x) 1.83 s (✅ 1.00x faster)
num-200 3.02 s (✅ 1.00x) 3.02 s (✅ 1.00x slower)

Made with criterion-table

Please sign in to comment.