Skip to content

Commit

Permalink
More progress towards Alpha cleanup (#849)
Browse files Browse the repository at this point in the history
* Get rid of unecessary parsing tests

* Finish up the migration of gadgets specific to Lurk data construction and deconstruction
  • Loading branch information
arthurpaulino authored Nov 14, 2023
1 parent e5d7338 commit b65ded0
Show file tree
Hide file tree
Showing 8 changed files with 698 additions and 700 deletions.
4 changes: 1 addition & 3 deletions src/coprocessor/circom.rs
Original file line number Diff line number Diff line change
Expand Up @@ -118,9 +118,7 @@ Then run `lurk coprocessor --name {name} <{}_FOLDER>` to instantiate a new gadge
SynthesisError::Unsatisfiable
})?;
let output = circom_scotia::synthesize(cs, self.config.r1cs.clone(), Some(witness))?;
let num_tag = g
.get_tag(&crate::tag::ExprTag::Num)
.expect("Num tag should have been allocated");
let num_tag = g.get_tag(&crate::tag::ExprTag::Num)?;
let res = AllocatedPtr::from_parts(num_tag.clone(), output);

Ok(res)
Expand Down
Loading

1 comment on commit b65ded0

@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 GeForce RTX 4070
AMD Ryzen 9 3950X 16-Core Processor
125.711 GB RAM

Benchmark Results

LEM Fibonacci Prove - rc = 100

fib-ref=e5d7338eb8ec9468a32eef1d1a1e08c6b3f3cf8b fib-ref=b65ded07d57e2df78c83a39e5ee9dabdd74fad2b
num-100 3.96 s (✅ 1.00x) 3.97 s (✅ 1.00x slower)
num-200 8.78 s (✅ 1.00x) 8.72 s (✅ 1.01x faster)

LEM Fibonacci Prove - rc = 600

fib-ref=e5d7338eb8ec9468a32eef1d1a1e08c6b3f3cf8b fib-ref=b65ded07d57e2df78c83a39e5ee9dabdd74fad2b
num-100 3.05 s (✅ 1.00x) 3.05 s (✅ 1.00x slower)
num-200 6.99 s (✅ 1.00x) 7.01 s (✅ 1.00x slower)

Made with criterion-table

Please sign in to comment.