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

# Cairo 1 output parsing and optimisation. #10

Draft
wants to merge 13 commits into
base: main
Choose a base branch
from
Draft

Commits on Jul 3, 2024

  1. migrate to new Felt

    kariy committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    c2b9571 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. Parsing proof without annotations (#7)

    * initialized serde_felt
    
    * basic struct deserialization
    
    * deserialize vec
    
    * tuple and usize deserialization
    
    * most deserialized
    
    * 3 more to go
    
    * still skipping some but in a nicer way
    
    * montgomery representation parsing
    
    * serde_felt  basic serialization
    
    * serde_felt tests
    
    * serializing real len instead of number of elements
    
    * serialization with serde_felt
    
    * small cleanup
    
    * purge ast abstraction
    
    * last layer len from config
    
    * some field lens extracted
    
    * more lengths and small cleanup
    
    * calculating witness len
    
    * another len
    
    * moved serde_felt to a separate crate
    
    * linter and clippy
    
    * validate hex binary
    
    * reading task size from proof
    
    * added mask lens for other layout
    
    * different additional queries for recursive
    
    * calculating expected len
    
    * dynamic authentication count scaling
    matzayonc committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    54fee1d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d0bb013 View commit details
    Browse the repository at this point in the history
  3. logs in register fact

    matzayonc committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    c8dc045 View commit details
    Browse the repository at this point in the history
  4. splitting proof

    matzayonc committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    15545ba View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    7416e9c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    8b21cf8 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    45585a6 View commit details
    Browse the repository at this point in the history
  8. reexported from_felts

    matzayonc committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    8ff1d40 View commit details
    Browse the repository at this point in the history
  9. migrated to felt

    matzayonc committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    dd9274e View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. extract program fix

    chudkowsky committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    75cbcbb View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Configuration menu
    Copy the full SHA
    86170a0 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Merge pull request #11 from chudkowsky/cairo1-output

    Cairo1 output
    chudkowsky authored Sep 16, 2024
    Configuration menu
    Copy the full SHA
    859e258 View commit details
    Browse the repository at this point in the history