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.

Sign up for GitHub

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

Jump to bottom

Benchmarks table #184

Open
wants to merge 20 commits into
base: main
Choose a base branch
from
Open

Benchmarks table #184

wants to merge 20 commits into from

Commits on Jul 12, 2023

  1. Vary benches according to security level

    @gabrielbosio
    gabrielbosio committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    95779c2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into vary_security_in_benches

    @gabrielbosio
    gabrielbosio committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    7f98af6 View commit details
    Browse the repository at this point in the history

  3. Separate benches

    @gabrielbosio
    gabrielbosio committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    cf236b6 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into vary_security_in_benches

    @gabrielbosio
    gabrielbosio committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    2ad2ee7 View commit details
    Browse the repository at this point in the history

  5. Arrange toml

    @gabrielbosio
    gabrielbosio committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    7c6daf2 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. Ignore more compiled files

    @gabrielbosio
    gabrielbosio committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    22c3716 View commit details
    Browse the repository at this point in the history

  2. Refactor big fibo benches

    @gabrielbosio
    gabrielbosio committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    55c3aba View commit details
    Browse the repository at this point in the history

  3. Add the necessary to build benchmark table

    @gabrielbosio
    gabrielbosio committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    95b280c View commit details
    Browse the repository at this point in the history

  4. Add trace building benchmarks

    @gabrielbosio
    gabrielbosio committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    2cda431 View commit details
    Browse the repository at this point in the history

  5. Add proof measurement

    @gabrielbosio
    gabrielbosio committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    52074ab View commit details
    Browse the repository at this point in the history

  6. Fix compilation

    @gabrielbosio
    gabrielbosio committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    4b438e0 View commit details
    Browse the repository at this point in the history

  7. Fix format

    @gabrielbosio
    gabrielbosio committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    625f1f3 View commit details
    Browse the repository at this point in the history

  8. Add table for M1

    @gabrielbosio
    gabrielbosio committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    0bbc768 View commit details
    Browse the repository at this point in the history

  9. Add table for Intel Xeon

    @gabrielbosio
    gabrielbosio committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    5c82840 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. Compare conjecturable security levels 

    Intel measurements are not updated yet.
    @gabrielbosio
    gabrielbosio committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    946a851 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into vary_security_in_benches

    @gabrielbosio
    gabrielbosio committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    5f59b10 View commit details
    Browse the repository at this point in the history

  3. Add verification assertion

    @gabrielbosio
    gabrielbosio committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    7bca40e View commit details
    Browse the repository at this point in the history

  4. Update benchmark table 

    Update Intel verifying time results.
Separate trace time into Apple and Intel.
Add info about bits of security.
    @gabrielbosio
    gabrielbosio committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    ad8b201 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. Add prover RAM usage benches

    @gabrielbosio
    gabrielbosio committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    0969ed7 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. Fix format

    @gabrielbosio
    gabrielbosio committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    b6f79db View commit details
    Browse the repository at this point in the history