Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Maintenance #381

Merged
merged 2 commits into from
May 2, 2024
Merged

Maintenance #381

merged 2 commits into from
May 2, 2024

Conversation

huitseeker
Copy link
Contributor

Ports the following upstream PR:
microsoft/Nova#317

@huitseeker huitseeker force-pushed the maintenance branch 2 times, most recently from 7a77dfb to 1b11dd2 Compare April 25, 2024 19:22
* time-optimal algorithm for sparse polynomial evaluation

* update version
@huitseeker
Copy link
Contributor Author

!gpu-benchmark

Copy link
Contributor

Benchmark for 5268c20

Click to view benchmark
Test Base PR %
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-0-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 10.1±0.07s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-0-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 10.2±0.08s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-1038732-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 57.2±2.04s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-1038732-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 58.4±2.16s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-121228-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 12.5±0.13s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-121228-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 12.7±0.11s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-22924-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 12.5±0.11s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-22924-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 12.6±0.13s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-252300-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 19.5±0.35s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-252300-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 19.5±0.43s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-514444-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 31.9±1.04s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-514444-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 31.6±0.96s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-55692-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 19.3±0.31s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-55692-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 19.4±0.39s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-6540-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 14.1±0.07s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-6540-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 14.3±0.19s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-0-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 62.6±0.70ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-0-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 63.4±0.76ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-1038732-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 62.7±0.26ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-1038732-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 62.7±0.71ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-121228-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 63.1±0.36ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-121228-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 62.8±0.41ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-22924-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 63.1±0.52ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-22924-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 62.8±0.37ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-252300-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 63.0±0.44ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-252300-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 62.7±0.30ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-514444-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 62.6±0.32ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-514444-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 63.3±0.48ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-55692-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 63.0±0.26ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-55692-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 63.0±0.65ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-6540-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 62.5±0.42ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-6540-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 62.9±0.51ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-0-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 39.0±0.37ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-0-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 39.1±0.48ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-1038732-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 363.2±3.71ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-1038732-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 376.0±2.17ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-121228-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 64.4±0.47ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-121228-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 64.7±0.77ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-22924-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 69.3±0.70ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-22924-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 69.0±0.53ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-252300-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 130.4±0.54ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-252300-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 130.0±0.63ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-514444-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 206.7±0.95ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-514444-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 194.8±1.16ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-55692-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 54.8±0.14ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-55692-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 55.1±0.20ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-6540-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 47.4±0.23ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-6540-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 47.5±0.44ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-0-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 30.3±0.25ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-0-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 30.2±0.25ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-1038732-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 278.6±3.61ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-1038732-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 294.8±2.57ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-121228-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 39.8±1.25ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-121228-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 39.9±1.31ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-22924-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 56.3±0.96ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-22924-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 55.6±1.08ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-252300-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 96.2±2.84ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-252300-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 93.6±3.12ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-514444-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 151.2±3.98ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-514444-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 139.3±3.68ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-55692-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 33.2±1.44ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-55692-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 33.1±1.15ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-6540-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 37.8±0.40ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-6540-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 37.5±0.24ms N/A N/A

Copy link
Contributor

!gpu-benchmark action succeeded! 🚀

https://github.com/lurk-lab/arecibo/actions/runs/8845857478

@huitseeker
Copy link
Contributor Author

!benchmark

Copy link
Contributor

Benchmark for 5268c20

Click to view benchmark
Test Base PR %
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-0-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 9.5±0.04s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-0-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 9.3±0.04s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-1038732-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 42.0±0.24s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-1038732-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 41.6±0.24s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-121228-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 12.8±0.04s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-121228-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 12.9±0.07s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-22924-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 10.4±0.02s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-22924-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 10.3±0.07s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-252300-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 17.6±0.17s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-252300-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 17.2±0.18s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-514444-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 26.0±0.22s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-514444-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 25.8±0.24s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-55692-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 12.4±0.05s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-55692-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 12.5±0.09s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-6540-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 10.4±0.04s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-6540-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 10.3±0.06s N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-0-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 217.8±1.72ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-0-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 218.1±1.65ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-1038732-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 217.9±1.69ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-1038732-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 216.5±0.84ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-121228-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 218.4±2.63ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-121228-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 219.3±2.26ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-22924-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 216.6±1.59ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-22924-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 217.7±2.11ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-252300-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 218.1±1.46ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-252300-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 217.2±1.37ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-514444-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 217.6±1.43ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-514444-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 216.5±1.24ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-55692-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 217.9±1.78ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-55692-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 218.8±1.89ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-6540-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 217.5±2.05ms N/A N/A
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-6540-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 219.1±1.41ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-0-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 38.8±0.24ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-0-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 39.2±0.28ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-1038732-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 1452.6±11.73ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-1038732-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 1455.6±15.16ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-121228-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 200.2±0.48ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-121228-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 200.7±0.81ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-22924-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 68.9±0.45ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-22924-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 68.8±0.38ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-252300-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 425.2±4.00ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-252300-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 429.7±1.99ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-514444-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 837.1±14.91ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-514444-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 853.5±7.78ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-55692-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 112.1±0.26ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-55692-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 112.2±0.37ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-6540-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 47.6±0.28ms N/A N/A
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-6540-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 48.2±0.57ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-0-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 29.1±0.32ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-0-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 29.5±0.30ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-1038732-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 1066.4±8.50ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-1038732-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 1061.6±7.18ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-121228-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 170.2±5.34ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-121228-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 171.2±6.11ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-22924-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 53.5±0.98ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-22924-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 54.2±1.98ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-252300-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 370.9±6.88ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-252300-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 377.1±5.56ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-514444-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 681.0±13.05ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-514444-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 693.2±6.55ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-55692-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 91.1±2.17ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-55692-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 93.0±1.83ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-6540-5268c2084821955c5953c29c7e179b2052523b5d-2024-03-22 36.1±0.30ms N/A N/A
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-6540-fea38ba20635a87167d6a30ef4aa4ded6874b4e7-2024-04-25 36.5±0.50ms N/A N/A

Copy link
Contributor

!benchmark action succeeded! 🚀

https://github.com/lurk-lab/arecibo/actions/runs/8891800326

Copy link
Contributor

Benchmark for 5268c20

Click to view benchmark
Test Base PR %
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-514444 25.7±0.24s 25.5±0.23s -0.78%
CompressedSNARK-NIVC-Commitments-2/Prove/StepCircuitSize-6540 10.3±0.05s 10.2±0.03s -0.97%
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-514444 216.7±1.33ms 217.6±1.35ms +0.42%
CompressedSNARK-NIVC-Commitments-2/Verify/StepCircuitSize-6540 215.8±1.10ms 217.8±1.76ms +0.93%
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-514444 845.4±14.44ms 854.5±8.39ms +1.08%
RecursiveSNARK-NIVC-2/Prove/StepCircuitSize-6540 47.7±0.31ms 47.9±0.17ms +0.42%
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-514444 686.5±7.09ms 688.5±19.75ms +0.29%
RecursiveSNARK-NIVC-2/Verify/StepCircuitSize-6540 36.4±0.50ms 36.3±0.58ms -0.27%

Copy link
Contributor

!benchmark action succeeded! 🚀

https://github.com/lurk-lab/arecibo/actions/runs/8891800326

@huitseeker huitseeker added this pull request to the merge queue May 2, 2024
Merged via the queue into argumentcomputer:dev with commit 53deada May 2, 2024
10 checks passed
@huitseeker huitseeker deleted the maintenance branch May 2, 2024 08:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants