huitseeker

[2023-11-07T19:33:08Z INFO  gbench] field: Bls
[2023-11-07T19:33:08Z INFO  gbench] KiB: 4194304
[2023-11-07T19:33:08Z INFO  gbench] leaves: 134217728
[2023-11-07T19:33:08Z INFO  gbench] max column batch size: 400000
[2023-11-07T19:33:08Z INFO  gbench] max tree batch size: 700000
[2023-11-07T19:33:08Z INFO  gbench] GPU[Device { vendor: Nvidia, name: "NVIDIA GeForce RTX 4070", memory: 12589858816, compute_units: 46, compute_capability: Some((8, 9)), pci_id: PciId(2560), uuid: Some(e25db60d-cdea-cf61-36ff-badf9eafbd47), cuda: Some
(Device { vendor: Nvidia, name: "NVIDIA GeForce RTX 4070", memory: 12589858816, compute_units: 46, compute_capability: (8, 9), pci_id: PciId(2560), uuid: Some(e25db60d-cdea-cf61-36ff-badf9eafbd47), context: UnownedContext { inner: 0x55bb60ac2360 } }), o
pencl: None }] --> Run 0
[2023-11-07T19:33:08Z INFO  gbench] GPU[Device { vendor: Nvidia, name: "NVIDIA GeForce RTX 4070", memory: 12589858816, compute_units: 46, compute_capability: Some((8, 9)), pci_id: PciId(2560), uuid: Some(e25db60

huitseeker

{"reason":"benchmark-complete","id":"LEM Fibonacci Prove - rc = 100/fib-ref=3c62609c0f607b7ca04bfe61288cd7d561ae436c/num-100","report_directory":"/Users/huitseeker/tmp/lurk-rs/target/criterion/reports/LEM Fibonacci Prove - rc = 100/fib-ref=3c62609c0f607b7ca04bfe61288cd7d561ae436c/num-100","iteration_count":[2,2,2,2,2,2,2,2,2,2],"measured_values":[23377647500.0,23597979417.0,24566435667.0,23879926582.0,23873917207.0,23852980876.0,24166680125.0,24512320292.0,24321415084.0,24082510500.0],"unit":"ns","throughput":[{"per_iteration":1700,"unit":"elements"}],"typical":{"estimate":12011590662.5,"lower_bound":11898475218.8,"upper_bound":12123645796.93125,"unit":"ns"},"mean":{"estimate":12011590662.5,"lower_bound":11898475218.8,"upper_bound":12123645796.93125,"unit":"ns"},"median":{"estimate":11990609270.5,"lower_bound":11867974156.0,"upper_bound":12169750104.25,"unit":"ns"},"median_abs_dev":{"estimate":194835181.31353408,"lower_bound":12214800.555793941,"upper_bound":342923489.89794105,"unit":"ns"},"slope":null,"chang

huitseeker

{"reason":"benchmark-complete","id":"LEM Fibonacci Prove - rc = 100/fib-branch=master/num-100","report_directory":"/home/huitseeker/tmp/lurk-rs/target/criterion/reports/LEM Fibonacci Prove - rc = 100/fib-branch=master/num-100","iteration_count":[1,1,1,1,1,1,1,1,1,1],"measured_values":[16467186247.0,16769469501.0,16496180255.0,16337028423.0,16738388210.0,16541711091.0,16409974497.0,16897849833.0,16892046968.0,16382590020.0],"unit":"ns","throughput":[{"per_iteration":1700,"unit":"elements"}],"typical":{"estimate":16593242504.5,"lower_bound":16474090666.8,"upper_bound":16720516508.82,"unit":"ns"},"mean":{"estimate":16593242504.5,"lower_bound":16474090666.8,"upper_bound":16720516508.82,"unit":"ns"},"median":{"estimate":16518945673.0,"lower_bound":16409974497.0,"upper_bound":16815217589.0,"unit":"ns"},"median_abs_dev":{"estimate":235935698.80520403,"lower_bound":42411069.522053,"upper_bound":359173983.1795871,"unit":"ns"},"slope":null,"change":null}
{"reason":"benchmark-complete","id":"LEM Fibonacci Prove - rc = 1

huitseeker

   Compiling neptune v12.0.0 (/home/huitseeker/tmp/neptune)
   Compiling gbench v0.5.4 (/home/huitseeker/tmp/neptune/gbench)
    Finished dev [unoptimized + debuginfo] target(s) in 45.23s
     Running `/home/huitseeker/tmp/neptune/target/debug/gbench --max-tree-batch-size 700000 --max-column-batch-size 400000`
[2023-11-03T15:37:08Z INFO  gbench] field: Bls
[2023-11-03T15:37:08Z INFO  gbench] KiB: 4194304
[2023-11-03T15:37:08Z INFO  gbench] leaves: 134217728
[2023-11-03T15:37:08Z INFO  gbench] max column batch size: 400000
[2023-11-03T15:37:08Z INFO  gbench] max tree batch size: 700000
[2023-11-03T15:37:08Z INFO  gbench] GPU[Device { vendor: Nvidia, name: "NVIDIA GeForce RTX 4070", memory: 12589858816, compute_units: 46, compute_capability: Some((8, 9)), pci_id: PciId(2560), uuid: Some(e25db60d-cdea-cf61-36ff-badf9eafbd47), cuda: Some(Device { vendor: Nvidia, name: "NVIDIA GeForce RTX 4070", memory: 12589858816, compute_units: 46, compute_capability: (8, 9), pci_id: PciId(2560), uuid: Some(e25db60d-cdea-cf61-3

huitseeker

# Benchmarks

## Table of Contents

- [Benchmark Results](#benchmark-results)
    - [Prove](#prove)

## Benchmark Results

### Prove

huitseeker

# Benchmarks

## Table of Contents

- [Benchmark Results](#benchmark-results)
    - [Prove](#prove)

## Benchmark Results

### Prove

huitseeker

# Benchmarks

## Table of Contents

- [Benchmark Results](#benchmark-results)
    - [Prove](#prove)

## Benchmark Results

### Prove

huitseeker

diff --git a/examples/nivc_dynamic_phi.rs b/examples/nivc_dynamic_phi.rs
index fe7cfc4..eb664dd 100644
--- a/examples/nivc_dynamic_phi.rs
+++ b/examples/nivc_dynamic_phi.rs
@@ -66,11 +66,10 @@ impl<F: PrimeField + PrimeFieldBits> StepCircuit<F> for SHACircuit<F> {
     dbg!(&digest.get_value());
 
     let new_pc = AllocatedNum::alloc(cs.namespace(|| "next_pc"), || {
-      if self.next_pc {
-        Ok(F::ONE)

huitseeker

diff --git a/src/proof/nova.rs b/src/proof/nova.rs
index 4f2f5bc40..020c0aa30 100644
--- a/src/proof/nova.rs
+++ b/src/proof/nova.rs
@@ -10,7 +10,7 @@ use nova::{
     provider::bn256_grumpkin::{bn256, grumpkin},
     provider::pedersen::CommitmentKeyExtTrait,
     traits::{
-        circuit::{StepCircuit, TrivialTestCircuit},
+        circuit::{StepCircuit, TrivialCircuit},

huitseeker

   Compiling nova-snark v0.24.0 (/Users/huitseeker/tmp/nova)
    Finished bench [optimized] target(s) in 45.94s
     Running unittests src/lib.rs (target/release/deps/nova_snark-f9218db3dd14f695)

running 41 tests
test bellpepper::tests::test_alloc_bit ... ignored
test circuit::tests::test_recursive_circuit_grumpkin ... ignored
test circuit::tests::test_recursive_circuit_pasta ... ignored
test circuit::tests::test_recursive_circuit_secp ... ignored
test digest::tests::test_digest_field_not_ingested_in_computation ... ignored