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

Conversation

matzayonc
Copy link
Collaborator

Changed parser logic to parse program, and program output correctly (analogously as the Herodotus Verifier).

  • Moved program address range right by one.
  • Filling missing values with zero
  • Parsing output by position in the page, instead of address.

As a result, the parser computes the same program, and the output hashes as the Herodotus verifier.

kariy and others added 10 commits July 3, 2024 11:07
* 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
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